¿Por qué la comparación de un puntero de función miembro a NULL genera una advertencia?

Question

El siguiente fragmento de código se compila sin advertencia para Windows, Mac y iOS:

class MyClass { 
    SomeOtherClass * m_object; 
    void (SomeOtherClass::*m_callback)(); 
public: 
    MyClass(SomeOtherClass * _object,void (SomeOtherClass::*_callback)()=NULL) : 
     m_object(_object),m_callback(_callback) {} 

    void DoStuff() { 
     //generates warning: NULL used in arithmetic when compiling with the Android NDK 
     if (NULL==m_callback) { 
      m_object->DoNormalCallback(); 
     } else { 
      (m_object->*m_callback)(); 
     } 
    } 
}; 

Por qué se genera esa advertencia y qué se puede hacer al respecto?

Answer 1

no creo que se le permite comparar 0 (o NULL) con punteros de función miembro, sobre todo porque es posible que no sean en realidad punteros (cuando la función es virtual, por ejemplo).

Personalmente, me gustaría volver a escribir la prueba if sin la comparación, por ejemplo .:

void DoStuff() { 
    if (m_callback) { 
     (m_object->*m_callback)(); 
    } else { 
     m_object->DoNormalCallback(); 
    } 
} 

Y, para los puntos de bonificación, realizar esta prueba int el constructor.

class MyClass { 
    SomeOtherClass * m_object; 
    void (SomeOtherClass::*m_callback)(); 
public: 
    MyClass(SomeOtherClass * _object,void (SomeOtherClass::*_callback)()=NULL) : 
     m_object(_object),m_callback(_callback) 
    { 
     // Use "DoNormalCallback" unless some other method is requested. 
     if (!m_callback) { 
      m_callback = &SomeOtherClass::DoNormalCallback; 
     } 
    } 

    void DoStuff() { 
     (m_object->*m_callback)(); 
    } 
}; 

Answer 2

Si NULL se define como ((void*)0), puede recibir una advertencia. Los punteros a objetos no son compatibles con los punteros de función. Use un simple 0 en lugar de NULL. 0 es una constante de puntero nulo compatible con puntero de función y tipos de puntero de objeto.

EDIT Disculpa, no estaba prestando la debida atención. Aquí hay un puntero a la función , no solo un puntero a la función. Comparar uno con ((void*)0) también es contrario a las reglas, y muchos compiladores emitirán errores, no solo advertencias, en esto.

EDIT 2 A todos los que comentaron: Sé que un compilador de C++ conforme no definirá NULL como ((void*)0). El problema es que existen compiladores no conformes y bibliotecas de terceros rotas (he visto ambas).

Answer 3

if (m_callback) como se sugiere por André Caron obras, pero nunca he sido un fan de conversiones implícitas a Bools y prefieren utilizar un operador que evalúa a bool. Es un poco prolijo, pero esto funciona:

if (static_cast<void (SomeOtherClass::*)()>(NULL)==m_callback) 
    m_object->DoNormalCallback(); 
} else { 
    (m_object->*m_callback)(); 
} 

Aún no sabe por qué la versión de GCC NDK necesita el reparto.

Answer 4

Pruebe a desactivar la advertencia con -Wno-conversion-null.

Answer 5

Antes de C++ 11, el resultado de comparar puntero-a-miembro contra '0' no está definido.

En C++ 11, es legítimo comparar puntero a miembro contra el nuevo C++ 11 palabras clave 'nullptr'