Question

我目前正在为模板模板（template）类的部分模板专业化而苦苦挣扎。我知道我们可以通过继承来实现以下问题，但目标是仅使用模板和模板专业化。

让我们考虑这段代码：

template< typename T >
struct V4;
template< >
struct V4< float > {
    using point_type = std::array< float, 4 >;
};
template< typename T >
struct V12;
template< >
struct V12< int > {
    using point_type = std::array< int, 12 >;
};

template< typename T, template< typename = T > class IM >
struct Rectangle;
template< template< typename > class IM >
struct Rectangle< float, IM > {
    float get( size_t i ) { /*...*/ }
};

template< typename T, template< typename = T > class IM >
struct Polygon;
template< template< typename > class IM >
struct Polygon< int, IM > {
    float get( size_t i ) { /*...*/ }
};

可以将类V2和V12视为某种内置类型或集合的包装器类。 Rectangle和Polygon类使用V2或V12，并且是部分专用的。到目前为止，一切都很好。我们可以像下面这样使用它：

Rectangle< float, V4 > a;
std::cout << a.get(1) << "\n";

现在我们要实现的是一个类，该类封装了一些对引入结构的计算。应该这样称呼：

std::cout << CalculateSomething< Rectangle< float, V4 > >::doIt( ) << "\n";

CalculateSomething应该与矩形或多边形一起使用时应该部分局部化。因此，可能的专业化应如下所示：

template< typename T >
struct CalculateCenter< Rectangle< T, V2 >, T > {
    static T doIt( ) {
        /*...*/
    }
};
template< typename T >
struct CalculateCenter< Polygon< T, V12 >, T > {
    static T doIt( ) {
        /*...*/
    }
};

现在的问题是：如何声明模板类CalculateCenter？

预先感谢

Answer 1

答案似乎很简单：

template < class T >
struct CalculateCenter;

template< typename T >
struct CalculateCenter< Rectangle< T, V2 > > {
    static T doIt( ) {
        /*...*/
    }
};

template< typename T >
struct CalculateCenter< Polygon< T, V12 > > {
    static T doIt( ) {
        /*...*/
    }
};

[Live example]

嵌套模板模板类的部分专业化

1 个答案: