C++ 11 konstruktor ruch nie nazywa, konstruktor domyślny preferowane

Question

Załóżmy, że mamy tę klasę:

class X { 
public: 
    explicit X (char* c) { cout<<"ctor"<<endl; init(c); }; 
    X (X& lv) { cout<<"copy"<<endl; init(lv.c_); }; 
    X (X&& rv) { cout<<"move"<<endl; c_ = rv.c_; rv.c_ = nullptr; }; 

    const char* c() { return c_; }; 

private: 
    void init(char *c) { c_ = new char[strlen(c)+1]; strcpy(c_, c); }; 
    char* c_; 

}; 

i ten przykład użycia:

X x("test"); 
cout << x.c() << endl; 
X y(x); 
cout << y.c() << endl; 
X z(X("test")); 
cout << z.c() << endl; 

wyjście jest:

ctor 
test 
copy 
test 
ctor <-- why not move? 
test 

Używam VS2010 z ustawieniami domyślnymi. Spodziewałbym się, że ostatni obiekt (z) zostanie skonstruowany w ruchu, ale tak nie jest! Jeśli używam X z(move(X("test")));, ostatnie linie wyjścia to ctor move test, jak można się spodziewać. Czy jest to przypadek (N) RVO?

Q: Czy należy nakazać przeniesienie ctor zgodnie z normą? Jeśli tak, dlaczego tak się nie nazywa?

Answer 1

To, co widzisz, to copy elision, co pozwala kompilatorowi bezpośrednio skonstruować tymczasowy obiekt docelowy, który ma zostać skopiowany/przeniesiony, a tym samym usunąć kopię (lub przenieść) parę konstruktora/destruktora. Sytuacje, w których kompilator może ubiegać się kopiowania elizja podano w §12.8.32 standardu C++ 11:

Kiedy pewne kryteria są spełnione, to implementacja wolno pominąć z Kopiuj/przenieś budowa obiektu klasy, nawet jeśli konstruktor i/lub destruktor obiektu copy/move dla obiektu mają skutki uboczne. W takich przypadkach implementacja traktuje źródło i cel pominiętej operacji kopiowania/przenoszenia jako dwa różne sposoby odwoływania się do tego samego obiektu, a zniszczenie tego obiektu ma miejsce później niż . obiekty zostałyby zniszczone bez optymalizacji . Ten elizja kopii/przenieść operacji, zwany kopia elizja, jest dozwolona w następujących okolicznościach (co w połączeniu może wyeliminować wiele kopii):

• w instrukcji return w funkcji o typie klasy powrotnej, gdy określenie jest nazwą nieulotnej automatycznego obiektu z
  samo CV bez zastrzeżeń typu Internet red jako typ zwracanej przez funkcję, operacja
  kopii/ruch może zostać pominięte poprzez skonstruowanie automatycznego
  przedmiotu bezpośrednio do wartości powrotnej funkcyjnego
• w rzut-ex pression, gdy operand jest nazwą nieulotnego automatycznego obiektu, którego zasięg nie wykracza poza koniec najgłębiej zamykającego try-bloku (jeśli istnieje), kopiowanie/przenoszenie operacji z operandu do wyjątku obiekt (15.1) można pominąć, tworząc obiekt automatyczny bezpośrednio pod obiekt wyjątku
• , gdy obiekt klasy tymczasowej nie jest powiązany z odwołaniem (12.2) zostaną skopiowane/przeniesione do obiektu klasy z on samo cv-Bez zastrzeżeń typu fi kowane, operacja kopiowania/ruch może być pominięte przez budowy tymczasowego obiektu bezpośrednio do docelowej
  pominiętym kopii/przenieść
• kiedy deklaracja wyjątku obsługi wyjątków (klauzula 15) deklaruje obiekt tego samego typu (z wyjątkiem cv-kwali fi kacji) jako obiekt wyjątku (15.1), operację kopiowania/przenoszenia można pominąć
  przez składanie deklaracji wyjątku jako alias dla obiektu wyjątku, jeśli znaczenie programu pozostanie niezmienione, z wyjątkiem wykonanie destruktory dla obiektu zadeklarowanego przez
  deklaracji wyjątku.

Answer 2

Telefonujesz X'schar* konstruktora X("test") jawny.

Dlatego też drukuje ctor

Answer 3

Wyjście ctor masz w swojej trzeciej linii kodu jest do budowy tymczasowego obiektu. Po tym czasie tymczasowy zostanie przeniesiony do nowej zmiennej z. W takiej sytuacji kompilator może wybrać kopiowanie/przenoszenie i wygląda na to, że tak właśnie było.

Standardowe stany:

(§12.8/31) Kiedy pewne kryteria są spełnione, to implementacja wolno pominąć budowę kopia/ruch obiektu klasy, nawet jeśli kopia/konstruktora ruchu i/lub destruktor dla obiektu mają skutki uboczne. [...] Ta elizacja operacji kopiowania/przenoszenia, zwana copy elision, jest dozwolona w następujących okolicznościach (które można łączyć w celu wyeliminowania wielu kopii):
[...]
- gdy tymczasowy obiekt klasy, który nie został powiązany z odwołaniem (12.2) zostałby skopiowany/przeniesiony do obiektu klasy z tym samym typem bez cv, operacja kopiowania/przenoszenia może zostać pominięta przez skonstruowanie obiektu tymczasowego bezpośrednio do celu pominiętej kopii/przeniesienia
[...]

Jednym ważnym warunkiem jest to, że obiekt źródłowy i docelowy są tego samego typu (oprócz CV-kwalifikacji, czyli rzeczy jak const).

Dlatego jeden sposób można wymusić konstruktora ruch ma zostać wywołana jest połączenie inicjalizacji obiektu z niejawna konwersja typu:

#include <iostream> 

struct B 
{}; 

struct A 
{ 
    A() {} 
    A(A&& a) { 
    std::cout << "move" << std::endl; 
    } 
    A(B&& b) { 
    std::cout << "move from B" << std::endl; 
    } 
}; 


int main() 
{ 
    A a1 = A(); // move elided 
    A a2 = B(); // move not elided because of type conversion 
    return 0; 
}