爲什麼[std :: is_move_assignable]的行爲不如預期？

Question

#include <unordered_map> 
#include <type_traits> 

int main() 
{ 
     std::unordered_multimap<int, string> m{ { 1, "hello" } }; 
     auto b = std::is_move_assignable_v<decltype(*m.begin())>; 
     // b is true 

     auto v = *m4.begin(); // ok 
     v = std::move(*m4.begin()); // compile-time error 
} 

問題：

如果b是真的，那麼v = *m4.begin();應該沒問題。

問：

爲什麼如預期那樣std::is_move_assignable沒有表現？

錯誤消息：（鏘3.8 +的Visual Studio 2015更新3）

error : cannot assign to non-static data member 'first' with 
const-qualified type 'const int' 
       first = _Right.first; 
       ~~~~~^

main.cpp(119,5) : note: in instantiation of member function 
'std::pair<const int, std::basic_string<char, std::char_traits<char>, 
std::allocator<char> > >::operator=' requested here 
       v = *m4.begin(); // error 

Answer 1

解引用.begin()迭代空容器的是未定義的行爲。

Answer 2

如果b爲真，那麼v = *m4.begin();應該沒問題。

v = *m4.begin();是複製作業，不移動作業。移動分配是v = std::move(*m4.begin());。

但是正如T.C.指出和Yam Marcovic也回答，您使用std::is_move_assignable是錯誤的，因爲decltype(*m.begin())是一個參考類型。您最終沒有完全檢查移動可分配性，並且您的支票確實是最後爲v = *m4.begin();。

對於移動分配，檢查應該是std::is_move_assignable_v<std::remove_reference_t<decltype(*m.begin())>>。

無論如何，is_move_assignable不會太努力檢查類型是否可移動賦值，它只檢查類型是否自動報告爲可移動賦值。

鑑於

template <typename T> 
struct S { 
    S &operator=(S &&) { T() = "Hello"; return *this; } 
}; 

std::is_move_assignable<S<int>>::value將報告true，因爲簽名S<int> S::operator=(S<int> &&);是良好的。試圖實際調用它會觸發錯誤，因爲T()不能分配給，即使它可能是，它也不能被分配一個字符串。

在你的情況下，類型是std::pair<const int, std::string>。請注意那裏的const。

std::pair<T1, T2>目前一直宣稱operator=，但如果任T1或T2不能被分配到，試圖真正使用它會產生一個錯誤。

類模板可以確保operator=的有效簽名僅在其實例化格式良好以避免此問題時才被聲明，並且也如T.C.指出的std::pair will do so in the future。

Answer 3

首先，由於*begin()returns an lvalue reference，您實際上將一個左值引用傳遞給std::is_move_assignable，然後通過std::is_assignable<T&, T&&>實現。現在，請注意那裏的轉發引用，它將轉換爲一個左值引用。這意味着通過詢問std::is_move_assignable<SomeType&>，您有效地詢問std::is_assignable<T&, T&> —即可複製分配。當然，這有點誤導。

您可能要測試這個代碼，看看我的觀點：

#include <iostream> 
#include <type_traits> 

struct S { 
    S& operator=(const S&) = default; 
    S& operator=(S&&) = delete; 
}; 

int main() 
{ 
    std::cout << std::is_move_assignable<S>::value; // 0 
    std::cout << std::is_move_assignable<S&>::value; // 1 
} 

所有，在這種情況下說，*begin()返回pair<const int, string>&，所以也不會有任何實物-的可分配無論如何，因爲你不能分配給const int。但是，正如@hvd所指出的那樣，由於該函數在pair模板中主要聲明，類型特徵不瞭解如果它由編譯器生成爲實際函數，後者將遇到錯誤。