为什么“if constexpr”会导致 C 17 中的非模板化函数出现错误？

C 17 中非模板化函数中的“If constexpr”错误

简介

C 17 引入了 if constexpr关键字，允许基于编译时常量的条件编译。但是，在非模板化函数中使用 if constexpr 时，可能会出现意外错误。本文探讨了这些问题并提供了解决方案。

代码示例

考虑以下代码：

<code class="cpp">#include <iostream>
#include <type_traits>

int main() {
  auto value = 100;
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl; // Error
  else
    std::cout << "Ref to " << value << std::endl;
}

编译错误

当 if constexpr 语句位于 main 函数内时，此代码会生成编译错误：

main.cpp:8:32: error: invalid type argument of unary ‘*’ (have ‘int’)
std::cout << "Ptr to " << *value << std::endl;

说明

如果仅 constexpr在模板函数中工作，因为它允许编译器避免实例化编译时未采用的分支。这种优化对于高效的模板元编程至关重要。

在非模板化函数中，如果 constexpr 仍然评估两个分支，即使类型是由 decltype 推导的。这意味着上面代码中的错误是由于尝试在 if 分支中取消引用 int 值而引起的。

解决方案

要解决此问题，您可以将 if constexpr 语句移至模板函数中。例如：

<code class="cpp">template <typename T>
void print(T value) {
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl;
  else
    std::cout << "Ref to " << value << std::endl;
}

int main() {
  auto value = 100;
  print(value);
}</code>

此修改后的代码将编译并打印预期输出：

Ref to 100

以上是为什么“if constexpr”会导致 C 17 中的非模板化函数出现错误？的详细内容。更多信息请关注PHP中文网其他相关文章！