具有非类型模板参数的 C++20 lambda

Question

我在搞乱新的 C++20 lambda，似乎我可以声明一个采用非类型模板参数的 lambda，但是我无法调用它。

#include <iostream>

int main() {

    // compiles fine
    auto f = []<bool ok>() { return ok; };

    // it even has an address??
    std::cout << &f;

    // f();    // error : no matching function for call to object of typ
    // f<true>(); // error : invalid operands to binary expression

    f.operator()<true>(); // compiles but somewhat... ugly
}

我查看了相关论文here，但似乎没有提到这种情况下的调用语法。

是否禁止在 lambda 调用站点显式传递模板参数？这将是一个令人失望的限制，因为我认为其目的是让 lambda 能够像模板一样发挥作用。

Answer 1

是否禁止在 lambda 调用站点显式传递模板参数？

不，但问题是您没有为正确的实体指定模板参数。请注意，f 本身不是模板。它是一个非模板类型的对象，包含一个被模板化的成员operator()。

所以当你这样做时：

f<true>(); // error

您正在为f 指定模板参数，但由于f 不是模板，您会收到错误消息。

另一方面，正如您所观察到的，这个调用：

f.operator()<true>();  // ok

很好，因为您正在为f 的operator() 指定模板参数，这确实是一个模板。

此外，这个问题与 lambda 的非类型模板参数无关，如果它也是类型模板参数也会发生同样的事情。