一、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