函数层面允许无警告传参的数值类型及向上/向下转换规则

C/C++ 语言中存在统一的参数隐式转换判定规则，适用于所有值传递的函数场景——不存在某个函数单独定义“可无警告传入的数值范围”的特殊机制，所有匹配判定都基于通用的类型转换规则完成，核心判断维度是转换过程是否存在数值丢失、精度损失风险。

针对示例中的4种调用场景，忽略函数内部实际处理逻辑的前提下，结果如下：

• take_int(4)：实参与形参均为int类型，无任何隐式转换。完全符合语法要求，不会触发任何警告，属于设计预期的正常调用。
• take_double(4.0)：实参与形参均为double类型，无任何隐式转换。完全符合语法要求，不会触发任何警告，属于设计预期的正常调用。
• take_double(4)：实参int转换为double属于无损的向上类型转换。所有int类型的可表示数值，都能被double类型精确存储，不存在精度丢失风险。该转换属于标准允许的合法隐式转换，默认编译配置下不会触发警告，语法层面完全有效。
• take_int(4.0)：实参double转换为int属于带丢失风险的向下（窄化）类型转换。该转换本身不被语法规则直接禁止，但存在天然的数值偏差、范围溢出风险：比如带小数的double值会被截断为整数、超出int取值范围的double值转换后会产生未定义行为。哪怕传入的4.0是刚好能被int精确表示的整数值，编译器也会统一对这类跨类型的窄化转换触发告警，不会针对单个字面量值做特殊豁免。只要编译器开启了常规警告等级（如GCC/Clang的-Wall、MSVC的/W4），就会触发“double向int转换可能丢失数据”类的告警；如果开启了窄化转换的严格检查（如C++列表初始化规则、-Werror=conversion编译选项），这类转换会直接被判定为编译错误。

内容的提问来源于stack exchange，提问作者carl.hiass