PHP中如何使用gettype()函数来获取变量类型?