64,649
社区成员
发帖
与我相关
我的任务
分享C++11中的std::move是怎么实现的，从哪里能看到源代码？
听说是这样的实现的：
测试：
int x=1,y=2;
x=Move(y);
居然可行，那么它是怎么将一个左值转换成右值的？一个右值引用参数能捕获左值？这真奇了怪了。
templateT>
T&& Move(T&& a)
{
return a;
}
测试：
int x=1,y=2;
x=Move(y);
居然可行，那么它是怎么将一个左值转换成右值的？一个右值引用参数能捕获左值？这真奇了怪了。
...全文
请发表友善的回复…
发表回复
unituniverse2 2014-02-19
- 打赏
- 举报
比如我可以自己写个
namespace std
{
template <> remove_reference<int> { int type; };
}
虽然这样不合理但确实有可能会有人这么干。
李刚弄死他 2014-02-19
- 打赏
- 举报
move就是相当于强制转换左值到右值，而对右值则不变，同时不改变引用指向的对象。
模板参数作函数参数的时候如果写成右值引用的形式，不是说这个引用参数一定为右值，而是一个特殊规则（仅适用于模板参数）表示既能接受左值又能接受右值。做这种扩展是针对模板参数而来的。不像已定类型的参数，模板参数可以携带“其他”类型，这样利用这种方法表示组合类型。
template < typename Ty >
foo(Ty && v)
{
}
1)
int a = 0;
foo(a);
foo(int());
- 这种属于自动匹配，结果是foo(a)的那个Ty被给予int&，函数成为foo((int &) && v)，按缩减规则int & &&就成了int &，最终函数变成foo(int & v)；而foo(int())的那个Ty被给予int，函数成为foo((int) && v)，所以函数变成foo(int && v);。
- 如果你手动匹配
foo<int &>(...);、foo<int>(...)这两个就和上面的结果是一样的，而如果你写foo<int &&>(...)，函数成为foo((int &&) && v)，按缩减规则int && &&就成了int &&，最终函数变成foo(int && v)。
[/quote]
查了一下move的定义，原来是：
template<typename T>
typename remove_reference<T>::type&&move(T&&t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
这里有一点不明白，为什么还要用static_cast来转换，remove_reference不就是个转换模板吗？另外，typename在这里有什么用？[/quote]
“为什么还要用static_cast来转换”
因为T&&t这里的右值引用t具名，已经是个左值了，所以需要强制转换到返回值当作右值
“remove_reference不就是个转换模板吗？”
就是将模版参数的引用去掉。如果没有这个的话则会遇到引用缩减规则，比如T为左值引用A&时T&&会变成A& &&也就是A&，这样的结果就不是你想要的了。
“typename在这里有什么用？”
目的是告诉编译器后面的type是个类型。因为模板在实例化之前可以认为前面remove_reference<T>的内容是未知的，如果没有typename也许后面的type是个数据成员呢。。。至于为什么还要认为remove_reference<T>的内容是未知的（不是已经都有定义了吗？），理由是如果有人以后又对这个模板做了特化并修改type成非类型的什么东西，后面的行为就不是你希望的了。。。
总之你就把这个当作规定好了。。[/quote]
move就是相当于强制转换左值到右值，而对右值则不变，同时不改变引用指向的对象。
模板参数作函数参数的时候如果写成右值引用的形式，不是说这个引用参数一定为右值，而是一个特殊规则（仅适用于模板参数）表示既能接受左值又能接受右值。做这种扩展是针对模板参数而来的。不像已定类型的参数，模板参数可以携带“其他”类型，这样利用这种方法表示组合类型。
template < typename Ty >
foo(Ty && v)
{
}
1)
int a = 0;
foo(a);
foo(int());
- 这种属于自动匹配，结果是foo(a)的那个Ty被给予int&，函数成为foo((int &) && v)，按缩减规则int & &&就成了int &，最终函数变成foo(int & v)；而foo(int())的那个Ty被给予int，函数成为foo((int) && v)，所以函数变成foo(int && v);。
- 如果你手动匹配
foo<int &>(...);、foo<int>(...)这两个就和上面的结果是一样的，而如果你写foo<int &&>(...)，函数成为foo((int &&) && v)，按缩减规则int && &&就成了int &&，最终函数变成foo(int && v)。
[/quote]
查了一下move的定义，原来是：
template<typename T>
typename remove_reference<T>::type&&move(T&&t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
这里有一点不明白，为什么还要用static_cast来转换，remove_reference不就是个转换模板吗？另外，typename在这里有什么用？[/quote]
“为什么还要用static_cast来转换”
因为T&&t这里的右值引用t具名，已经是个左值了，所以需要强制转换到返回值当作右值
“remove_reference不就是个转换模板吗？”
就是将模版参数的引用去掉。如果没有这个的话则会遇到引用缩减规则，比如T为左值引用A&时T&&会变成A& &&也就是A&，这样的结果就不是你想要的了。
“typename在这里有什么用？”
目的是告诉编译器后面的type是个类型。因为模板在实例化之前可以认为前面remove_reference<T>的内容是未知的，如果没有typename也许后面的type是个数据成员呢。。。至于为什么还要认为remove_reference<T>的内容是未知的（不是已经都有定义了吗？），理由是如果有人以后又对这个模板做了特化并修改type成非类型的什么东西，后面的行为就不是你希望的了。。。
总之你就把这个当作规定好了。。[/quote]
理由是如果有人以后又对这个模板做了特化并修改type成非类型的什么东西，不明白这句话什么意思？
unituniverse2 2014-02-19
- 打赏
- 举报
move就是相当于强制转换左值到右值，而对右值则不变，同时不改变引用指向的对象。
模板参数作函数参数的时候如果写成右值引用的形式，不是说这个引用参数一定为右值，而是一个特殊规则（仅适用于模板参数）表示既能接受左值又能接受右值。做这种扩展是针对模板参数而来的。不像已定类型的参数，模板参数可以携带“其他”类型，这样利用这种方法表示组合类型。
template < typename Ty >
foo(Ty && v)
{
}
1)
int a = 0;
foo(a);
foo(int());
- 这种属于自动匹配，结果是foo(a)的那个Ty被给予int&，函数成为foo((int &) && v)，按缩减规则int & &&就成了int &，最终函数变成foo(int & v)；而foo(int())的那个Ty被给予int，函数成为foo((int) && v)，所以函数变成foo(int && v);。
- 如果你手动匹配
foo<int &>(...);、foo<int>(...)这两个就和上面的结果是一样的，而如果你写foo<int &&>(...)，函数成为foo((int &&) && v)，按缩减规则int && &&就成了int &&，最终函数变成foo(int && v)。
[/quote]
查了一下move的定义，原来是：
template<typename T>
typename remove_reference<T>::type&&move(T&&t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
这里有一点不明白，为什么还要用static_cast来转换，remove_reference不就是个转换模板吗？另外，typename在这里有什么用？[/quote]
“为什么还要用static_cast来转换”
因为T&&t这里的右值引用t具名，已经是个左值了，所以需要强制转换到返回值当作右值
“remove_reference不就是个转换模板吗？”
就是将模版参数的引用去掉。如果没有这个的话则会遇到引用缩减规则，比如T为左值引用A&时T&&会变成A& &&也就是A&，这样的结果就不是你想要的了。
“typename在这里有什么用？”
目的是告诉编译器后面的type是个类型。因为模板在实例化之前可以认为前面remove_reference<T>的内容是未知的，如果没有typename也许后面的type是个数据成员呢。。。至于为什么还要认为remove_reference<T>的内容是未知的（不是已经都有定义了吗？），理由是如果有人以后又对这个模板做了特化并修改type成非类型的什么东西，后面的行为就不是你希望的了。。。
总之你就把这个当作规定好了。。
sduxiaoxiang 2014-02-18
- 打赏
- 举报
直接转到定义就是了
赵4老师 2014-02-18
- 打赏
- 举报
计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构……
对学习编程者的忠告：
眼过千遍不如手过一遍！
书看千行不如手敲一行！
手敲千行不如单步一行！
单步源代码千行不如单步对应汇编一行！
单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后，就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。
VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。
对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。
（Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）
李刚弄死他 2014-02-17
- 打赏
- 举报
move就是相当于强制转换左值到右值，而对右值则不变，同时不改变引用指向的对象。
模板参数作函数参数的时候如果写成右值引用的形式，不是说这个引用参数一定为右值，而是一个特殊规则（仅适用于模板参数）表示既能接受左值又能接受右值。做这种扩展是针对模板参数而来的。不像已定类型的参数，模板参数可以携带“其他”类型，这样利用这种方法表示组合类型。
template < typename Ty >
foo(Ty && v)
{
}
1)
int a = 0;
foo(a);
foo(int());
- 这种属于自动匹配，结果是foo(a)的那个Ty被给予int&，函数成为foo((int &) && v)，按缩减规则int & &&就成了int &，最终函数变成foo(int & v)；而foo(int())的那个Ty被给予int，函数成为foo((int) && v)，所以函数变成foo(int && v);。
- 如果你手动匹配
foo<int &>(...);、foo<int>(...)这两个就和上面的结果是一样的，而如果你写foo<int &&>(...)，函数成为foo((int &&) && v)，按缩减规则int && &&就成了int &&，最终函数变成foo(int && v)。
[/quote]
查了一下move的定义，原来是：
template<typename T>
typename remove_reference<T>::type&&move(T&&t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
这里有一点不明白，为什么还要用static_cast来转换，remove_reference不就是个转换模板吗？另外，typename在这里有什么用？
unituniverse2 2014-02-03
- 打赏
- 举报
move就是相当于强制转换左值到右值，而对右值则不变，同时不改变引用指向的对象。
模板参数作函数参数的时候如果写成右值引用的形式，不是说这个引用参数一定为右值，而是一个特殊规则（仅适用于模板参数）表示既能接受左值又能接受右值。做这种扩展是针对模板参数而来的。不像已定类型的参数，模板参数可以携带“其他”类型，这样利用这种方法表示组合类型。
template < typename Ty >
foo(Ty && v)
{
}
1)
int a = 0;
foo(a);
foo(int());
- 这种属于自动匹配，结果是foo(a)的那个Ty被给予int&，函数成为foo((int &) && v)，按缩减规则int & &&就成了int &，最终函数变成foo(int & v)；而foo(int())的那个Ty被给予int，函数成为foo((int) && v)，所以函数变成foo(int && v);。
- 如果你手动匹配
foo<int &>(...);、foo<int>(...)这两个就和上面的结果是一样的，而如果你写foo<int &&>(...)，函数成为foo((int &&) && v)，按缩减规则int && &&就成了int &&，最终函数变成foo(int && v)。
孩皮妞野 2014-02-03
- 打赏
- 举报
而且那个不是右值引用参数，是任意值引用参数，参考一下std::forward以及perfect forwarding in C++11
孩皮妞野 2014-02-03
- 打赏
- 举报
不行，这样不能算测试通过了。
struct S
{
S& operator=(const S& s){return *this;}
S& operator=(S&& s){ cout<<"In S::operaotr=(S&&)"<<endl; return *this; }
};
看看这个的运行结果才知道。
#include <iostream>
template <class T>
typename std::remove_reference<T>::type&&
MyMove(T&& param)
{
using rtype= typename std::remove_reference<T>::type&&;
return static_cast<rtype>(param);
}
template <class T>
T&& YourMove(T&& a)
{
return a;
}
struct S
{
S& operator=(const S& s){ std::cout<<"S::operator=(const S&)"<<std::endl; return *this; }
S& operator=(S&& s){ std::cout<<"S::operator=(S&&)"<<std::endl; return *this; }
};
int main(void)
{
S s,t;
t=YourMove(s);
s=MyMove(t);
}
