Ist es sicher, Elemente einer Initialisierungsliste zu verschieben?

Question

Mögliche Duplizieren:
initializer_list and move semantics

In diesem Code:

#include <vector> 
#include <initializer_list> 

template<typename T> 
class some_custom_container : public std::vector<T> 
{ 
public: 
    some_custom_container(const std::initializer_list<T>& contents) 
    { 
     for (auto& i : contents) 
     this->emplace_back(std::move(i)); 
    } 
}; 

class test_class 
{}; 

int main() 
{ 
    test_class a; 

    some_custom_container<test_class> i = { a, test_class(), a }; 
} 

Wenn ich es habe verstehen, werden alle Objekte in { a, test_class(), a } sind sicher ausgebaute: die named- Objekte werden kopiert und die unbenannten Objekte werden verschoben, um die initializer_list zu erstellen. Danach wird diese initializer_list mit Verweis auf den some_custom_container Konstruktor übergeben.

Um unnötige Doppelkopien zu vermeiden, bewege ich alle, um den Vektor zu füllen.

Ist dieser Konstruktor sicher? Ich meine, in einer seltsamen Situation, zum Beispiel, wenn T als Referenz & oder & & ausgewertet wird, ist der Vektor immer gut gefüllt (enthält es sichere Objekte)?

Wenn dies der Fall ist, warum die initializer_list Konstruktorimplementierungen von STL-Container auf diese Weise nicht implementiert sind? Wie ich weiß, kopieren ihre Konstruktoren den Inhalt und verschieben ihn nicht.

Answer 1

initializer_list bietet nur const Zugriff auf seine Elemente. Sie könnten const_cast verwenden, um diesen Code zu kompilieren, aber dann können die Bewegungen zu undefiniertem Verhalten führen (wenn die Elemente initializer_list wirklich const sind). Also, nein, es ist nicht sicher, das zu bewegen. Dort are workarounds for this, wenn Sie es wirklich brauchen.