È valido C++ 11

Question

Ho il seguente codice che compila sotto g ++, ma non con clang.

Clang compilerà il codice se modificato in vari modi minori, come l'unione delle 2 dichiarazioni di namespace.

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

Per compilare con clang:

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

Per compilare con g ++:

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

versioni sono g ++ 4.9.2, clang 3.6.0, sia sul nucleo Ubuntu 15.04.

Clang dà il messaggio di errore:

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

Credo che questo sia un bug clang. Da [temp.param], abbiamo:

Se una dichiarazione di amico modello di funzione specifica un default modello-argomentazione, tale dichiarazione deve essere una definizione e sarà l'unica dichiarazione del modello funzione l'unità di traduzione.

L'insieme di predefiniti template-argomenti disponibili per l'uso è ottenuta fondendo i parametri predefiniti da tutte le dichiarazioni precedenti del modello in argomenti stesso modo della funzione predefinita sono (8.3.6).

Quest'ultimo punto significa che possiamo scrivere:

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

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

h<int>(); 

E questo è perfettamente formata codice che Clang compilazioni. Non Noi in grado di specificare il modello-argomento di default per g basato sullo stato citato, come g è dichiarato in precedenza, ma non specificando che dovrebbe ancora mantenere Defaulted disponibili per l'uso come void attraverso il passo di unione. Se l'argomento predefinito è disponibile, la ricerca dovrebbe essere in grado di trovare lo g che vogliamo.

Una soluzione potrebbe essere quella di semplice amico specializzazione ci sta a cuore:

friend bool g<>(MyClass value);