php中isset和empty引发出对数据类型的探究