模板类和其他类型的模板类专用化

Template class specialization for template class and other types

本文关键字：专用 其他 类型      更新时间：2023-10-16

我的项目有问题，这里有一些测试代码，在项目中看起来是一样的。有些类是普通的，但其中一个是具有 2 种不同类型（类 B）的模板类，例如 int 和 double。

class Bar
{
    Bar()
    {
    }
};
template< typename _T >
class B
{
    B();
};
template< typename _T >
B<_T>::B()
{
}
typedef B<int> Bint;
typedef B<double> Bdouble;
template< typename _T >
class Test
{
    Test();
    void method();
};
template< typename _T >
Test<_T>::Test()
{
}
template< typename _T >
void
Test<_T>::method()
{
}
template< >
void
Test< Bar >::method()
{
   //do sth for Bar
}

我知道我可以通过B<int>和B<double>模板参数来做到这一点，但它会使代码加倍。这是问题，我想只为模板B类专门化方法，有什么办法可以做到吗？我知道这段代码不起作用：

template< >
void
Test< B< _T> >::method()
{
   ////do sth for B< _T >
}

解决方案有点复杂，请参阅内联注释以获取一些解释

class Bar
{
    Bar() {}
};
template< typename T >
class B
{
    B() {}
};
typedef B<int> Bint;
typedef B<double> Bdouble;
template< typename T >
class Test
{
    Test() {}
private:
    // you need one level of indirection
    template<typename U> struct method_impl
    {
        static void apply();
    };
    // declare a partial specialization
    template<typename X> struct method_impl< B<X> >
    {
        static void apply();
    };
public:
    // forward call to the above
    void method() { method_impl<T>::apply(); }
};
// and now you can implement the methods
template< typename T >
template< typename U >
void
Test<T>::method_impl<U>::apply()
{
    // generic implementation
}
template<>
template<>
void
Test< Bar >::method_impl<Bar>::apply()
{
    //do sth for Bar
}
template< typename T >
template< typename X >
void
Test< T >::method_impl< B<X> >::apply()
{
    //do sth for B<X>
}
相关文章：