Perché la compilazione con C++ 11 ha successo nonostante si usi la funzionalità C++ 14?

Question

GCC v6.1 (il risultato è lo stesso con v5.1) compilato correttamente il codice qui sotto con bandiere -std=c++11 -Wall -Wextra -Wpedantic, ma produce questo avvertimento:

variable templates only available with -std=c++14 or -std=gnu++14 

Il codice:

#include <iostream> 

template <typename T> 
struct ParamMetadata { 
     T min; 
     T max; 
}; 

template <class T1, class T2> 
class FooMap {}; 

template <typename T> 
// WARNING PRODUCED ON THIS LINE 
extern FooMap<int, ParamMetadata<T> > metadataHashmap; 

int main() { 
     return 0; 
} 

Clang v3 0,8 produce un avviso simile:

variable templates are a C++14 extension [-Wc++14-extensions] 

Se questa è una caratteristica disponibile solo in C++ 14, perché lo fa compilato con C++ 11 bandiera proprio bene e I C eseguire l'eseguibile? Non dovrebbe essere un errore fatale?

Answer 1

Lo standard C++ non ha il concetto di "errore fatale del compilatore". I programmi sono mal formati con una diagnostica richiesta o mal formati senza necessità di diagnostica o ben formati.

In C++, l'unico requisito che lo standard inserisce in una diagnostica del programma non formattata consiste nel visualizzare una diagnostica . I contenuti di quella diagnostica non sono definiti. Che altro succede oltre a quella diagnostica non è definita.

Molti compilatori implementano estensioni allo standard C++ che viene loro richiesto di compilare in base a tali programmi altrimenti mal formati e produrre un eseguibile eseguibile. Se sono conformi a uno standard, l'unica cosa che devono fare è stampare un messaggio di avviso (che soddisfi i requisiti diagnostici dello/degli standard C++).

In questo caso, viene stampato un messaggio di avviso che è stata utilizzata una funzione C++ 14. Ora ha fatto con successo quello che lo standard C++ 11 richiede con il tuo programma mal formato. Produce anche un eseguibile che fa ciò che il tuo programma farebbe se fosse usata quella caratteristica dello standard C++ 14: è libera di farlo, poiché lo standard a questo punto non pone restrizioni su ciò che fa il programma una volta che è un programma malformato in C++ 11.

Se non si desidera questa opzione, i compilatori hanno spesso un flag warnings-as-errors e vari flag strict e pedantic che bloccano le estensioni allo standard che utilizzano. Quindi l'errore sopprimerà la generazione dell'eseguibile e non sarai più confuso.

gcc per impostazione predefinita si presuppone che si desideri compilare il codice fornito in qualcosa anziché agire come uno standardforcer e genera solo errori quando non ha un modo ragionevole di interpretare il codice come un programma che probabilmente corrisponde alle proprie intenzioni . Fornisce flag per passare a una modalità rigorosa e pedante.

---

In modo divertente, la stampa di un singolo carattere di spazio soddisfa il requisito per visualizzare una diagnosi.Lo standard C++ può essere letto in modo patologico al fine di generare una scarsa qualità di implementazione nel compilatore: generare uno standard ostile al compilatore non vale la pena.

Answer 2

Niente "dovrebbe essere un errore fatale". Se il compilatore scrive un messaggio che ti dice che cosa è successo ha adempiuto ai suoi obblighi.

Ora sei libero di prendere una decisione informata sull'opportunità di considerare il codice come un errore fatale e modificare il codice; o trattarlo come se fosse C++ 14 e seguirlo.

È possibile utilizzare l'interruttore -Werror (cambia la parola "avviso" su "errore" nel messaggio) se si ritiene che sarebbe di aiuto.