c++ - 模板类C++中两种不同类型的方法

Question

我想做一些特化，像这样:

template <typename Type, int Size>
class Example
{
//some values
public:
double length() const;
}

template <typename Type, int Size>
double Example<double, Size>::length() const {...}

template <typename Type, int Size>
double Example<MyType, Size>::length() const {...}

显然这行不通。我应该如何实现这个方法？我希望在这里显式声明 Type 并且 Size 是可变的。

Answer 1

一个选项是为 double 和 MyType 专门化类模板。

template <typename Type, int Size>
class Example
{
  public:
    double length() const { /* Use a generic implementation */ }
}

// Specialize for double
template <int Size>
class Example<double, Size>
{
  public:
    double length() const { /* Use a double specific implementation */ }
}

// Specialize for MyType
template <int Size>
class Example<MyType, Size>
{
  public:
    double length() const { /* Use a MyType specific implementation */ }
}

另一种选择是使用另一个模板类/函数，它可以被 Example::length() 的通用实现使用。

template <typename Type, int Size>
struct Length
{
   // Generic implementation
   static double get() { ... }
}

// Specialize Length for double and MyType

template <int Size>
struct Length<double, Size>
{
   static double get() { ... }
}
template <int Size>
struct Length<MyType, Size>
{
   static double get() { ... }
}

template <typename Type, int Size>
class Example
{
  public:
    double length() const { return Length<Type, Size>::get(); }
}

如果 Example 中除 length 成员函数之外的所有其他内容都可以使用通用代码实现，则第二种方法更好。