编译器自动生成的move ctor的行为是？

Frahm

我很疑惑，std::is_move_constructible<T>::value的值总是true，比如我声明一个空类，它也是true, 所以我就认为编译器自动生成了对应的move ctor,然而经过测试，我发现不然。

1. 
   
2. struct foo {
   
3.         int* ptr;
   
4. };
   
5. 
   
6. int main() {
   
7.         {               
   
8.                 std::cout << std::is_move_constructible<foo>::value << '\n';
   
9.                 foo f;
   
10.                 f.ptr = (int*)12;
    
11.                 foo f2(std::move(f));
    
12.                 std::cout << f.ptr << ' ' << f2.ptr << '\n';
    
13.         }
    
14.         return 0;
    
15. }

复制代码

输出的f.ptr和f2.ptr是一样的，我以为默认的行为会把f.ptr赋值为nullptr, 不然的话不是很危险吗。。。
我感觉编译器根本就没有自动生成move ctor。
也就是说std::is_move_constructible这个trait 没有用?
有没有能确切表示可以被move 构造的trait呢？

linux_c_py_php

复杂度好高，是编程还是被程序扁。。

Frahm

回复 2# linux_c_py_php


    啊？复杂度是指？

lost_templar

回复 1# Frahm


    你显式声明下就是了，如果不放心的话：

1. 
   
2. struct foo
   
3. {
   
4. 
   
5.     foo( foo&& ) = default;
   
6. 
   
7.     foo& operator = ( foo&& ) = default;
   
8. 
   
9. };
   

复制代码

Frahm

回复 4# lost_templar


    额，vs11不支持这样用default，和delete。
另外我不是想为个别类写函数，而是想写模版类，特化处理不同情况

Frahm

结论是
std::is_move_constructible， 这个trait基本没用， 因它不能判断一个类是否有move ctor, 它只能用来判断类T是否接受rvalue作为构造参数，而copy ctor在参数声明为const的时候也可以接收。
所以它不能判断一个类是否声明了T::T(T&&)， 而是判断对于一个类T能否这么写 T t(T());
也有可能调用了T::T(const T&)

lost_templar

回复 5# Frahm

你换编译器试试吧


   

phy0077

http://www.cplusplus.com/referen ... move_constructible/


输出的f.ptr和f2.ptr是一样的，我以为默认的行为会把f.ptr赋值为nullptr, 不然的话不是很危险吗。。。
应该是这个f move之后内容应该就是不确定的了，类有效但不可用。

move构造 这里看上去很像传递的意思。

我也没怎么看过新c++.

幻の上帝

会有trivial defaulted move ctor。
默认就是copy，不管清除状态。