C++ odniesienia na statycznej zmiennej

Question

po prostu dowiedzieć się, że ten mały kawałek kodu C++ nie daje mi ten sam wynik z brzękiem ++ i z g ++:

#include <iostream> 
#include <string> 

using namespace std; 

const string& createString(char c) { 
    static string s; 
    s=""; 
    for(int i=0; i<10; ++i) { 
    s+=c; 
    } 
    return s; 
} 

int main() { 
    cout << createString('a') << ' ' << createString('z') << endl; 
    return 0; 
} 

Z brzękiem ++ pisze on:

aaaaaaaaaa zzzzzzzzzz

jak chcę go mieć, ale z g ++ pisze on:

aaaaaaaaaa aaaaaaaaaa

Dlaczego tak jest? Czy standard implementacji g ++ jest zgodny? Co powinienem zrobić, jeśli chcę, aby funkcja zwróciła tymczasowy typ "duży" przez odniesienie, jak tutaj, aby uniknąć niepotrzebnej kopii?

dziękuję, jeśli możesz pomóc (i wybacz mi, jeśli moje pytanie nie jest jasne, angielski nie jest moim naturalnym językiem).

Answer 1

I co należy zrobić, jeśli chcę funkcja zwraca tymczasowy „duży” typ poprzez odniesienie podobnego tutaj, aby uniknąć niepotrzebnego kopię?

Nie będzie. RVO i NRVO mogą się tym zająć w prosty sposób. Ponadto przenieś semantykę. W skrócie, nic nie stoi na przeszkodzie, aby zwrócić wartość w ogóle.

Answer 2

Tak, obie implementacje są zgodne. The order of evaluation of function arguments is not specified.

Dlatego createString('a') i createString('z') można oceniać w dowolnej kolejności. Ponadto, createString('z') można ocenić przed lub po zapisaniu wyniku createString('a').

Ponieważ funkcja jest stanowa i zwraca stan przez odniesienie, oba wyjścia są dopuszczalne, podobnie jak zzzzzzzzzz zzzzzzzzzz.

Na koniec warto zauważyć, że posiadanie stanu static byłoby poważnym bólem głowy w środowisku wielowątkowym.

Answer 3

Co powinienem zrobić, jeśli chcę, aby funkcja zwróciła tymczasowy "duży" typ przez odniesienie, jak tutaj, aby uniknąć niepotrzebnej kopii?

Zadzwoń tylko raz na wyrażenie. Na przykład będzie to działało dobrze:

std::cout << createString('a') << ' '; 
std::cout << createString('z') << std::endl;