Riferimento non costante associato a errore temporaneo di Visual Studio?

Question

Mi sono imbattuto in questo mentre compilavo del codice portatile in gcc. Fondamentalmente questo strano codice viene compilato in Visual Studio, che in realtà solo soffia la mia mente:

class Zebra {int x;}; 
Zebra goo() {Zebra z; return z;} 
void foo(Zebra &x) 
{ 
    Zebra y; 
    x = y; 
    foo(goo()); 
} 

Visual studio consente questa mosca. gcc prenderà questo come errore di compilazione. È interessante notare che, se digiti Zebra su int, VC++ si lamenterà. Comportamento abbastanza contraddittorio Pensieri?

Answer 1

Questa è vecchia estensione a Visual Studio, l'unico riferimento che ho trovato sul sito di Microsoft è stato questo bug report: Temporary Objects Can be Bound to Non-Const References, che ha il seguente codice di esempio:

struct A {}; 

A  f1(); 
void f2(A&); 

int main() 
{ 
    f2(f1()); // This line SHALL trigger an error, but it can be compiled without any  errors or warnings. 
} 

Una delle note risposte:

There is a level 4 warning (level 4 warning are enabled if you pass /W4 to the compiler) for it

questo post del blog: Visual C++ is so Liberal che copre questa estensione nota che:

Using Disable Language Extensions (/Za) makes it an error:

Answer 2

Come altri hanno detto, questo è dovuto all'estensione Microsoft C++. Anche se la bandiera /Za non è consigliata in quanto può rompere le cose.

Utilizzare invece lo switch /permissive- per una migliore conformità agli standard e si otterranno errori salutari per questi casi. Si noti che questo è disponibile a partire VS 2017.

The switch /Za does not support certain key Microsoft SDK header files. By contrast /permissive- offers a useful conformance mode where input C++ code is interpreted according to ISO C++ rules but also allows conforming extensions necessary to compile C++ on targets supported by Visual C++.

Maggiori informazioni è in Visual C++ Team Blog.