std :: Bewe- Wie Programmierer zu warnen, nicht zu verwenden * bewegt von * Objekt

Question

Angenommen, eine Funktion wie diese gibt es:

int * func() 
{ 
    std::unique_ptr<int> ptr(new int(3)); 
    //Few more lines of code 

    //then one function added where programmer writes like some thing 

    SOME_OTHER_FUNC(std::move(ptr)); 

    return ptr.get(); 
} 



void SOME_OTHER_FUNC(std::unique_ptr<int> arg_ptr) 
{ 
} 

Gibt es eine Möglichkeit Programmierer zu warnen, solche Fehler mit std::move zu vermeiden? Hier geht es nicht nur um unique_ptr sondern auch um andere Objekte.

Gibt es einen Mechanismus, um eine Warnung zu generieren, wenn wir ein Objekt von unangemessen verwendet haben?

Answer 1

std::moveist die Warnung. Wenn Ihre Programmierer das nicht verstehen, müssen Sie sie besser erziehen. Wenn die Funktion so lang ist, dass der Programmierer den Zug vernünftig übersehen kann, müssen Sie Ihre Funktion umgestalten, um sie kürzer zu machen.

Answer 2

Nicht jedes Problem kann oder sollte im Quellcode gelöst werden.

1. Verwenden unique_ptr ist ein Implementierungsdetail; kapseln es ein.

2. Geben Sie Vor- und Nachbedingungen für die Funktions- und Verwendungstests an.

Answer 3

Es wäre schön, wenn der Compiler hilft, oder? Es gibt gute Gründe, es nicht so einfach ist, wie Sie vielleicht denken:

1. std::move() nicht Magie ist, und man konnte eine ähnliche Funktion des eigenen schreiben. Wie würde der Compiler wissen, dass Ihre neue Funktion genauso behandelt werden muss? Sie benötigen ein Standardattribut, mit dem Sie die Funktion dekorieren können. Wenn Sie die Warnung spezifisch für die genaue Funktion std::move machen, codieren Sie das Wissen der Standardbibliothek in den Sprachcompiler¹.
2. Obwohl im Allgemeinen einem verschobenen Objekt nur zugewiesen oder zerstört werden kann, können einige Klassen stärkere Garantien für den Status "verschoben aus" geben (z. B. könnte ein Container als gültige leere Sammlung dokumentiert werden) zugezogen von). Wie können Sie dem Compiler sagen, welche Operationen für bestimmte verschobene Objekte wie diese sicher sind?

---

¹ Gegenargument: Compiler bereits etwas ähnliches tun, natürlich, wenn Formatstrings für std::printf() und std::scanf() Familien von Funktionen zu validieren.