訪問私有成員模板招

Question

從博客文章Access to private members: Safer nastiness通過Johannes Schaub - litb：

template<typename Tag, typename Tag::type M> 
struct Rob { 
    friend typename Tag::type get(Tag) { 
    return M; 
    } 
}; 

// use 
struct A { 
    A(int a):a(a) { } 
private: 
    int a; 
}; 

// tag used to access A::a 
struct A_f { 
    typedef int A::*type; 
    friend type get(A_f); 
}; 

template struct Rob<A_f, &A::a>; 

int main() { 
    A a(42); 
    std::cout << "proof: " << a.*get(A_f()) << std::endl; 
} 

如何get功能，可從a對象，因爲它不是內class A定義打電話？

編輯：

我不明白爲什麼要必須有標籤的參數，而不是a.*get<A_f>() => OK它是由於ADL機制

Answer 1

你是不是叫從aget！實際上得到的回報是指向A中的成員的類指針，其類型爲int A::*，因此您需要使用A的實例來訪問該值。

例如讓我用一下你的代碼：

struct A { 
    A(int a):a(a) { } 
    int b; 
private: 
    int a; 
}; 
void test() { 
    auto p = &A::b; 
    std::cout << a.*p << std::endl; 
} 

難道我叫p從內a？ a沒有p，這正是您的代碼中發生的情況，get函數返回&A::a並且您使用a來讀取它的值！就這樣，沒有什麼是錯的，我認爲它會在所有編譯器中編譯。

這裏的另一個問題是：爲什麼C++允許使用私有成員A來聲明模板。 C++標準說：

14.7.2p8通常的訪問檢查規則並不適用於用來指定明確的實例名稱。 [注意：特別是，功能聲明符中使用的參數和名稱（包括 參數類型，返回類型和異常規範）的模板 可能是 通常不可訪問的私有類型或對象，而模板可能是成員的 模板或將 通常不會訪問成員函數。]

但是，如果你嘗試實例甚至typedef指定的模板，那麼你得到一個錯誤。 讓我們稍微修改一下你的例子：

struct A { 
private: 
    int a; 
    friend void f(); 
}; 

// Explicit instantiation - OK, no access checks 
template struct Rob<A_f, &A::a>; 

// Try to use the type in some way - get an error. 
struct Rob<A_f, &A::a> r;   // error 
typedef struct Rob<A_f, &A::a> R; // error 
void g(struct Rob<A_f, &A::a>);  // error 

// However, it's Ok inside a friend function. 
void f() { 
    Rob<A_f, &A::a> r;    // OK 
    typedef Rob<A_f, &A::a> R;  // OK 
} 

Answer 2

這是合法的，因爲朋友的功能總是在全球範圍，即使你在課堂上實施它們。換句話說，這樣的：

class A 
{ 
    friend void go() {} 
}; 

是這個的快捷方式：

class A 
{ 
    friend void go(); 
}; 

void go() {} 

Answer 3

這是gcc的一個已知的編譯器缺陷，並固定在以後的版本。 見式：

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41437