O sizeof z funkcji członka klasy wskaźnik

Question

Załóżmy, że mamy klasy A

class A; 

i te typedefs

typedef void (A::*a_func_ptr)(void); 
typedef void (*func_ptr)(void); 

Moje pytanie brzmi dlaczego sizeof (a_func_ptr) zwraca 16, podczas gdy sizeof (func_ptr) zwraca 4 (jak w przypadku dowolnego wskaźnika w systemie x86)?

Na przykład

int main(int argc, char *argv[]) 
{ 
    int a = sizeof(a_func_ptr); 
    int b = sizeof(func_ptr); 
} 

Answer 1

Moje pytanie brzmi dlaczego sizeof (a_func_ptr) zwraca 16, podczas gdy sizeof (func_ptr) zwraca 4 (podobnie jak w przypadku wskaźnika w systemie x86)?

Ponieważ wskaźniki do członków są realizowane inaczej. One są nie wskaźników pod maską. Niektóre kompilatory, takie jak MSVC, implementują je jako struct z więcej niż jednym elementem.

Przeczytaj ciekawy artykuł:

• Pointers to member functions are very strange animals

Należy zauważyć, że w niektórych kompilatorów, mogą mieć taki sam rozmiar. Najważniejsze jest to, że są zależne od kompilatora.

Answer 2

Funkcja klasy "wskaźnik do członka" nie zawiera "dokładnego adresu", jak ma to miejsce w przypadku zwykłego wskaźnika. Przechowuje więcej informacji niż zwykły wskaźnik funkcji.

Tak więc, gdy używasz sizeof do zmierzenia rozmiaru funkcji wskaźnika do elementu klasy, nie powinieneś oczekiwać, że będzie on miał taki sam rozmiar jak zwykły wskaźnik funkcji.

Answer 3

Chociaż wskaźników funkcji w C i C++ mogą być realizowane jako proste adresów, tak że zwykle sizeof (Fx) == sizeof (void *), członek wskaźniki w C++ są często realizowane jako "wskaźniki Tłuszcz" zwykle dwa lub trzykrotność wielkości prostego wskaźnika funkcji w celu obsłużenia z dziedzicznym dziedziczeniem.

Źródło: Wikipedia

Ten SO answer offers additional information.

Answer 4

Powiązane pytanie jest omawiane tutaj: Is the sizeof(some pointer) always equal to four?

zobacz: Pointers to member functions are very strange animals uzyskania dalszych informacji.

Answer 5

Wskaźniki do funkcji członków mogą być strukturą danych wskazaną w C++ FAQ here. Również Pointers to member functions are very strange animals oferuje przykład tego, jak jest on zaimplementowany dla Visual C++.

Answer 6

Rozważmy następujący:

#include <iostream> 

class A { 
public: 
    virtual void foo(){ std::cout << "A::foo" << std::endl; } 
    void bar(){ std::cout << "A::bar" << std::endl; } 
}; 

class B : public A { 
public: 
    void foo(){ std::cout << "B::foo" << std::endl; } 
    void bar(){ std::cout << "B::bar" << std::endl; } 
}; 

int main() { 
    a_func_ptr f = &A::foo; 
    a_func_ptr g = &A::bar; 
    B b; 
    A a; 
    (b.*f)(); 
    (b.*g)(); 
    (a.*f)(); 
    (a.*g)(); 
} 

wyjściowa:

B::foo 
A::bar 
A::foo 
A::bar 

Oba wskaźniki są członkami tego samego typu, ale zarówno prawidłowo kierowane połączenia w każdych przypadkach.

Jakoś wygenerowany programem musi wiedzieć gdy wskaźnik do metody jest rzeczywiście prosta metoda lub wirtualny. Zatem reprezentacja środowiska wykonawczego wskaźnika metody musi zawierać więcej informacji, aby obsłużyć drugi przypadek.

_{Uwaga: rozmiar wydaje się zależny od implementacji (otrzymuję 8 w moim systemie).}