从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

只要做 func_do1Pass2 constexpr如下所示。问题是,在给定的代码中 func_do1Pass2 它不是constexpr,因此不能在constexpr上下文中使用。

void testtt() {
//--vvvvvvvvv-------------------------------->added constexpr here
    constexpr auto func_do1Pass2=[&]<int s>()  {
        return 8;
    };
    [&]<int s2>() {
        
        constexpr int g2=func_do1Pass2.operator()<s2>();
        
    }.operator()<2>();
}

Working demo

我们可以删除该行的constexpr吗 constexpr int g2=func_do1Pass2.operator()<s2>();

#include <iostream>
#include <cstdlib>

using namespace std;

int main(){
    int localVariable=0; //some local variable
    auto func_do1Pass2=[&]<int s>() {
        if constexpr(s==5){localVariable=7;}
        ///^ may modify some local variables
        return 8;
    };
    [&]<int s2>() {
        ///vvv can edit only here
        int g2=func_do1Pass2.operator()<s2>();
        ///^^^ can edit only here
    }.operator()<2>();
}

工作演示: https://godbolt.org/z/rqPEr4qee

如果删除编译参数 /permissive- ,以下代码可以成功编译。

#include <iostream>
#include <cstdlib>

using namespace std;

int main(){
    int localVariable=0; //some local variable
    auto func_do1Pass2=[&]<int s>() {
        if constexpr(s==5){localVariable=7;}
        ///^ may modify some local variables
        return 8;
    };
    [&]<int s2>() {
        ///vvv can edit only here
        const int g2=func_do1Pass2.operator()<s2>();
        ///^^^ can edit only here
    }.operator()<2>();
}

工作演示: https://godbolt.org/z/5jTq835x5