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

发布时间：2020-12-16 05:01:41 所属栏目：百科来源：网络整理

导读：例如： 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,doub

例如：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!