向模板专门化添加方法

不需要单独的类来表示特殊行为。部分专门化允许您处理一些MyBuffer<十、 Y>特殊情况下,给他们额外的方法。

template<int Y>
class MyBuffer<Y, Y> {
public:
    MyBuffer<Y,Y> method1();
    MyBuffer<Y,Y> method2();
};

MyBuffer<1,2> m12; m12.method2(); // compile fail, as desired, as it doesn't have such a method because 1 != 2
MyBuffer<2,2> m22; m22.method2(); // compile success

编辑: 正如Georg在评论中指出的那样,我的最后几行毕竟不是很有用,所以我删除了它们。

我会选择 CRTP 在这里:

template<int X, int Y, class Derived>
struct MyBufferBase {
    // common interface:
    Derived& method1() { return *static_cast<Derived*>(this); }
};

template<int X, int Y>
struct MyBuffer : MyBufferBase<X, Y, MyBuffer<X,Y> > {
    // basic version
};

template<int X> 
struct MyRegularBuffer : MyBufferBase<X, X, MyRegularBuffer<X> > {
    // extended interface:
    MyRegularBuffer& method2() { return *this; }
};

method1 和 method2 返回对的引用 *this 方法1 事实上的。

诀窍是有一个 MyRegularBuffer::method1 这叫 MyBuffer::method1 ,然后是一种转换结果的方法 MyBuffer<X,X> MyRegularBuffer<X> :

template<int X>
class MyRegularBuffer : public MyBuffer<X,X> 
{
public:

  MyRegularBuffer<X>()
  {}

  MyRegularBuffer<X>(MyBuffer<X,X>)
  {
    // copy fields, or whatever
  }

  MyRegularBuffer<X> method2();

  MyRegularBuffer<X> method1()
  {
    MyRegularBuffer<X> ret(MyBuffer<X,X>::method1());
    return(ret);
  }
};