C++ inicialización estática vs __ __attribute ((constructor))

Question

Ejemplo:

struct Foo { Foo() { printf("foo\n"); } }; 
static Foo foo; 

__attribute__((constructor)) static void _bar() { printf("bar\n"); } 

Es determinista wether foo o bar se imprime primero?

(espero y esperaría que los constructores de objetos estáticos siempre se ejecutan primero, pero no está seguro y GCC doc sobre el atributo constructor no dice nada al respecto.)

Answer 1

foo se imprimirán en primer lugar, como el los objetos se inicializan en el orden de sus declaraciones. Correr y ver:

• Ideone online demo

Por cierto, no es __attribute__((constructor)) estándar de C++. Es la extensión de GCC. Entonces, el comportamiento de su programa depende de cómo lo haya definido GCC. En resumen, está definido por la implementación, de acuerdo con foo se imprime primero.

El doc dice,

El atributo constructor hace que la función que se llamará automáticamente antes de la ejecución entra en main(). De forma similar, el atributo destructor hace que la función sea llamada automáticamente después de que main() se haya completado o se haya llamado a exit(). Las funciones con estos atributos son útiles para inicializar datos que se usarán implícitamente durante la ejecución del programa.

Puede proporcionar una prioridad entera opcional para controlar el orden en que se ejecutan las funciones de constructor y destructor. Un constructor con un número de prioridad más pequeño se ejecuta antes que un constructor con un número de prioridad más grande; la relación opuesta vale para los destructores. Por lo tanto, si tiene un constructor que asigna un recurso y un destructor que desasigna el mismo recurso, ambas funciones suelen tener la misma prioridad. Las prioridades para las funciones constructor y destructor son las mismas que las especificadas para los objetos C++ de ámbito de nombre de espacio (ver Atributos C++).

creo que el texto en negrita indica, los objetos se inicializan en el orden de sus declaraciones, como he dicho antes, que está prácticamente confirmado por online demo también.

supongo que también le gustaría leer esto:

• 7.7 C++-Specific Variable, Function, and Type Attributes

Si desea controlar/alterar el orden de inicialización, puede utilizar init_priority atributo, proporcionando prioridad. Tomado de the page:

Some_Class A __attribute__ ((init_priority (2000))); 
Some_Class B __attribute__ ((init_priority (543))); 

Aquí, B se inicializa antes A.

Answer 2

Parece no determinista. También tuve foo\nbar\n como la salida del ejemplo en mi pregunta cuando se compiló con GCC. Sin embargo, cuando se compila con LLVM/Clang, obtengo bar\nfoo\n.

Pero, como no estoy seguro de si esto podría ser un error en Clang, llené un informe de error here. Editar: Recibí una respuesta allí y parece ser realmente un error en Clang que aún no está solucionado. No estoy seguro de qué concluir de eso. El comportamiento esperado y el que debería ser realmente es determinista aquí, sin embargo, no se puede depender de él ya que hay al menos un compilador principal (Clang) que lo hace incorrecto (o diferente a GCC, si tomamos eso como la especificación para __attribute__((constructor))).

Tenga en cuenta que esto puede ser realmente relevante e importante en el código del mundo real. P.ej. here es un ejemplo que genera un generador aleatorio que falla con Clang.