Czy to jest prawidłowy C++ 11

Question

Mam następujący kod, który kompiluje się pod g ++, ale nie z clang.

Clang skompiluje kod, jeśli zostanie zmieniony na różne drobne sposoby, na przykład scalenie 2 deklaracji przestrzeni nazw.

// The problem disappears without namespaces. 
namespace Root { 
    // The problem disappears if 'g' is in the global namespace, and we change 
    // the friend declaration to '::g' 

    // The problem disappears if 'g' has void return type. 

    // The problem disappears if we get rid of the 'Value' template argument 
    // and the 'value' parameter. 
    template<typename Value, typename Defaulted = void> 
    bool g(Value value); 

    // The problem disappears if MyClass is not a template. 
    template<typename ClassValue> 
    class MyClass { 
    private: 
     template<typename Value, typename Defaulted> 
     friend bool g(Value value); 
    }; 
} 

// The problem disappears if we declare the Root namespace in a single block 
// containing 'g', 'MyClass' and 'f'. 

// The problem remains if we declare f in the global namespace and reference 
// Root::g. 
namespace Root { 
    void f() { 
     MyClass<int> value; 

     g(value); 
    } 
} 

Kompilacja z brzękiem:

clang -fsyntax-only -std=c++11 testcase.cpp 

Aby podczas kompilacji g ++

g++ -fsyntax-only -std=c++11 testcase.cpp 

są wersje g ++ 4.9.2, 3.6.0 szczęk, zarówno w rdzeniu Ubuntu 15,04.

Clang daje komunikat o błędzie:

testcase.cpp:24:9: error: no matching function for call to 'g' 
     g(value); 
     ^
testcase.cpp:14:21: note: candidate template ignored: couldn't infer template argument 'Defaulted' 
     friend bool g(Value value); 
       ^
1 error generated. 

Answer 1

Wierzę, że to jest błąd, dzyń. Od [temp.param], mamy:

Jeżeli deklaracja szablon funkcja przyjaciel określa domyślny Template-argumentu, że deklaracja powinna być definicja i będzie tylko deklaracja szablonu funkcji w jednostka tłumaczeniowa.

Zestaw domyślnych Template-argumentów dostępnych do użytku uzyskuje się poprzez połączenie domyślne argumenty z wszystkie wcześniejsze deklaracje szablonu w argumentach sama domyślny sposób funkcyjnych są (8.3.6).

Ten ostatni punkt oznacza, że ​​możemy napisać:

template <typename T, typename U=int> 
void h(); 

template <typename T, typename U> 
void h() { } 

h<int>(); 

I to jest kod, który doskonale Clang kompiluje utworzone. Mamy nie można określić domyślny szablon-argument g oparciu o reguły cytowany jako g uprzednio zadeklarowana, ale nie określając go nadal powinien zachować Defaulted dostępne do wykorzystania jako void poprzez etap scalania. Jeśli argument domyślny jest dostępny, wówczas wyszukiwanie powinno być w stanie znaleźć wymagane przez nas g.

Rozwiązaniem byłoby po prostu przyjaciela specjalizacja dbamy o:

friend bool g<>(MyClass value);