例如:
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;
但仅限于基本情况.即使是不同的初始化者(如上所述)也会产生很大的问题.
解决方法
这段代码无法工作.问题是当你调用bar时x超出了范围.但有一个解决方法:
constexpr auto t = []() -> auto { if constexpr(/* condition */) return 1; else return 2.9; }(); bar(t);
为了解释一下,它使用了即时调用的lambda表达式以及自动返回类型推导.因此,我们给出了t值,并没有超出范围.
当然,如果在编译时无法评估if语句,它将无法工作.如果你想在这个lambda中做一些运行时操作,你不能像constexpr一样,但它仍然可以工作.