sintaxis de firma de función de miembro CTY typedef

Question

Quiero declarar la definición de tipo para una firma de función miembro. typedefs función globales se ven así:

typedef int (function_signature)(int, int); 
typedef int (*function_pointer) (int, int); 

pero no soy capaz de lo mismo para una función miembro:

typedef int (foo::memberf_signature)(int, int); // memberf_pointer is not a member of foo 
typedef int (foo::*memberf_pointer)(int, int); 

Suena lógicamente a mí, porque "foo ::" Ist el sintaxis para acceder a un miembro en la clase foo. ¿Cómo puedo tipear solo la firma?

Answer 1

preguntas sobre la sintaxis de puntero de función incómoda, yo personalmente uso una hoja de trucos: The Function Pointers Tutorial (downloadable here, gracias a Vector para señalarlo).

La firma de una función miembro, sin embargo, es un poco diferente de la firma de una función normal, como usted experimentó.

Como probablemente sepa, una función miembro tiene un parámetro oculto, this, cuyo tipo debe especificarse.

typedef int (Foo::*Member)(int, int); 

Qué le permiten especificar que el primer elemento pasa a la función será un Foo* (y por lo tanto su método realmente toma 3 argumentos, cuando se piensa en ella, no sólo 2.

Sin embargo, hay otra razón, por lo que obligó a especificar el tipo.

un puntero de función podría referirse a una función virtual, en el que las cosas de casos pueden llegar a ser muy complicado. por lo tanto, el tamaño de la en-memoria representación cambia dependiendo en el tipo de función. De hecho, en Visual S tudio, el tamaño de un puntero a función puede variar entre 1 y 4 veces el tamaño de un puntero normal. Esto depende de si la función es virtual, en particular.

Por lo tanto, la clase a la que se refiere la función es parte de la firma, y no hay solución alternativa.

Answer 2

La razón por la que no funciona con su sintaxis actual es que la precedencia del operador dicta que se está refiriendo a una función llamada foo::memberf_signature, no a ningún tipo de tipo.

No estoy seguro si puede hacer esto o no, pero no pude encontrar ninguna combinación de parenthese que indujera al código a compilar con g ++ 4.2.

Answer 3

Bueno, básicamente no puede funcionar (al menos no sé de ninguna manera con g ++); Usando el compilador de Borland C++, estaría la palabra clave __closure.

La razón por la que no se compila es que el tamaño de la funciónpointer (en una máquina x86) ocupa siempre < < 32bits >>; pero si desea apuntar a una firma de clase (interfaz), el tamaño debe ser de 64 bits: 32 bits para este puntero (ya que la interfaz de clase está en la memoria solo una vez) y 32 bits para la función real

pero la palabra clave __closure es un lenguaje BCB 'hackear' no estandarizados ...

Answer 4

funciona para mí:

#include <iostream> 

class foo 
    { 
public: 
    int g (int x, int y) { return x + y ; } 
    } ; 

typedef int (foo::*memberf_pointer)(int, int); 

int main() 
    { 
    foo f ; 
    memberf_pointer mp = &foo::g ; 
    std::cout << (f.*mp) (5, 8) << std::endl ; 
    } 

Answer 5

Puede factorizar la clase de destino en C++ moderna (puesto 11) mediante la utilización de la '' typedefing cualidades de alias plantilla. Lo que necesita se vería como:

template<typename T> 
using memberf_pointer = int (T::*)(int, int); 

Sin embargo, en el momento de la declaración, un puntero a la función miembro de la utilización de esta sintaxis sería necesario especificar la clase de destino:

// D is a member function taking (int, int) and returning int 
memberf_pointer<foo> mp = &foo::D;