C++ spécialisation partielle de modèle de modèle

Question

Je veux passer une spécialisation de modèle partiel à un paramètre de modèle de modèle mais je reçois une erreur. Je ne suis pas sûr exactement pourquoi cela ne fonctionne pas.

template class V, typename T, int N, int... Indexes>
class Swizzle
{
    // ...
};

template
struct Vector;

template
struct Vector
{
    // ...

    union
    {
        // ...
        Swizzle xxx;
    };
};

Erreur:

'Vector' : argument de modèle invalide pour le paramètre de modèle 'V', un modèle de classe 'Swizzle' est attendu : l'utilisation d'un modèle de classe exige une liste d'arguments de modèle

Le problème apparaît uniquement sur MSVC

Answer 1

Au sein du modèle de classe Vector, Vector fait référence à la fois au type de cette instance du modèle et au modèle lui-même.

Ceci devrait compiler:

template
using Self = Vector;
// ...

union
{
    // ...
    Swizzle xxx;
};

Je soupçonne que MSVC se trompe ici, mais j'en suis incertain.

Answer 2

Au sein de la classe avec injection de nom de classe, Vector peut se référer à la fois au type de cette instance du modèle et au modèle lui-même.

Dans les cas suivants, le nom de classe injecté est traité comme un nom de modèle du modèle de classe lui-même :

[..]

• il est utilisé en tant qu'argument de modèle qui correspond à un paramètre de modèle de modèle

Donc, Msvc est incorrect ici.

Contournement possible :

Swizzle<::Vector, T, 3, 0, 0, 0> xxx;

Démo