可变参数模板:将整数参数完美转发到 lambda

Variadic template: Perfect forwarding of integer parameter to lambda

本文关键字：参数 完美 转发 整数 lambda 变参      更新时间：2023-10-16

也有类似的问题，但我没有找到适合我问题的答案。

请考虑以下代码：

#include <cassert>
#include <functional>
#include <iostream>
#include <memory>
#include <utility>
class TestClass
{
public:
TestClass( int value): mValue( value) { }
private:
int  mValue;
};
template< typename T> class DeferredCreator
{
public:
template< class... Args> DeferredCreator( Args&&... args):
mpCreator( [=]() -> T*
{ return new T( std::forward< Args>( args)...);  }
),
mpObject()
{ }
T* get() {
if (mpObject == nullptr)
mpObject.reset( mpCreator());
return mpObject.get();
}
private:
std::function< T*( void)>  mpCreator;
std::unique_ptr< T>        mpObject;
};

int main() {
DeferredCreator< int>  dcInt( 42);
assert( dcInt.get() != nullptr);
return 0;
}

这个想法是，类DeferredCreator仅在真正需要时才创建一个对象。我得到了这项工作，例如字符串，但我无法弄清楚如何将一个简单的整数传递到我的 lambda 中。

我收到的错误消息是：

prog.cpp:19:26: error: no matching function for call to 'forward'
{ return new T( std::forward< Args>( args)...);  }
^~~~~~~~~~~~~~~~~~~
prog.cpp:36:27: note: in instantiation of function template specialization 'DeferredCreator<int>::DeferredCreator<int>' requested here
DeferredCreator< int>  dcInt( 42);
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/bits/move.h:76:5: note: candidate function not viable: 1st argument ('const int') would lose const qualifier
forward(typename std::remove_reference<_Tp>::type& __t) noexcept
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/bits/move.h:87:5: note: candidate function not viable: 1st argument ('const int') would lose const qualifier
forward(typename std::remove_reference<_Tp>::type&& __t) noexcept
^
2 errors generated.

我已经尝试使用decltype( args)作为std::forward<>的模板参数，但这没有帮助。

代码也可在此处获得：https://ideone.com/MIhMkt

args...是常量，因为lambda的调用运算符隐式const。因此，如果您使lambda可变，那么它可以工作：

[=]() mutable -> T*
{ return new T( std::forward< Args>( args)...);  }

它不适用于decltype(args)的原因是类型本身不是const，只是调用运算符。

lambda 表达式生成的闭包类型的operator()是const限定的。std::forward可以尝试移动args...，它们是闭包的数据成员。const对象无法移动。

您可以将 lambda 标记为mutable：

mpCreator( [=]() mutable -> T*
{ return new T( std::forward< Args>( args)...);  }
),

这会从闭包类型的生成operator()中删除隐式const限定符。

wandbox.org 上的现场示例

相关文章：