Llamando punteros a funciones C++ de las bibliotecas C

Question

Tengo una clase que solo tiene miembros estáticos.

Me gustaría registrar una de sus funciones miembro (VerifyClean en el código a continuación) para llamar al salir, usando la función de biblioteca "atexit".

El C++ FQA dice que debo especificar extern "C" para la función que deseo registrar de esta manera, como en el siguiente ejemplo.

class Example 
{ 
public: 
    static void Initialize(); 
    static void DoDirtyStuff {++dirtLevel;} 
    static void CleanUpStuff {--dirtLevel;} 
private: 
    static void VerifyClean(); 
    // DOESN'T COMPILE: extern "C" static void VerifyClean(); 
    static int dirtLevel; 
} 

int Example::dirtLevel; 

extern "C" void Example::VerifyClean() // DO I NEED extern "C" HERE? 
{ 
    assert(dirtLevel == 0); 
} 

void Example::Initialize() 
{ 
    dirtLevel = 0; 
    atexit(&VerifyClean); 
} 

¿De verdad tengo que usar extern "C"?

¿La respuesta cambia si reemplazo "atexit" con una función que no es de biblioteca (implementado en el plano C)?

Si la función VerifyClean fuera pública y decidiera llamarla directamente desde el código C++, ¿obtendría errores de enlace o bloqueos en el tiempo de ejecución? Pregunto esto porque la declaración no menciona en absoluto el término "C", por lo que el código normal de C++ podría manejar la llamada de función incorrectamente. Esto funciona bien en mi sistema MS Visual Studio 2005.

Answer 1

Es posible para que un compilador use diferentes convenciones de llamada para el código C y C++; sin embargo, en la práctica, esto casi nunca ocurre.

Si solo quieres que funcione y no te importa respaldar compiladores poco claros, no te molestes con extern "C". No es necesario en ningún compilador ampliamente utilizado.

Si usted quiere estar absolutamente pedante, o la necesidad de apoyar un compilador pedante, escribir un envoltorio:

extern "C" static void ExampleVerifyClean() 
{ 
    Example::VerifyClean(); 
} 

void Example::Initialize() 
{ 
    dirtLevel = 0; 
    atexit(&ExampleVerifyClean); 
} 

Answer 2

errores de enlace.

C++ realiza lo que se denomina creación de nombres, que genera un nombre de función de tiempo de enlace con información de tipo.

extern C convierte ese en en un identificador más simple.

edición:

Si todo está siendo compilado por un compilador de C++, no será un problema. Pero si tiene un archivo de objeto compilado por un compilador de C y otro compilado por un compilador de C++, tendrá algunos problemas.

Me parece recordar DLL que requieren una especificación extern "C", pero que la memoria es quizás 10 años de edad en este punto

---

bien.

me prepararon rápidamente un caso de prueba con una función que tenía una firma

int foo (float, float)

y compilado bajo 3 invocaciones gcc diferentes -

gcc test_c.c -S 
g++ test.cpp -S 

Estas dos invocaciones produjeron identificadores diferentes en el conjunto. El C++ había destrozado el nombre en su enfoque habitual de modificación de tipo. (Por supuesto compiladores pueden hacer esto de manera diferente)

Entonces, envolví foo en Extern "C" y se invoca G ++ de nuevo ...

g++ test.cpp -S 

Qué entonces removido el mangled C++ nombre, dejando una llanura C nombre sin nombre.

Si bien hay otras sutilezas involucradas aquí, p., el orden de los argumentos empujó a la pila, yo descanso mi caso en este punto, basado en datos.

Answer 3

Sin extern "C", el nombre de la función se arruinó por el compilador, por lo que el nombre de la función podría terminar diferente de lo esperado. Debe llamar a la función utilizando su nombre destruido (como usar GetProcAddress en Windows) o obtendrá un error de enlazador. Diferentes compiladores lo dañaron de manera diferente, así que es mejor si sigues usando la palabra clave extern.

Answer 4

puede utilizar esta:

class yourname 
{ 
    public: 
    ... 
    static void _cdecl AtExitCall(); 
}; 

int main() 
{ 
    ataexit(yourname::AtExitCall); 
}