特定成员函数的部分专业化

Question

#include <iostream>

template <typename T1, typename T2>
class B{
public:
    void update(){ std::cerr<<__PRETTY_FUNCTION__<<std::endl; }
    void func1(){ std::cerr<<__PRETTY_FUNCTION__<<std::endl; }
    void func2(){ std::cerr<<__PRETTY_FUNCTION__<<std::endl; }
};

template <typename T1>
class B<T1, int>{
public:
    void update(){ std::cerr<<__PRETTY_FUNCTION__<<"(specialization)"<<std::endl;}
};

int main(){
    B<int, double> b1;
    b1.update();
    b1.func1();
    B<int, int> b2;
    b2.update();
    //b2.func1();//there's no function 'func1' in B<int,int>
}

我想针对特定模板参数（数据类型）专门化 update 函数。

所以我尝试专门化 template class B 但似乎我必须再次实现整个成员函数。

因为专业之间的其他成员完全相同，重新实现整个成员看起来很麻烦。

这种情况有什么解决方法吗？

Answer 1

标记-将调用分派给 update:

template <typename> struct tag {};

template <typename T1, typename T2>
class B
{
public:
    void update()
    {
        return update(tag<B>());
    }

private:
    template <typename U1>
    void update(tag<B<U1, int> >)
    {
        // specialization
    }

    template <typename U1, typename U2>
    void update(tag<B<U1, U2> >)
    {
        // normal
    }
};

DEMO

特定成员函数的部分专业化

Partial specialization of specific member functions

c++

templates

partial-specialization

specialization