Tại sao bạn không thể lấy con trỏ tới thành viên từ tên hàm thành viên không đủ tiêu chuẩn trong C++ 11?

Question

Các mã sau đây:

struct X 
{ 
    void f() {} 

    void g() 
    { 
     auto h = &f; 
    } 
}; 

kết quả trong:

error: ISO C++ forbids taking the address of an unqualified 
or parenthesized non-static member function to form a pointer 
to member function. Say ‘&X::f’ 

Câu hỏi của tôi là, tại sao được này không được phép và bị cấm theo tiêu chuẩn? Nó sẽ thuận tiện hơn khi người dùng tham chiếu đến nó không đủ tiêu chuẩn, vì vậy tôi cho rằng có một số lý do khác (an toàn? Một sự mơ hồ? Dễ thực hiện trình biên dịch?) Cho yêu cầu?

Answer 1

con trỏ thành viên đủ hiếm để cho phép điều trị đặc biệt và không nhất thiết là điều trị kinh tế nhất. Nó đã được quyết định rằng hình thức chấp nhận duy nhất là một trong những trích dẫn trong thông báo lỗi. Hình thức đó không đụng độ với bất cứ điều gì khác trong bất kỳ trường hợp nào. Và ngăn ngừa sự mơ hồ của các hình thức lỏng lẻo hơn được cho phép.

Thực hành cho thấy ít nhận thức về PTMF và thực tế về cơ bản chúng khác với chức năng. f hoặc & f có khả năng là một yêu cầu cho một chức năng bình thường. Một cái không thể được phục vụ cho một thành viên không phải là thành viên. Và những người thực sự có nghĩa là PTMF nói thêm phần & X ::.

Answer 2

Bạn đang dùng địa chỉ của hàm thành viên, không phải chức năng và điều đó có nghĩa là bạn cũng sẽ phải gọi hàm đó theo cách khác.

struct X 
{ 
    void f() {} 

    void g() 
    { 
     auto h = &X::f; 
     h(); 
    } 
}; 

Tạo:

 
error: must use ‘.*’ or ‘->*’ to call pointer-to-member function in ‘h (...)’, e.g. ‘(... ->* h) (...)’