在 lambda 中捕获的 Constexpr 变量失去了其 constexpr-ness

Question

这段代码在g（coliru）中编译得很好，但不能在MSVC（godbolt和我的VS2017）中编译。

#include <type_traits>
#include <iostream>
template<class T> void f(){
    constexpr bool b=std::is_same_v<T,int>; //#1
    auto func_x=[&](){
        if constexpr(b){ //#error
        }else{
        }
    };
    func_x();
}
int main(){
    f<int>();
}

（6）：错误C2131：表达式未计算为常量
（6）：注意：失败是由读取超出其生命周期的变量
（6）引起的：注意：请参阅“this”的用法

哪一个（g或MSVC）是错误的？
这在“请参阅'这个'的用法”中是什么？？

如何在保证编译时间的同时解决它？

在我的实际情况中，b（#1）是一个复杂的语句，它依赖于其他几个constexpr变量。

Answer 1

如何在保持编译时保证的同时解决它？

将 constexpr bool 标记为静态是一种解决方法。

查看演示

或者，您可以在 if constexpr 中使用该条件，而不是将其分配给布尔值。如下所示：

if constexpr(std::is_same_v<T,int>)

查看演示

请注意，MSVC在lambda表达式方面出现了关于constexr的错误。
其中一个是：在lambda
中捕获Constexr的问题，另一个是：在lambda中捕获Constexr的问题

Answer 2

gcc是对的。b（作为

如果变量

• 是constexr并且没有可变成员。

海湾合作委员会直播

似乎如果使< code>b < code > static ，那么MSVC可以访问< code > b 而不被捕获。

template<class T> void f(){
    constexpr static bool b=std::is_same_v<T,int>;
    auto func_x=[](){
        if constexpr(b){
        }else{
        }
    };
    func_x();
}

MSVC实时

而且

如何在保持编译时保证的同时解决它？

我们不能为捕获的变量保持常量。它们成为lambda闭包类型的非静态数据成员，并且非静态数据成员不能是< code>constexpr。