Về sizeof của một hàm thành viên lớp con trỏ

Question

Hãy nói rằng chúng tôi có một lớp Một

class A; 

và những typedefs

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

Câu hỏi của tôi là lý do tại sao sizeof (a_func_ptr) trả về 16, trong khi sizeof (func_ptr) trả về 4 (như đối với bất kỳ con trỏ nào trên hệ thống x86)?

Ví dụ

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

Answer 1

Câu hỏi của tôi là lý do tại sao sizeof (a_func_ptr) trả về 16, trong khi sizeof (func_ptr) trả về 4 (như đối với bất kỳ con trỏ trên hệ thống x86)?

Vì con trỏ đến thành viên được triển khai khác nhau. Chúng là không phải con trỏ dưới mui xe. Một số trình biên dịch, chẳng hạn như MSVC, triển khai chúng dưới dạng struct với nhiều thành viên trong đó.

Đọc bài viết thú vị này:

• Pointers to member functions are very strange animals

Lưu ý rằng trong một số trình biên dịch, họ có thể có cùng một kích thước. Điểm mấu chốt là: chúng phụ thuộc vào trình biên dịch.

Answer 2

Hàm con trỏ thành viên của lớp không giữ "địa chỉ chính xác" như con trỏ thông thường. Nó lưu trữ nhiều thông tin hơn con trỏ hàm thông thường.

Vì vậy, khi bạn sử dụng sizeof để đo kích thước của hàm trỏ đến thành viên của một lớp, bạn không nên mong đợi rằng nó sẽ có cùng kích thước với con trỏ hàm thông thường.

Answer 3

Mặc dù con trỏ hàm trong C và C++ có thể được thực hiện như địa chỉ đơn giản, do đó thường sizeof (Fx) == sizeof (void *), thành viên con trỏ trong C++ thường được thực hiện như "con trỏ chất béo", thường là hai hoặc ba lần kích thước của một con trỏ hàm đơn giản, để xử lý với thừa kế ảo.

Nguồn: Wikipedia

SO answer offers additional information này.

Answer 4

Một câu hỏi có liên quan sẽ được thảo luận ở đây: Is the sizeof(some pointer) always equal to four?

Xem: Pointers to member functions are very strange animals cho thêm thông tin.

Answer 5

Con trỏ đến các hàm thành viên có thể là cấu trúc dữ liệu như được chỉ ra trong Câu hỏi thường gặp C++ here. Ngoài ra Pointers to member functions are very strange animals cung cấp một ví dụ về cách nó được thực hiện cho Visual C++.

Answer 6

xem xét như sau:

#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)(); 
} 

Output:

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

Cả hai con trỏ thành viên là cùng loại, nhưng cả hai chuyển một cách chính xác các cuộc gọi trong mọi trường hợp.

Bằng cách nào đó, chương trình được tạo ra phải biết khi một con trỏ đến phương pháp thực sự là một phương pháp đơn giản hoặc một ảo một. Do đó, biểu diễn thời gian chạy của một con trỏ phương thức phải bao gồm nhiều thông tin hơn để xử lý trường hợp thứ hai.

_{Lưu ý: kích thước dường như phụ thuộc vào việc triển khai (tôi nhận được 8 trên hệ thống của mình).}