В нашем печально известном litb есть интересная статья о том, как обойти проверка доступа.
Это полностью демонстрируется этим простым кодом:
#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;
}
Который компилируется и запускается (выход 42) с gcc 4.3.4, gcc 4.5.1, gcc 4.7.0 (см. комментарий пользователя 1131467) и компилируется с Clang 3.0 и Comeau C/C++ 4.3.10.1 в C++ 03 строгий режим и MSVC 2005.
Меня спросил Лучиан в этот ответ, в котором я использовал его, чтобы доказать, что это действительно законно. Я согласен с Лучианом в том, что это странно, однако и Clang, и Comeau являются близкими претендентами на звание наиболее доступных «стандартных» компиляторов (гораздо больше, чем MSVC по умолчанию)...
И я не смог ничего найти в черновиках стандартов, которые у меня есть (n3337 — последняя версия, которую я получил).
Итак... может ли кто-нибудь на самом деле обосновать, что это законно или нет?
