Chuyển đổi thành viên dữ liệu để làm mất hiệu lực *

Question

Tôi biết rằng tôi có thể có được một con trỏ tới thành viên dữ liệu cho một lớp học hoặc struct nhưng dòng cuối cùng của đoạn mã sau thất bại trong việc biên dịch:

struct abc 
{ 
    int a; 
    int b; 
    char c; 
}; 

int main() 
{ 
    typedef struct abc abc; 
    char abc::*ptt1 = &abc::c; 
    void *another_ptr = (void*)ptt1; 
} 

tại sao có thể không Tôi chuyển đổi ptt1 để another_ptr? Chúng ta đang nói về con trỏ vì vậy một con trỏ nên có một chiều hướng tương tự như nhau (mặc dù khái niệm khác nhau)

Answer 1

Một con trỏ để không tĩnh thành viên lớp loại là không giống như một đối tượng con trỏ kiểu; chúng cư xử rất khác nhau. Trong thực tế, bạn thậm chí không thể dereference một con trỏ đến thành viên với *. Để truy cập một thành viên thông qua một con trỏ tới thành viên, thay vào đó bạn sử dụng các toán tử .* và ->*. Nếu bạn có thể truyền nó vào một loại con trỏ đối tượng như thế này, điều gì sẽ xảy ra, sau đó, nếu bạn bỏ qua nó với *?

Chỉ phản đối loại con trỏ có một chuyển đổi tiêu chuẩn để void* (§4.10):

Một prvalue kiểu "con trỏ đến cvT", nơi T là một loại đối tượng, có thể được chuyển đổi sang một giá trị của loại "con trỏ đến cvvoid".

Họ đang rất khác nhau mà tiêu chuẩn thậm chí đi ra khỏi con đường của mình để đảm bảo rằng thuật ngữ "con trỏ" không bao gồm các con trỏ tới các thành viên không tĩnh (§3.9.2):

Ngoại trừ các con trỏ tới các thành viên tĩnh, văn bản đề cập đến "con trỏ" không áp dụng cho con trỏ đến các thành viên.

Answer 2

Bạn đang cố gắng làm điều gì đó như thế này?

struct ABC 
{ 
    int a; 
    int b; 
    char c; 
}; 

int main() 
{ 
    ABC abc; 
    char *ptt1 = &abc.c; 
    void *another_ptr = (void*)ptt1; 
} 

Answer 3

Lý do chính là vì không có yêu cầu rằng một con trỏ tới thành viên có quy mô và trình bày tương tự như một con trỏ đến dữ liệu. Trong thực tế, thật khó để tưởng tượng một con trỏ cho một thành viên dữ liệu không thể phù hợp với void*, vì một con trỏ tới thành viên dữ liệu thực sự chỉ cần chứa khoản bù . Nói chung, con trỏ tới thành viên dữ liệu sẽ là không bao giờ cần lớn hơn size_t và void* phải là ít nhất là lớn nhất là size_t. Mặt khác, nó có thể dễ dàng chứa các mẫu bit không hợp pháp trong một con trỏ. Thực tế, như Steve Jessop chỉ ra, con trỏ tới thành viên yêu cầu thông tin bổ sung, vì thành viên nằm trong một cơ sở ảo, bù đắp của nó phụ thuộc vào lớp dẫn xuất nhất và phải được tính toán động, dựa trên thông tin bổ sung trong con trỏ.

Thông thường, void* chỉ có thể chứa con trỏ đến dữ liệu. Nó phải lớn bằng con trỏ dữ liệu lớn nhất (thường là a char*), nhưng con trỏ đến hàm và con trỏ thành viên có thể lớn hơn và không vừa (và trỏ đến hàm thành viên gần như không bao giờ khớp).