由于保守函数，函数参数可以依赖于模板吗？

Consteval 函数可以启用依赖于函数参数的模板参数吗？

在 C 17 中，定义一个返回编译时常量的 constexpr 函数看似合乎逻辑，但却是被禁止的。编译器需要运行时执行指令，防止涉及此类函数的模板实例化。

C 20 引入了 consteval 函数，确保它们在编译时求值。有了这个，许多人期望这个约束消失，允许这样的代码：

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

但是，答案仍然是坚决的不。

尽管论文有潜在的变化，事实仍然是非模板函数定义仅键入一次。允许此类代码可能会启用非 ODR 友好类型的变量声明，例如 std::integral_constant，这是非常不可取的。

该论文还暗示不应处理参数作为核心常量表达式。一个例子说明了这一点：

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

总之，由于潜在的类型不一致，函数参数不会演变成常量表达式。

以上是由于保守函数，函数参数可以依赖于模板吗？的详细内容。更多信息请关注PHP中文网其他相关文章！