Funkcja szablonu członka klasy A zadeklarowana jako przyjaciel w klasie B nie może uzyskać dostępu do prywatnych członków klasy A (tylko Clang)

Question

Proszę spojrzeć na ten fragment kodu. Wiem, że to nie ma sensu, to tylko w celu zilustrowania problemu jestem napotykają:

#include <iostream> 
using namespace std; 

struct tBar 
{ 
    template <typename T> 
    void PrintDataAndAddress(const T& thing) 
    { 
     cout << thing.mData; 
     PrintAddress<T>(thing); 
    } 

private: 
    // friend struct tFoo; // fixes the compilation error 

    template <typename T> 
    void PrintAddress(const T& thing) 
    { 
     cout << " - " << &thing << endl; 
    } 
}; 

struct tFoo 
{ 
    friend void tBar::PrintDataAndAddress<tFoo>(const tFoo&); 
    private: 

    int mData = 42; 
}; 

struct tWidget 
{ 
    int mData = 666; 
}; 

int main() 
{ 
    tBar bar; 
    bar.PrintDataAndAddress(tWidget()); // Fine 

    bar.PrintDataAndAddress(tFoo()); // Compilation error 

    return 0; 
} 

Powyższy kod powoduje następujący błąd:

source_file.cpp:10:3: error: 'PrintAddress' is a private member of 'tBar' PrintAddress(thing); source_file.cpp:42:6: note: in instantiation of function template >specialization 'tBar::PrintDataAndAddress' requested here bar.PrintDataAndAddress(tFoo()); // Compilation error source_file.cpp:17:7: note: declared private here void PrintAddress(const T& thing)

ale tylko w Clang ++. GCC i MSVC są w porządku z nim (można szybko sprawdzić, wklejając ten kod w http://rextester.com/l/cpp_online_compiler_clang)

Wydaje się jakby tBar::PrintDataAndAddress<tFoo>(const tFoo&) wykorzystuje taki sam dostęp jak tFoo, gdzie jest zaprzyjaźniony. Wiem o tym, ponieważ zaprzyjaźnienie się z tFoo w rozwiązuje ten problem. Problem również ustępuje, jeśli tBar::PrintDataAndAddress jest funkcją inną niż szablonowa.

Nie znalazłem w standardzie żadnych informacji wyjaśniających to zachowanie. Wierzę, że może to być zła interpretacja 14.6.5 - temp.inject, ale nie mogę twierdzić, że przeczytałem to wszystko.

Czy ktoś wie, czy Clang ma rację nie skompilować powyższy kod? Czy możesz podać odpowiedni tekst standardowy C++, jeśli tak jest?

Wygląda na to, że aby ten problem mógł się pojawić, dostęp do prywatnego elementu musi być funkcją szablonu. np. w powyższym przykładzie, jeśli stwierdzisz, że PrintAddress jest funkcją inną niż szablon, kod skompiluje się bez błędów.

Answer 1

spróbuj dodać tę funkcję przed znajomego

template <typename tFoo> 

Answer 2

zmuszając kompilator instancji tBar::PrintDataAndAddress<tFoo> przed użyciem to rozwiązuje problem.

int main() 
{ 
    tBar bar; 
    bar.PrintDataAndAddress(tWidget()); // Fine 

    auto x = &tBar::PrintDataAndAddress<tFoo>; // <= make it work.... 

    bar.PrintDataAndAddress(tFoo()); // Now fine 

    return 0; 
} 

Wydaje się być promlem kompilator, jak to wygląda dość podobnie do tego:

In C++, why isn't it possible to friend a template class member function using the template type of another class?

Aby być trochę bardziej precyzyjny ... W linii bar.PrintDataAndAddress(tFoo()); kompilator musi instanciate funkcja członkowska tBar::PrintDataAndAddress<tFoo> i jednocześnie musi rozwiązać deklarację przyjaciela. To są wewnętrzne dwa osobne kroki. Wygląda na to, że kompilator nie robi tego w porządkowej kolejności, gdy jest napisany w jednym wyrażeniu. Aby zmusić kompilator do utworzenia egzemplarza bar.PrintDataAndAddress(tFoo()) najpierw przez dostęp do wskaźnika funkcji, te dwa kroki są we właściwej kolejności.