Binding tymczasowy do lwartości odniesienia

Question

Mam następujący kod

string three() 
{ 
    return "three"; 
} 

void mutate(string& ref) 
{ 
} 

int main() 
{ 
    mutate(three()); 
    return 0; 
} 

Widać jestem przechodzącej trzy() do mutate metody. Ten kod dobrze się kompiluje. Rozumiem, że tymczasowe nie mogą być przypisane do odniesień stałych. Jeśli tak, w jaki sposób program się kompiluje?

Jakieś myśli?

Edit:

Kompilatory próbowałem: VS 2008 i VS2010 Beta

Answer 1

Był używany do kompilacji w kompilatorze VC6, więc myślę, że utrzymanie kompilacji wstecznej VS2008 obsługuje to niestandardowe rozszerzenie. Wypróbuj z flagą /Za (wyłącz rozszerzenie języka), powinieneś wtedy otrzymać błąd.

Answer 2

To nie kompilacji, z g ++ 4 co najmniej:

foo.cpp: In function ‘int main()’: 
foo.cpp:16: error: invalid initialization of non-const reference of type ‘std::string&’ from a temporary of type ‘std::string’ 
foo.cpp:10: error: in passing argument 1 of ‘void mutate(std::string&)’ 

(numery linii są wyłączone o 3 lub 4, ponieważ musiałem dodać linie #include i "using".)

Twój kompilator wydaje się nie być tak surowy, jak być powinien.

Answer 3

Myślę, że to zależy od kompilatora. g ++ 4.1.2 daje mi to.

In function 'int main()': 
Line 15: error: invalid initialization of non-const reference of type 'std::string&' from a temporary of type 'std::string' 
compilation terminated due to -Wfatal-errors. 

Może dlatego, że nic nie robisz, połączenie jest zoptymalizowane.

Answer 4

To rozszerzenie Microsoft, naśladujące zachowanie wielu innych kompilatorów Microsoft. Jeśli włączysz ostrzeżenia W4, zobaczysz ostrzeżenie.

Answer 5

Jest to złe rozszerzenie VC++. Jeśli skompilujesz z/W4, kompilator ostrzeże cię. Domyślam się, że czytasz Rvalue References: C++0x Features in VC10, Part 2. W tym artykule również wspomniano o tym problemie.