Rôle des paramètres par défaut des modèles dans la résolution des surcharges des modèles de classes (partiellement spécialisées)

Question

Cette réponse explique le comportement du programme suivant :

template<typename A, typename B = int >
struct FirstWins {
    static constexpr int i = 1;
};
template<typename A>
struct FirstWins<A, float/* anything different from int */ > {
    static constexpr int i = 2;
};

template<typename A, typename B = int >
struct SecondWins {
    static constexpr int i = 1;
};
template<typename A>
struct SecondWins<A, int > {
    static constexpr int i = 2;
};

int main()
{
    typedef void Whatever_t;
    cout << FirstWins < Whatever_t >::i << endl;  // prints 1
    cout << SecondWins< Whatever_t >::i << endl;  // prints 2
    return 0;
}

Cependant, je ne trouve pas de référence réelle décrivant explicitement ce comportement et confirmant ainsi la réponse.

Je n'ai pas pu trouver sur cppreference.com une phrase confirmant que les arguments explicites des modèles sont préférés aux arguments par défaut.

Je soupçonne que ce n'est pas vraiment la règle. La règle est que chaque fois qu'il y a une spécialisation partielle du modèle correspondant aux arguments du modèle, cette spécialisation est toujours choisie par rapport à l'instanciation du modèle primaire. Est-ce correct ? (dans ce cas, les docs expliquent d'une manière ou d'une autre cette règle, mais là encore pas de manière explicite).

Answer 1

template<typename A, typename B = int >
struct S {
//...
};

Peut être considéré comme

template<typename A, typename B = int >
struct S;
// So S<A> is S<A, int>

// Primary template
template<typename A, typename B>
struct S
{
   //...
};

// Possible specialization as
template<typename A>
struct S<A, int>
{
   //...
};

alors, il est plus clair quelle instanciation utiliser.