El RAII (resource acquisition is initialization) es un idoma común en C++; recientemente he tenido un pequeño inconveniente al usarlo, que sintetizo en este código (el código no es válido, es solo a título ilustrativo):
template< typename T > class Algo {
bool enqueue( T arg ) {
struct raii {
T val;
~raii( ) {
// Hacemos algo con las variables ...
}
} RAII = { arg };
// Cuerpo real de la función ...
}
// Resto de la plantilla ...
};
Dentro de la función enqueue( )
creamos una estructura de control; su única misión es garantizar que una parte de nuestro código se ejecutará, aún en presencia de excepciones. El lenguaje C++ garantiza que se llamará al destructor. Es el equivalente en C++ a los bloques finally { ... }
presentes en otros lenguajes.
El inconveniente con el que me he tropezado es que el compilador, en su afán de evitarnos problemas, nos da un aviso de variable sin usar:
warning: unused variable RAII
En compiladores modernos, podemos usar las nuevas características del C++11; en concreto, los atributos; mas exactamente, en C++17 podemos usar
} RAII [[maybe_unused]] = { arg };
En g++
, podemos usar __attribute((unused))__
o [[gnu::unused]]
(dependiendo de la versión). E incluso me suena de algún pragma _Unused
en otros compiladores.
Otros métodos, mas manuales, consisten en declarar y usar un constructor; de esta forma, el compilador ve que usamos la instancia, y tampoco nos muestra su bienintencionado aviso.
La pregunta:
¿ C++ no proporciona un mecanismo consensuado y estándar para usar RAII ? Es decir, informar al compilador de que el único uso de una instancia es llamar a su destructor.