C++20模板lambda：如何指定模板参数？ [复制]

Question

假设我有一个 C++20 模板 lambda：

auto foo = []<bool arg>() {
    if constexpr(arg)
        ...
    else
        ...
};

但是我该怎么称呼它呢？我似乎找不到语法的描述。我尝试了通常的foo<true>(); 和template foo<true>();，这两个gcc 似乎都不喜欢。

Answer 1

foo.template operator()<true>();

是正确的语法。试试godbolt.org

之所以出现这种奇怪的语法是因为：

• foo 是一个通用 lambda，它实现了 template<bool> operator() 方法。
• foo.operator()<true>() 会将 < 解释为比较运算符。

如果您想要稍微更易读的语法，请尝试使用std::bool_constant：

auto foo = []<bool arg>(std::bool_constant<arg>) {
    ...
};

foo(std::bool_constant<true>{});

试试godbolt.org