11

例如：

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;

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

4

2 回答 2

14

这段代码不可能工作。问题是，x当您调用bar. 但是有一个解决方法：

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

bar(t);

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

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

于 2017-08-15T12:38:13.343 回答
2

有两种方法是行不通的。

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

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

最重要的是，您需要bar()进入 if-body 或模板foo()本身，并具有x由您的....

于 2017-08-15T12:26:40.090 回答