C++20 将熟悉的模板 lambda 作为类模板传递给类的模板参数

Question

考虑将可调用的类模板作为模板参数传递给某个类。以下三种方法，但只有函子一种有效。

朴素的模板函数失败了，因为它不能作为类模板；但是，为什么 C++20 熟悉的模板 lambda 失败了？ https://godbolt.org/z/MaYdqx1do

template <typename T>
T SomeFunc() {
    return T{};
}

template <typename T>
struct SomeFunctor {
    T operator()() const { return T{}; }
};

auto SomeLambda = []<typename T>() { return T{}; };

template <template <typename> class F>
struct Foo {
    int operator()() const { return F<int>()(); }
};

int some_func_result = Foo<decltype(&SomeFunc)>()(); // cannot compile
int some_functor_result = Foo<SomeFunctor>()();
int some_lambda_result = Foo<decltype(SomeLambda)>()(); // cannot compile

Answer 1

让我回答我自己的问题。熟悉的模板 lambda（在 C++ 20 中引入）就像匿名函子（函数对象），但在运算符而不是类上进行模板化。理论上它本质上可以转化为下面的函子类。因此，用户类无法将其应用为其模板参数的类模板。 https://godbolt.org/z/1TddKan6n

auto SomeLambda = []<typename T>() { return T{}; };

struct SomeLambdaGut {
    template <typename T>
    T operator()() const { return T{}; }
};