estilo C++11 [[unused]]atributo en gcc?

Bajo gcc/g++ 4.9 puedo escribir:

int x __attribute__((unused)) = f();

para indicar que x no se usa intencionalmente.

¿Es posible hacer esto con C++ 11? [[]] notación de atributo de alguna manera?

Lo intenté:

int x [[unused]] = f();

pero no funciona

(Sí, sé que es un atributo definido por la implementación).

si, uso [[gnu::unused]]

como ya se dijo unused no es parte del atributos estándar especificado por la norma.

El estándar también permite la implementación de atributos definidos como el __attribute__ y __declspec que se utilizarán con la nueva sintaxis. Si un compilador no reconoce un atributo (un atributo gcc al compilar en MSVC como ejemplo), simplemente se ignorará. (probablemente con una advertencia)

Para gcc puede usar el prefijo gnu y la sintaxis de atributos de C++11: [[gnu::unused]] en lugar de __attribute__((unused)) lo mismo debería aplicarse a los otros atributos de gcc también.

ejemplo sin prefijo gnu

ejemplo con prefijo gnu

Hay [[maybe_unused]] atributo en C++17. Está implementado en GCC 7, consulte Compatibilidad con estándares C++ en GCC .

Ejemplo de Propuesta P0212R1:

[[maybe_unused]] void f([[maybe_unused]] bool thing1,
                        [[maybe_unused]] bool thing2) {
    [[maybe_unused]] bool b = thing1 && thing2;
    assert(b);
}

Eso a lo que te refieres se conoce como especificadores de atributos. Es un intento de estandarizar varios especificadores dependientes de la plataforma:

• __attribute__ en caso de CCG / CCI (Linux)
• __declspec en MSVC / ICC (ventanas)

Como puede ver en el enlace del documento adjunto, los únicos especificadores admitidos en C++ 11 son:

• [[noreturn]]
• [[carries_dependency]]

y en C++14:

• [[deprecated]] (también compatible como: [[deprecated("reason")]])

C++ 17 es la versión que presenta la característica requerida:

• [[maybe_unused]] (cppreference.com)

Ejemplo del enlace:

#include <cassert>
 
[[maybe_unused]] void f([[maybe_unused]] bool thing1,
                        [[maybe_unused]] bool thing2)
{
    [[maybe_unused]] bool b = thing1 && thing2;
    assert(b); // in release mode, assert is compiled out, and b is unused
               // no warning because it is declared [[maybe_unused]]
} // parameters thing1 and thing2 are not used, no warning

Entonces la respuesta es: no, no es posible, usando solo funciones de C++ 11 – la versión de C++ requerida para obtener esto de forma portátil es C++ 17.

si no te interesa solo en soluciones portátiles, podría haber una manera. El estándar C++ no limita esta lista:

Solo los siguientes atributos están definidos por el estándar C++. Todos los demás atributos son específicos de la implementación.

Varios compiladores pueden admitir algunos especificadores no estándar. Por ejemplo, puedes leer esta página para averiguar que Clang admite:

• [[gnu::unused]]

Quizás su versión de GCC también admita este especificador. Esta página contiene un informe de error que hace referencia a la compatibilidad con atributos generalizados. [[gnu::unused]] también se menciona.