模板函数与带有自动参数的命名lambda函数
Template functions versus named lambdas with auto parameters
template <typename T> void func( T t ) { /* ... */ }
和c++ 14替代使用lambdas与自动参数?
auto func = []( auto t ) { /* ... */ }
应该选择哪一个?
第一个是函数模板。它可以被专门化和超载。它可以通过ADL找到。当你想要获取地址时,你必须显式地为它提供模板参数,或者在编译器可以推断出这些参数的上下文中进行。
第二个,假设它出现在名称空间作用域中,是一个具有模板化函数调用操作符的全局对象。它不能被专门化或重载(全局变量与函数冲突,它们不会重载函数)。它不能被ADL找到(ADL只能找到函数和函数模板)。如果你对它使用地址操作符,你得到的是对象的地址,这没什么用。如果编译器可以推断出参数,则对象本身可以转换为函数指针;您不能显式地提供它们。
你可以随意使用;只是要意识到任何一种选择的优点和缺点。我推荐第一种。第二种方法的唯一优点是简洁,我希望在不久的将来我们也能得到函数模板的简洁语法。
auto func(auto t) { ... }
不同的是,第一个是函数模板,你必须在使用它之前定义;一旦有了定义,任何人都可以使用它。因此,它是一段可重用的代码,并且永远保留在那里。
另一方面,lambda很方便:你可以在需要的时候定义它。如果lambda在函数内部定义为局部对象,则只有该函数可以使用它并将其传递给其他函数。它仍然是可重用的,但不如函数模板。然而,在命名空间级别定义的lambdas与函数模板一样可重用,因为任何人都可以使用它。因此,当您在名称空间级别定义它时,它与函数模板没有太大区别。专家可能会发现一些极端情况。其中一种情况是,您可以专门化函数模板://specialization : possible only in case of template!
template<> void func(MyClass obj) { /* ... */ }
你不能在lambda中这样做!
N3337, [expr.prim.lambda]/3:
lambda表达式的类型(也是闭包对象)是唯一的、未命名的非联合类类型——称为闭包类型——其属性如下所述。这个类类型不是聚合(8.5.1)。类中声明闭包类型的最小块作用域、类作用域或命名空间作用域对应的lambda表达式
闭包类型将保持为类。但是它的重载函数调用操作符将是操作符函数模板,允许不同的专门化。此外,与函数模板不同,您可以隐式地将闭包对象转换为函数指针。它真的很方便,不是吗?引用N3559,它看起来是这样的:
对于泛型λ L:
int(*fp)(int, char) = [](auto a, auto b){return a+b;};
闭包类型为
struct/*anonymous*/
{
template<class A,class B>
auto operator()(A a,B b) const
{
return a+b;
}
private:
template<class A,class B>
static auto __invoke(A a,B b)
{
return a+b;
}
template<class A,class B,class R>
using fptr_t = R(*)(A,B);
public:
template<class A,class B,class R>
operator fptr_t<R,A,B>() const
{
return &__invoke<A,B>; // Fixed that manually, they forgot to qualify the template name
}
} L;
int(*fp)(int,char) = L;
(将执行通常的模板参数推导)
- static_assert在宏中,但也可以扩展到可以用作函数参数的东西
- C++中的高效循环缓冲区,它将被传递给C样式数组函数参数
- 当从函数参数中的临时值调用复制构造函数时
- 如何从"decltype()"获取函数参数的数量<funtion>?
- 如何将lambda作为模板类的成员函数参数
- 模板参数推导失败,函数参数/参数不匹配
- 如何在C++中将迭代器作为函数参数传递
- 将函数参数"const char*"转换为"std::string_view"是
- C++ 如何将数组值解压缩为函数参数
- 主函数参数的属性
- 具有两个间接寻址运算符 (C++) 的函数参数的用途
- "Warning: Comma within array index expression"但逗号分隔函数参数
- 如何定义在用作函数参数时工作的类模板的转换
- 将函数参数完美转发到函数指针:按值传递呢?
- 为什么我不能将引用作为 std::async 的函数参数传递
- 什么..(省略号)作为函数原型中唯一的函数参数,C++?
- 是否可以就地构造一个固定大小的数组作为函数参数?
- 接受模板作为函数参数
- 将成员函数作为构造函数参数调用时出错 "Variable is not a type name"
- Arduino 函数参数