C++ Concepts与类型转换疑问：integral函数结果为何可赋值给float？

示例代码 #

#include <concepts>
#include <cstdint>
#include <iostream>

using namespace std;

integral auto multiply(integral auto p_val_1, integral auto p_val_2) {
  return p_val_1 * p_val_2;
}

int main() {
  {
    float f{multiply(4, 3)};
    cout << "f = " << f << endl;
  }

  {
    float f(multiply(4, 3));
    cout << "f = " << f << endl;
  }

  {
    constexpr uint16_t i1{4};
    constexpr uint16_t i2{3};
    float f{multiply(i1, i2)};
    cout << "f = " << f << endl;
  }

  {
    constexpr int i1{4};
    constexpr int i2{3};
    float f(multiply(i1, i2));
    cout << "f = " << f << endl;
  }

  return 0;
}

编译错误情况 #

使用gcc (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0编译时，以下两行代码会触发错误：

• float f{multiply(4, 3)}; 错误信息：

  main.cpp:13:13: Non-constant-expression cannot be narrowed from type 'int' to 'float' in initializer list (fix available)
  insert an explicit cast to silence this issue

• float f{multiply(i1, i2)}; 错误信息：

  main.cpp:25:13: Non-constant-expression cannot be narrowed from type 'int' to 'float' in initializer list (fix available)
  insert an explicit cast to silence this issue

问题解释 #

关于Concepts的误解 #

你对Concepts的作用理解有误：integral auto只是约束multiply的参数和返回值必须是整数类型，它的目的是确保函数只处理符合要求的类型（比如这里只接受整数做乘法运算），但并不限制返回的整数类型后续被转换为其他非整数类型。整数类型（如int、uint16_t）可以隐式转换为float是C++的基础类型转换规则，和Concepts没有冲突。

两种初始化方式的差异 #

报错和正常编译的区别，核心在于C++两种初始化方式的规则不同：

• 列表初始化（{}）：对窄化转换有严格检查。由于你的multiply函数没有声明为constexpr，哪怕传入的是编译期常量参数，函数调用的结果依然是运行期值。编译器会判定从整数到float的转换属于窄化（因为并非所有整数都能被float精确表示），因此直接报错。
• 圆括号初始化（()）：不执行窄化转换检查，允许标准的隐式类型转换，所以整数转float的操作能正常通过编译。

如果将multiply修改为constexpr函数：

constexpr integral auto multiply(integral auto p_val_1, integral auto p_val_2) {
  return p_val_1 * p_val_2;
}

此时multiply(i1, i2)会成为编译期常量，而12转换为float是精确的，列表初始化float f{multiply(i1, i2)};就不会触发窄化错误。

内容的提问来源于stack exchange，提问作者canellas