c – 模板化lambda中的所有lambda都是模板化的lambdas吗？

int main()
{
    auto foo = [](auto p){
        typedef decltype(p) p_t;
        auto bar = [](){
            return static_cast<p_t>(10);
        };
        return bar();
    };

    std::cout << foo(0ull) << std::endl;
}

我不确定你是否真的可以说lambda是模板化的.具有自动模板参数的lambda类型根本不是模板,因为它与模板模板参数不匹配：

#include <iostream>

auto foo = [](auto param){};

template <class T>
struct functor_template { 
    void operator()() const { }
};

template <template <class...> class Foo,class... Ts>
void bar(Foo<Ts...>) {
}

int main() {
    //bar(foo); //prog.cc:7:6: note:   template argument deduction/substitution Failed
    bar(functor_template<int>{});
}

原因很简单 – 只有在这样的lambdas中非常接近被称为模板的东西是它们的operator().

但我想你想问更多lambda中带有auto参数的lambda类型是否依赖于传递给lambda的参数类型.答案是 – 是的.这很容易测试：

#include <iostream>
#include <type_Traits>

auto foo = [](auto p){
        static_cast<void>(p);
        typedef decltype(p) p_t;
        auto bar = [](){
            return static_cast<p_t>(10);
        };
        return bar;
    };

int main() {
    static_cast<void>(foo);
    std::cout << std::is_same<decltype(foo(int{})),decltype(foo(float{}))>::value << std::endl;
    std::cout << std::is_same<decltype(foo(int{})),decltype(foo(int{}))>::value << std::endl;
}

输出：

0
1