Consteval 函数能否在 C 20 中启用模板参数对函数参数的依赖？

Consteval 函数和模板参数对函数参数的依赖

在 C 17 中，使用直接在模板参数声明中返回常量的函数由于运行时执行限制而被禁止。随着 C 20 中保守函数的引入，这些限制有望被消除。但是，这会使下面的代码能够成功编译吗？

<code class="cpp">consteval int foo(int i) {
    return std::integral_constant<int, i>::value;
}</code>

不会。

尽管 consteval 函数有编译时评估要求，但函数定义本身仅经历一次打字。因此，由于可能存在类型差异，函数参数永远不会被视为核心常量表达式。

C 20 提案中进一步强调了这一限制，该提案在其示例中明确排除参数被视为常量表达式:

<code class="cpp">consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this point,
}                     // but that's okay.</code>

因此，consteval 函数不允许模板参数依赖于函数参数，因为参数缺乏作为常量表达式的必要类型保证。

以上是Consteval 函数能否在 C 20 中启用模板参数对函数参数的依赖？的详细内容。更多信息请关注PHP中文网其他相关文章！