Czy wskaźnik do członków może omijać poziom dostępu członka?

Nasz niesławny litb ma ciekawy artykuł na temat jak obejść kontrolę dostępu .

Jest to w pełni zademonstrowane przez ten prosty kod:

#include <iostream>

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;
}

Który kompiluje i uruchamia (wyjście 42) z gcc 4.3.4, gcc 4.5.1, gcc 4.7.0 (zobacz komentarz użytkownika 1131467) i kompiluje z Clang 3.0 i Comeau C / C++ 4.3.10.1 w C++03 strict mode i MSVC 2005.

Zostałem zapytany przez Luchiana o tę odpowiedź , w której użyłem jej do uzasadnienia że to było legalne. Zgadzam się z Luchianem, że to dziwne, jednak zarówno Clang, jak i Comeau są bliskimi pretendentami do większości dostępnych" standardowych " kompilatorów (znacznie bardziej niż domyślnie MSVC)...

I nie mogłem znaleźć niczego w projektach standardów, które mam dostępne(n3337 jest ostatnią wersją, którą dostałem w ręce).