变量可以绑定不同类型，但函数契约仍会约束输入。strict_types 影响特定调用边界的标量转换，不等于全语言禁止所有转换。