Une variable non détectée Inutilisable

Question

J'utilise g ++ 4.3.0 pour compiler cet exemple:

#include <vector> 

int main() 
{ 
    std::vector<int> a; 
    int b; 
} 

Si je compile l'exemple avec le niveau d'alerte maximal, je reçois un avertissement que la variable b est non utilisé:

[vladimir@juniper data_create]$ g++ m.cpp -Wall -Wextra -ansi -pedantic 
m.cpp: In function ‘int main()’: 
m.cpp:7: warning: unused variable ‘b’ 
[vladimir@juniper data_create]$ 

la question est: pourquoi la variable un n'est pas signalé comme non utilisé? Quels paramètres dois-je passer pour obtenir l'avertissement pour la variable a?

Answer 1

En théorie, le constructeur par défaut pour std::vector<int> peut avoir des effets secondaires arbitraires, de sorte que le compilateur ne peut pas déterminer si la suppression de la définition de a modifierait la sémantique du programme. Vous obtenez uniquement ces avertissements pour les types intégrés.

Un meilleur exemple est un verrou:

{ 
    lock a; 
    // ... 
    // do critical stuff 
    // a is never used here 
    // ... 
    // lock is automatically released by a's destructor (RAII) 
} 

Même si a est jamais utilisé après sa définition, la suppression de la première ligne serait une erreur.

Answer 2

a n'est pas un type intégré. Vous appelez en fait le constructeur de std::vector<int> et en affectant le résultat à un. Le compilateur voit cela comme une utilisation car le constructeur pourrait avoir des effets secondaires.

Answer 3

a est effectivement utilisé après sa déclaration car son destructeur est appelé à la fin de sa portée.