实例化错误后成员函数模板的特化，以及成员函数的顺序

Question

以下代码在 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()
{
}

错误消息：specialization of ‘void Frobnigator::bar() [with T = bool]’ after instantiation。我终于通过将Frobnigator::bar<bool>() 的特化出现在Frobnigator::foo<bool>() 之前解决了这个问题。显然，方法出现的顺序很重要。

那么为什么上面代码的以下精简版，其中bar的特化出现在通用版本之后，有效？

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

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

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

int main()
{
}

Answer 1

您的第一个代码按标准不正确。

n3376 14.7.3/6

如果模板、成员模板或类模板的成员是显式特化的，则应在第一次使用会导致隐式实例化的特化之前声明该特化 在发生这种使用的每个翻译单元中发生；不需要诊断。

在您的情况下 - 在显式特化声明之前，bar 类型为 bool 的函数的隐式实例化需要在 foo<bool> 中使用。

Answer 2

显然，方法出现的顺序很重要。

确实；与 C++ 中的常见情况一样，您不能在声明之前使用某些东西，这适用于显式模板特化以及大多数其他东西。

使用bar<bool>（通过从foo<bool> 调用它）而不事先声明显式特化会导致从通用模板实例化该特化（如果尚未实例化）。您至少需要一个显式特化声明来防止这种情况发生。

为什么会这样，考虑到上面代码的以下精简版中，bar的特化出现在通用版本之后

第二个示例的不同之处在于根本不实例化foo<bool>。问题不在于特化是在泛型模板之后声明的（必须如此），而是它是在该特化已经实例化之后声明的。