con trỏ tới hàm thành viên const typedef

Question

Tôi biết nó có thể tách rời để tạo ra một con trỏ tới hàm thành viên như thế này

struct K { void func() {} }; 
typedef void FuncType(); 
typedef FuncType K::* MemFuncType; 
MemFuncType pF = &K::func; 

Có cách tương tự để xây dựng một con trỏ tới một hàm const? Tôi đã thử thêm const ở những nơi khác nhau mà không thành công. Tôi đã chơi xung quanh với gcc số và nếu bạn làm mẫu trích trên một cái gì đó giống như

template <typename Sig, typename Klass> 
void deduce(Sig Klass::*); 

Nó sẽ hiển thị Sig với như một chữ ký chức năng với const chỉ tacked ở cuối dòng. Nếu để làm điều này trong mã nó sẽ khiếu nại rằng bạn không thể có vòng loại trên một loại chức năng. Có vẻ như nó sẽ có thể bằng cách nào đó bởi vì việc khấu trừ hoạt động.

Answer 1

Bạn muốn điều này:

typedef void (K::*MemFuncType)() const; 

Nếu bạn muốn vẫn căn MemFuncType trên FuncType, bạn cần thay đổi FuncType:

typedef void FuncType() const; 
typedef FuncType K::* MemFuncType; 

Answer 2

Một sự tinh tế nhẹ cho thấy làm thế nào để làm điều đó mà không có một typedef. Trong một bối cảnh suy luận như sau, bạn không thể sử dụng typedef.

template <typename Class, typename Field> 
Field extract_field(const Class& obj, Field (Class::*getter)() const) 
{ 
    return (obj.*getter)(); 
} 

áp dụng cho một số lớp học với một getter const:

class Foo { 
public: 
    int get_int() const; 
}; 

Foo obj; 
int sz = extract_field(obj, &Foo::get_int);