如何在局部特化模板类中实现完全特化模板成员函数

Question

假设我有一个模板类Foo，具有两个模板参数和一个模板成员函数。

我想在模板类是部分专门化的情况下进行成员函数专门化，但以下代码被g编译失败

    template <typename A, typename B>
    class Foo 
    {
    public:
        template<typename C> void bar();
    };
    
    template<> template<typename T> inline void Foo<T, int>::bar<float>() {
    }
    
    int main()
    {
        Foo<double, int> foo;
        foo.bar<float>();
    
        return 0;
    
    }

G说：

错误：在'

模板

我试过了

template<typename T> template<> inline void Foo<T, int>::bar<float>() {

而g抱怨更多

能不能可能，怎么做？

Answer 1

当你专门化你的类模板时，你已经得到了一个完全独立的专门化类。因此，你必须用函数foo来编写你的类规范。

例子：

template <typename A, typename B>
class Foo 
{
    public:
        template<typename C> void bar() { std::cout << "Generic" << std::endl;}
};

template <typename T>
class Foo<T,int>
{
    public:
        template<typename C> void bar(){ std::cout << "spezialized" << std::endl; }

};

int main()
{
    Foo<double, int> foo;
    foo.bar<float>();

    Foo<double, char> foo2;
    foo2.bar<int>();

    return 0;

}

我相信你会尝试做一些不同的事情：-）

如果您只想在特定的专门化中对成员进行专门化，而在非专门化的情况下，您希望看到类模板的通用功能，那么您可以这样做：

例子：

class Base
{
    public:
    template<typename C> void bar() { std::cout << "Generic" << std::endl;}
    void other() { std::cout << "Other" << std::endl; }
};

template <typename A, typename B>
class Foo: public Base
{
};

template <typename T>
class Foo<T,int>: public Base
{
    public:
        template<typename C> void bar(){ std::cout << "spezialized" << std::endl; }

};

int main()
{
    Foo<double, int> foo;
    foo.bar<float>();
    foo.other();

    Foo<double, char> foo2;
    foo2.bar<int>();
    foo2.other();

    return 0;
}

Answer 2

[温度说明规格]/17：

在类模板的成员或出现在命名空间作用域中的成员模板的显式专门化声明中，该成员模板及其某些封闭类模板可能仍然未被专门化，但如果其封闭类模板也未被显式专门化，则该声明不应显式专门化该类成员模板。在这种明确的专门化声明中，应提供关键字模板和模板参数列表，而不是模板

在类模板的成员或出现在命名空间范围中的成员模板的显式特化声明中，成员模板及其某些封闭类模板可能保持非特化，除非声明不应显式特化类成员模板，如果其封闭类模板也没有显式特化。

对于您的代码：

template<typename A, typename B>
class Foo{
public:
    template<typename C> void bar();
};
    
template<typename T> // for `Foo`
template<>           // for `bar`
inline void Foo<T, int>::bar<float>(){}
    
int main(){
    Foo<double, int> foo;
    foo.bar<float>();
    return 0;
}

它的格式不正确，因为bar是显式专用的，而Foo不是。