Il puntatore ai membri elude il livello di accesso di un membro?

Question

Il nostro famigerato litb ha un interessante articolo su how to circumvent the access check.

E 'pienamente dimostrato da questo semplice codice:

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

che riunisce e piste (in uscita) con 42gcc 4.3.4, gcc 4.5.1, gcc 4.7.0 (vedi il commento di user1131467) e compila con Clang 3.0 e Comeau C/C++ 4.3.10.1 in C++ 03 rigorosa modalità e MSVC 2005.

mi è stato chiesto da Luchian su this answer in cui ho usato per giustificare il fatto che in realtà era legale. Sono d'accordo con Luchian che è strano, tuttavia sia Clang che Comeau sono contendenti per i compilatori più "Standard" disponibili (molto più di MSVC di default) ...

E non ho trovato nulla nelle bozze degli standard che ho a disposizione (n3337 è l'ultima versione su cui ho messo le mani).

Quindi ... qualcuno può effettivamente giustificare che sia legale o non?

Answer 1

Sì, è legale. Il testo in questione è a §14.7.2/12, si parla di esplicito modello di istanza:

12 Il solito regole di accesso di controllo non si applicano ai nomi utilizzati per specificare istanze esplicite. [Nota: In particolare, gli argomenti del modello e i nomi utilizzati nel dichiaratore di funzioni (inclusi tipi di parametri, tipi di ritorno e specifiche di eccezione) possono essere tipi o oggetti privati ​​che normalmente non sarebbero accessibili e il modello potrebbe essere un modello membro o funzione membro che normalmente non sarebbe accessibile. - end note]

Emhpasis mio.

Answer 2

Il codice è chiaramente illegale (e richiede una diagnostica in fase di compilazione). Nella linea:

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

l'espressione A::a accede a un membro privato di A.

lo standard è molto chiaro su questo: Controllo “ accesso è applicata uniformemente a tutti nomi, se i nomi sono indicati da dichiarazioni o espressioni. “ (§11/4, corsivo aggiunto). Poiché a è un nome privato in A, qualsiasi riferimento ad esso esterno a A è illegale.