PHP小技巧

mangoDa

1、字符串类型数字转数字类型
$str = '123';
// 方法一
（int）$str;
// 方法二
intval($str);
// 方法三
+$str;

方法一和方法二是强制转换，即使字符串数字后含有字母。方法三则必须保证是纯数字字符串，否则报错

2、数组添加元素
$arr = ['a'];
// 方法一
array_push($arr, 'b', 'c');
// 方法二
$arr[] = 'd';

(1)、如果是压入一个元素，使用方法二效率更高，因为可以节省调用函数的额外负担。
(2)、如果同时压入多个元素，使用array_push效率更高，因为不用重复获取文件尾的指针
(3)、网上还有一种 $arr |= 'e' 的写法 不太懂