C++17(6) : lambda扩展

一、constexpr Lambda

    自从C++17开始，如果lambda表达式符合要求的话，该表达式会隐式转换为constexpr表达式。（表达式内没有静态变量，没有虚函数，没有 try/catch语句， 没有new/delete关键字）。如下:

auto squared = [](auto val) {
    return val*val;
};//隐式转换为constexpr表达式，即可以在编译器求值。
std::array<int,squared(5)> a;

如果表达式不满足转换要求，则不能转换为constexpr,即只能在运行期执行。

auto squared2 = [](auto val) {
    static int calls = 0;
// 含有静态成员变量，不能隐式转换为constexpr表达式。
    return val*val;
};
//ERROR: 不能在编译器求值。
std::array<int,squared2(5)> a;

//运行期可以正确执行。
std::cout << squared2(5) << std::endl;

 

如果不确定是否会隐式转换为constexpr，可以加上关键字 constexpr来判断一下（如果不满足转换则编译不通过）

// 正确编译
auto squared3 = [](auto val) constexpr {
    return val*val;
};

// 编译错误
auto squared4