編譯器自動生成的move ctor的行為是？

Frahm

我很疑惑，std::is_move_constructible<T>::value的值總是true，比如我聲明一個空類，它也是true, 所以我就認為編譯器自動生成了對應(yīng)的move ctor,然而經(jīng)過測試，我發(fā)現(xiàn)不然。

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ù)制代碼

輸出的f.ptr和f2.ptr是一樣的，我以為默認的行為會把f.ptr賦值為nullptr, 不然的話不是很危險嗎。。。
我感覺編譯器根本就沒有自動生成move ctor。
也就是說std::is_move_constructible這個trait 沒有用?
有沒有能確切表示可以被move 構(gòu)造的trait呢？

linux_c_py_php

復(fù)雜度好高，是編程還是被程序扁。。

Frahm

回復(fù) 2# linux_c_py_php


    �。繌�(fù)雜度是指？

lost_templar

回復(fù) 1# Frahm


    你顯式聲明下就是了，如果不放心的話：

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

復(fù)制代碼

Frahm

回復(fù) 4# lost_templar


    額，vs11不支持這樣用default，和delete。
另外我不是想為個別類寫函數(shù)，而是想寫模版類，特化處理不同情況

Frahm

結(jié)論是
std::is_move_constructible， 這個trait基本沒用， 因它不能判斷一個類是否有move ctor, 它只能用來判斷類T是否接受rvalue作為構(gòu)造參數(shù)，而copy ctor在參數(shù)聲明為const的時候也可以接收。
所以它不能判斷一個類是否聲明了T::T(T&&)， 而是判斷對于一個類T能否這么寫 T t(T());
也有可能調(diào)用了T::T(const T&)

lost_templar

回復(fù) 5# Frahm

你換編譯器試試吧


   

phy0077

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


輸出的f.ptr和f2.ptr是一樣的，我以為默認的行為會把f.ptr賦值為nullptr, 不然的話不是很危險嗎。。。
應(yīng)該是這個f move之后內(nèi)容應(yīng)該就是不確定的了，類有效但不可用。

move構(gòu)造 這里看上去很像傳遞的意思。

我也沒怎么看過新c++.

幻の上帝

會有trivial defaulted move ctor。
默認就是copy，不管清除狀態(tài)。