C++, STL-String-Copy-Konstruktor - Immer eine Tiefe Kopie?

Ich habe gesehen, verschiedene widersprüchliche Verweise auf die Kopie-Konstruktor Verhalten von STL-strings in C++ und ich hatte gehofft, jemand könnte das für mich aufklären, angesichts des folgenden code-segment:

string str() { return string("this is a string"); }
//meanwhile, in some other function...
string s = str();

Macht das Objekt 's' bilden eine Tiefe Kopie des string-Objekts in der Funktion definiert 'str()'? oder ist das Objekt 's' einfaches zeigen auf den gleichen Speicherblock zugewiesen, während der string-Konstruktor-Aufruf in der 'str ()' - Funktion?

  • Es spielt keine Rolle, was das exakte kopieren der Semantik sind, weil jeder vernünftige compiler optimieren wird, alle Kopien Weg in dem oben genannten Beispiel. Und wenn aus irgendeinem Grund dies nicht möglich ist, move-Semantik sind erforderlich, um kick in.
InformationsquelleAutor Gearoid Murphy | 2011-12-11
  1. 5

    String-Tiefe Kopie, die Sie nicht teilten den gleichen Puffer.

    Sagte, dass bei der Rückgabe von einer Funktion die meisten guten Compiler kann entweder ein Return-Wert-Optimierung oder Copy elision, so dass Manöver ist nicht alles, was teuer (oder sogar kostenlos).

    Wenn Sie mit c++11 move-Semantik angegeben werden, indem der standard so zur Sache wie return string sicher sein, dass der Schlimmste Fall (auch ohne Optimierungen) ist ziemlich Billig.

    BEARBEITEN: zusammenfassen, werden Sie garantiert, dass die Zeichenfolge, die Sie "besitzen" ein einmaliges Stück Erinnerung, die beibehalten wird, mindestens die Lebensdauer des lokalen string. Allerdings ist es mehr als wahrscheinlich, dass der compiler nicht kopieren es aus dem string in der Funktion, sondern nur tauschen Sie die Zeiger oder selbst erstellte kopieren insgesamt (also der string in der Funktion wäre eigentlich die Zeichenfolge, die Sie zuweisen zu).

    • Was ist 'Copy elision'?
    • en.wikipedia.org/wiki/Copy_elision
    • Wikipedia :), ich sollte gewusst haben, wie kann ich sagen, wenn dieser Mechanismus verwendet wird, die in g++?
    • Ohne Blick auf die ASM ich glaube nicht, dass Sie können. Aber wie ich schon sagte, move-Semantik ist ein Teil der standard-und move-Konstruktor/Zuweisung-operator/definiert werden sollte, für Sie die std-lib, und diese werden verwendet, wenn Sie mit c++11
    • Wo ist diese Garantie, dass jeder string besitzt eine einzigartige Puffer? Sind copy-on-write-Implementierungen nicht erlaubt?
    • KUH ist nicht detailliert von der Norm, jedoch, ob oder nicht Ihre Implementierung verwendet, ist unbekannt. clang zum Beispiel hat einige KUH für Container und strings, ob diese stören bei Copy elision, weiß ich nicht. Vielleicht sagen, dass jeder string hat ein einzigartiges Puffer ist etwas definitives, aber ich denke, es ist sicher zu denken, dass Weg.
    • KUH war ausdrücklich vorgesehen, für 1997 im C++ - standard; std::string ist lustig (= gebrochen) Aufhebungs-Semantik, weil es. KUH ist nicht erlaubt, für "wahr" STL-Containern. KUH-string ist eine kaputte Idee, da wurde jedem bewusst, nur zu spät.
    • Die Genehmigung ungültig Iteratoren string während KUH existiert nicht in N3242: "_References, Zeiger und Iteratoren unter Bezugnahme auf die Elemente des basic_string-Sequenz kann für ungültig erklärt werden: () Aufrufen non-const-member-Funktionen, außer (operator[], at, vor, zurück, beginnen, rbegin -, end-und rend." und die hier aufgeführten Funktionen sind alle noexcept. Die KUH crazy-ness, wurde behoben.

    InformationsquelleAutor 111111
  2. 1

    Ja, es führt eine logische Tiefe Kopie.

    Vom N3126, 21.4.2 Tabelle 61:

    data() - Punkte auf das erste element eines zugewiesenen kopieren
    der array, dessen erstes element gerichtet ist, durch
    str.data()

    InformationsquelleAutor Oliver Charlesworth
Schreibe einen Kommentar