Una variable no detecta como no se utiliza

Question

estoy usando g ++ 4.3.0 para compilar este ejemplo:

#include <vector> 

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

Si puedo compilar el ejemplo con el nivel máximo de alerta, recibo una advertencia de que la variable b es no utilizados:

[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 pregunta es: ¿por qué la variable un no se declara como no se utiliza? ¿Qué parámetros tengo que pasar para obtener la advertencia de la variable a?

Answer 1

En teoría, el constructor predeterminado para std::vector<int> podría tener efectos secundarios arbitrarios, por lo que el compilador no puede determinar si la eliminación de la definición de a cambiaría la semántica del programa. Solo recibe esas advertencias para los tipos integrados.

Un mejor ejemplo es una cerradura:

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

Aunque a no se utiliza después de su definición, la eliminación de la primera línea sería un error.

Answer 2

a no es un tipo incorporado. En realidad, está llamando al constructor de std::vector<int> y asignando el resultado a a. El compilador ve esto como uso porque el constructor podría tener efectos secundarios.

Answer 3

a se utiliza realmente después de declararse, ya que se llama a su destructor al final de su ámbito.