對持有unique_ptr向量的對象列表進行排序

Question

下面的代碼是否應該根據C++ 11產生編譯錯誤（如果是這樣，爲什麼？），還是VC11有問題？

#include <vector> 
#include <list> 
#include <memory> 
struct A 
{ 
    std::vector<std::unique_ptr<int>> v; 
}; 
int main() 
{ 
    std::list<A> l; 
    l.sort([](const A& a1, const A& a2){ return true; }); 
} 

的Visual C++ 2012產生以下編譯錯誤：

1>c:\program files (x86)\microsoft visual studio 11.0\vc\include\xmemory0(606): error C2248: 'std::unique_ptr<_Ty>::unique_ptr' : cannot access private member declared in class 'std::unique_ptr<_Ty>' 
1>   with 
1>   [ 
1>    _Ty=int 
1>   ] 
1>   c:\program files (x86)\microsoft visual studio 11.0\vc\include\memory(1447) : see declaration of 'std::unique_ptr<_Ty>::unique_ptr' 
1>   with 
1>   [ 
1>    _Ty=int 
1>   ] 
1>   c:\program files (x86)\microsoft visual studio 11.0\vc\include\xmemory0(605) : while compiling class template member function 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)' 
1>   with 
1>   [ 
1>    _Ty=std::unique_ptr<int> 
1>   ] 
1>   c:\program files (x86)\microsoft visual studio 11.0\vc\include\xmemory0(751) : see reference to function template instantiation 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)' being compiled 
1>   with 
1>   [ 
1>    _Ty=std::unique_ptr<int> 
1>   ] 
1>   c:\program files (x86)\microsoft visual studio 11.0\vc\include\type_traits(743) : see reference to class template instantiation 'std::allocator<_Ty>' being compiled 
1>   with 
1>   [ 
1>    _Ty=std::unique_ptr<int> 
1>   ] 
1>   c:\program files (x86)\microsoft visual studio 11.0\vc\include\vector(655) : see reference to class template instantiation 'std::is_empty<_Ty>' being compiled 
1>   with 
1>   [ 
1>    _Ty=std::allocator<std::unique_ptr<int>> 
1>   ] 
1>   d:\test2\test2.cpp(213) : see reference to class template instantiation 'std::vector<_Ty>' being compiled 
1>   with 
1>   [ 
1>    _Ty=std::unique_ptr<int> 
1>   ] 

Answer 1

它是用Visual C的一個問題++ 2012（Microsoft在連接承認：Compile error in C++ code sorting a list of objects holding a vector of unique_ptr），它已經被固定在Visual C++ 2013年

另外，我想指出的問題與事實無關，Visual C++不會隱式生成移動構造函數。如果你明確地刪除了結構A中的所有拷貝和移動構造函數（是的，在我的原始示例中，將不可能將類型A的對象插入到列表中，但這不是那麼重要），代碼仍然不應該複製或移動任何對象，並因此產生編譯錯誤：

#include <vector> 
#include <list> 
#include <memory> 
struct A 
{ 
    std::vector<std::unique_ptr<int>> v; 
    A(A&&) = delete; 
    A(const A&) = delete; 
}; 
int main() 
{ 
    std::list<A> l; 
    l.sort([](const A& a1, const A& a2){ return true; }); 
} 

Answer 2

這是 「與VC有問題」，但僅僅是因爲你濫用的Visual Studio。

VC++實現了r值引用，但它確實執行了而不是實現了編譯器生成的移動構造函數/賦值操作符。這意味着，如果你想要一個類型是可移動的，你必須自己寫一個類型。

A不是一個可移動的類型，所以各種std::list函數將嘗試複製它們。當他們試圖複製vector的unique_ptr時，他們會失敗。因此編譯器錯誤。

如果你想在VC++中感知移動的對象，你必須自己編寫移動構造函數/賦值。

Answer 3

這個問題真的出現在VC11中，正如it doesn't implement C++11 feature of automatically generating move operations（正如Nicol Bolas所指出的那樣）。

以下代碼與VC10 SP1一起編譯;在此代碼示例中，移動構造函數是明確寫入（而不是移動operator=，則使用copy-and-swap idiom）。

#include <algorithm> // for std::swap (for copy-and-swap idiom) 
#include <list> 
#include <memory> 
#include <vector> 

struct A 
{ 
    std::vector<std::unique_ptr<int>> v; 

    A(A&& other) 
     : v(std::move(other.v)) 
    { 
    } 

    A& operator=(A other) 
    { 
     swap(*this, other); 
     return *this; 
    } 

    friend void swap(A& lhs, A& rhs) 
    { 
     using std::swap; 
     swap(lhs.v, rhs.v); 
    } 
}; 

int main() 
{ 
    std::list<A> l; 
    l.sort([](const A& , const A&){ return true; }); 
}