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

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一样,但它仍然可以工作.