Automatische Generierung von Bewegungsoperationen

In C 11 warf die Einführung der Bewegungssemantik Fragen zu den Umständen auf, unter denen Bewegungskonstruktoren und Bewegungszuweisungen verwendet werden Operatoren werden automatisch generiert.

Unter C 11 werden Verschiebungsoperationen nicht automatisch generiert, wie Kopierkonstruktoren und Kopierzuweisungsoperatoren. Der Compiler generiert Verschiebungssemantik nur, wenn bestimmte Bedingungen erfüllt sind:

• Es ist kein benutzerdefinierter Kopierkonstruktor oder Kopierzuweisungsoperator vorhanden. Wenn eines dieser Mitglieder explizit definiert ist, erfolgt keine Verschiebung Operationen werden generiert.
• Es ist kein benutzerdefinierter Destruktor definiert. Durch die Definition eines Destruktors wird die Generierung von Verschiebungen deaktiviert Semantik.
• Die Klasse hat keine nicht kopierbaren Mitglieder. Verschiebungsvorgänge werden nicht generiert, wenn die Klasse Mitglieder enthält, die nicht verschoben werden können, wie z. B. Zeiger auf dynamisch zugewiesenen Speicher.

Das Verständnis dieser Regeln hilft bei der Implementierung von Klassen, die Bewegungssemantik verwenden. Die Tabelle aus Howard Hinnants Präsentation bietet einen kurzen Überblick über die automatische Generierung spezieller Elemente, einschließlich Verschiebungsoperationen:

Durch die Erkennung dieser Regeln können Entwickler sicherstellen, dass ihre Klassen die Bewegungssemantik richtig nutzen und optimale Effizienz erreichen.