Spécialisation du modèle de fonction membre après l'erreur d'instanciation et l'ordre des fonctions membres

Le code suivant ne compile sur gcc 4.5.3

struct Frobnigator
{
    template<typename T>
    void foo();

    template<typename T>
    void bar(); 
};

template<typename T>
void Frobnigator::bar()
{
}

template<typename T>
void Frobnigator::foo()
{
    bar<T>();
}

template<>      //error
void Frobnigator::foo<bool>()
{
    bar<bool>();
}

template<>
void Frobnigator::bar<bool>()
{
}

int main()
{
}

Message d'erreur: specialization of ‘void Frobnigator::bar() [with T = bool]’ after instantiation. J'ai enfin résolu ce problème en ayant la spécialisation de Frobnigator::bar<bool>() comparaître devant Frobnigator::foo<bool>(). Clairement l'ordre dans lequel les méthodes apparaissent question.

Pourquoi, alors, est la suivante lite version du code ci-dessus, dans lequel la spécialisation de bar apparaît après la version générique, valable ?

struct Frobnigator
{
    template<typename T>
    void foo();
};

template<typename T>
void Frobnigator::bar()
{
}

template<>
void Frobnigator::bar<bool>()
{
}

int main()
{
}

source d'informationauteur Olumide | 2014-01-14

  1. 21

    Votre premier code n'est pas correct par la norme.

    n3376 l'article 14.7.3/6

    Si un modèle, un membre de modèle ou d'un membre d'une catégorie de modèle est explicitement spécialisés alors que spécialisation doit être déclarée avant la première utilisation de cette spécialisation qui serait la cause d'une instanciation implicite
    lieu    , dans chaque unité de traduction dans lequel une telle utilisation se produit; aucun diagnostic n'est requis.

    Dans votre cas implicite de l'instanciation de bar fonction de type bool est tenu par son utilisation dans foo<bool>avant de spécialisation explicite déclaration.

  2. 2

    Clairement l'ordre dans lequel les méthodes apparaissent question.

    En effet; comme c'est généralement le cas en C++, vous ne pouvez pas utiliser quelque chose avant qu'il soit déclaré, et cela s'applique à l'explicite modèle de spécialisation, ainsi que la plupart des autres choses.

    À l'aide de bar<bool> (en appelant à partir de foo<bool>) sans qu'une déclaration explicite de la spécialisation des causes qui spécialisation pour être instancié à partir du modèle générique, si elle n'a pas déjà été. Vous aurez besoin d'au moins une déclaration explicite de spécialisation pour l'en empêcher.

    Pourquoi est-ce le cas, en considérant que la spécialisation de la barre s'affiche après le générique de la version dans la suite de la version lite de le code ci-dessus

    Le deuxième exemple se distingue pas par l'instanciation de foo<bool> à tous. Le problème n'est pas que la spécialisation est déclaré après le modèle générique (qui doit être le cas), mais qu'il est déclaré, après que la spécialisation a déjà été instancié.