C++17中没有自动参数的模板lambdas

Templated lambdas in C++17 without an auto argument

本文关键字：lambdas 参数 C++17      更新时间：2023-10-16

我有一个从类Base<ResourceType>:继承的类Derived

template <class ResourceType>
class Base {
protected:
ResourceType* resource;
public:
void set_resource(ResourceType* resource) {
this->resource = resource;
}
};
template <class ResourceType>
class Derived : public Base<ResourceType> {
public:
using Base<ResourceType>::resource;
void print () {
std::cout << *resource << std::endl;
}
};

我想创建一个工厂来创建类型为Derived的对象。我当然可以通过以下功能做到这一点：

template <typename ResourceType>
auto derived_factory () { 
return new Derived<ResourceType>(); 
}
auto derived = *(derived_factory<int>());

但是，我无法为工厂编写lambda函数。如果我使用auto关键字接受模板参数，我可以编写模板化的lambda函数，但这里我只想使用模板来确定返回类型。以下故障：

auto derived_factory = []<typename ResourceType>() {
return new Derived<ResourceType>();
};
auto derived = *(derived_factory<int>());

错误：

inherit_unknown_type.cpp: In function ‘int main()’:
inherit_unknown_type.cpp:27:36: error: expected primary-expression before ‘int’
auto derived = *(derived_factory<int>());
^~~
inherit_unknown_type.cpp:27:36: error: expected ‘)’ before ‘int’

我只是打错lambda了吗？还是我必须等待C++20？

lambda表达式中的模板参数列表是C++20的一个特性。

(事实上，我的GCC在诊断中说：error: lambda templates are only available with -std=c++2a or -std=gnu++2a [-Wpedantic](

但您不必等待C++20，它已经被带有-std=c++2a标志的GCC 8支持了。

您必须更改调用语法：您需要的不是derived_factory<int>()，而是derived_factory.operator()<int>()。

作为一种替代方案(如果你不想要一个免费的函数(，我建议使用标签调度的变体：

auto derived_factory = [](auto tag) {
return new Derived<typename tag::type>();
};
template <typename T> struct tag_type {using type = T;};
// Usage:
derived_factory(tag_type<int>{})

此外，即使你以某种方式编译它，这一行：

auto derived = *(derived_factory<int>());

无论如何都会导致内存泄漏。为了避免这种情况，您应该将结果存储为指针或引用。或者更好的是，使用智能指针。

等待C++20，您可以从模板类返回lambda

template <typename ResourceType>
auto make_derived_factory ()
{ return []{ return new Derived<ResourceType>{}; }; }
auto derived = make_derived_factory<int>();
int main ()
{
auto df { derived() };
}

以上不起作用，但这起作用：

auto derived_factory = [](auto tag) 
{
return new Derived<decltype(tag)::type>();
};
template <typename T> struct tag_type {using type = T;};
// Usage:
derived_factory(tag_type<int>{})
相关文章：