在C11标准中,它指出(参见
cppreference.com,另见标准的第20.4.2.4节),它指出
template< class... Types > tuple<VTypes...> make_tuple( Types&&... args );
Creates a tuple object,deducing the target type from the types of arguments.
For each
TiinTypes...,the corresponding typeViinVtypes...isstd::decay<Ti>::typeunless application ofstd::decayresults instd::reference_wrapper<X>for some typeX,in which case the deduced type isX&.
我想知道为什么参考包装器在这里被处理得特别？
解决方法
这或多或少是reference_wrapper的主要目的.
通常,std :: make_tuple总是使值的元组(std :: decay模拟逐个值语义).给定int x,y; std :: make_tuple(x,y);使一个std :: tuple< int,int>,即使它将推断类型为一组参考int& int& std :: decay将那些转换为int,int.
reference_wrapper允许您强制创建引用的元组：std :: make_tuple(std :: ref(x),y)将使一个std :: tuple< int& int>.
标准库的其他部分以相同的方式使用reference_wrapper.例如,std :: bind通常会将绑定的参数复制/移动到生成的对象中,但如果您希望它仅存储引用,则可以通过传递一个reference_wrapper来显式地请求它.
