3.8.4 类型检测和动态类型