Question

例如：

void foo()
{
    if constexpr (...)
        int x = 5;
    else
        double x = 10.0;
    bar(x); // calls different overloads of bar with different values
}

这是D lang中的常见情况，但我没有找到有关C ++ 17的信息。

当然，可以使用像

这样的东西

std::conditional<..., int, double>::type x;

但仅限于基本情况。即使是不同的初始化者（如上所述）也会产生很大的问题。

Answer 1

此代码无法正常工作。问题是当您致电x时，bar超出了范围。但有一个解决方法：

constexpr auto t = []() -> auto {
  if constexpr(/* condition */) return 1;
  else return 2.9;
}();

bar(t);

为了解释一下，它使用了即时调用的lambda表达式以及自动返回类型推导。因此，我们给出了t值，并没有超出范围。

当然，如果在编译时无法评估if语句，它将无法工作。如果你想在这个lambda中做一些运行时操作，你不能把它作为constexpr，但它仍然可以工作。

Answer 2

这有两种方法无效。

首先，变量仅限于声明它的范围。抛弃大括号不会愚弄编译器：int x = 5仍在其自己的范围内，并在它出现后立即消失。

其次，if constexpr的宽松语法规则仅适用于if constexpr的正文。允许在主体中创建的上下文泄漏到周围范围是不可行的，因为根据定义，它可能不是格式良好的，或者在then / else块之间是一致的。（如果else-block将x声明为类型名怎么办？）

从底线开始，您需要将bar()移动到if-body或模板foo()本身，并确保x的类型和值由...确定}。

可以`if constexpr`用于声明具有不同类型和init-expr的变量

2 个答案: