
这是错误:rvalue引用不能绑定到左值
class SomeData{public: vector<int> data; SomeData() { cout << "SomeData ctor" << endl; data.push_back(1); data.push_back(2); data.push_back(3); } SomeData(const SomeData &other) { cout << "SomeData copy ctor" << endl; data = other.data; } SomeData(SomeData &&other) { cout << "SomeData move ctor" << endl; data = move(other.data); } ~SomeData() { cout << "SomeData dtor" << endl; } voID Print() const { for(int i : data) cout << i; cout << endl; }};voID Function(SomeData &&someData){ SomeData localData(someData); localData.Print();}int main(int argc,char *argv[]){ SomeData data; Function(data); // ERROR data.Print(); return 0;} 但是,当我将Function()转换为模板时,它工作正常,并使用SomeData的复制构造函数.
template<class T>voID Function(T &&someData){ T localData(someData); // no more error localData.Print();} 这是标准的C行为吗?
我注意到视觉工作室在模板方面往往更宽容,所以我想知道是否可以从所有兼容的C 11编译器中获得相同的行为.
解决方法 是.在模板函数的情况下,编译器推导出模板参数T,使其与给定的参数匹配.由于someData实际上是一个左值,因此T被推导为SomeData& ;.然后,在类型推断之后,函数的声明变为
voID Function(SomeData & &&)
和SomeData& &&,跟随rules for reference collapsing,成为SomeData&.
因此,函数参数someData变为左值引用,并且这样传递给localData的初始化.注意(正如@aschepler正确指出的那样)localData被声明为T,所以它本身就是SomeData&类型的引用.因此,这里没有复制构造 – 只是初始化引用.
如果您希望localData是实际副本,则必须从SomeData&中转换类型.进入SomeData,即你必须删除&从类型.你可以使用std :: remove_reference来做到这一点:
template<class T>voID Function(T &&someData){ /* Create a copy,rather than initialize a reference: */ typename std::remove_reference<T>::type localData(someData); localData.Print();} (为此,你必须#include< type_traits> ;.)
总结以上是内存溢出为你收集整理的C为什么将左值传递给移动构造函数适用于模板?全部内容,希望文章能够帮你解决C为什么将左值传递给移动构造函数适用于模板?所遇到的程序开发问题。
如果觉得内存溢出网站内容还不错,欢迎将内存溢出网站推荐给程序员好友。
欢迎分享,转载请注明来源:内存溢出
微信扫一扫
支付宝扫一扫
评论列表(0条)