类型判断の四种方法