Pourquoi le code suivant ne génère pas d'avertissement dans MSVC

Question

J'ai une section de code qui peut être résumée comme suit;

void MyFunc() 
{ 
    int x; 
' 
' 
    x; 
' 
' 
} 

j'aurais pensé que le référencement simplement une variable, sans le modifier de toute façon ou d'utiliser de toute façon sa valeur devrait générer un avertissement. Dans VS2003, il ne fait ni l'un ni l'autre, et j'ai besoin de charpie pour le ramasser.

Je me rends compte que cela n'affecte pas l'exécution, mais comme c'est un morceau de code qui ne fait rien, et que le programmeur voulait sans doute faire quelque chose, pourquoi n'est-il pas marqué?

De même, attendez-vous que x = x soit un avertissement?

Modifier: La question a été modifiée, car cela constitue un bon candidat pour un avertissement, mais n'est pas une erreur. Les réponses suggèrent que cela est mieux géré avec d'autres compilateurs. Essayera VS2008 plus tard et afficher le résultat.

Answer 1

Vous devez utiliser un meilleur compilateur :-) Compilé avec les drapeaux et -Wall -pedantic, le compilateur GCC C donné ce code:

int main() { 
    int x = 0; 
    x; 
} 

produit ce diagnostic:

ma.cpp:3: warning: statement has no effect 

Answer 2

Un tel code peut apparaître dans une classe de modèle à des fins de métaprogrammation. Par exemple, il peut s'agir d'une sorte de vérification si x est accessible à partir du contexte actuel. Oui, il n'affecte pas le résultat de exécution, mais il affecte le résultat de compilation; Cela pourrait aider à des techniques comme SFINAE.

Il semble que cela ne soit d'aucune utilité pour la compilation. Les corps de corps ne comptent pas pour choisir le gabarit approprié pour un appel de fonction. Et pour vérifier l'accessibilité dans une portée de classe, vous devez utiliser l'opérateur using pour les noms dépendants; cet opérateur using étant lui-même un contrôle d'accessibilité. Par conséquent, le code x; n'a vraiment aucun effet.

Answer 3

Vous attendez un avertissement à moins que vous lancez l'expression d'annuler, à savoir

void MyFunc() 
{ 
    int x; 

    (void)x; 

} 

Quel niveau d'alerte Avez-vous mis?

Answer 4

deux simples variables déclarations (telles que x,) et l'auto-affectation (comme x = x) sont un code valide en C++, de sorte que le compilateur ne peut pas les marquer comme des erreurs, mais un bon le compilateur est bien sûr autorisé à donner un avertissement qu'il n'a aucun effet, et peut être une erreur du programmeur. Par exemple, le compilateur g ++ donne l'avertissement "l'instruction n'a aucun effet" pour x;.