添加模板专业化的方法

时间:2010-07-29 20:43:41

标签: c++ templates

我有一个模板化的C ++类,它暴露了许多方法,例如

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

现在,如果X == Y,我想向这个类公开其他方法。我通过继承MyBuffer来完成这个,

template<int X>
class MyRegularBuffer : public MyBuffer<X,X> {
public:
    MyRegularBuffer method2();
};

现在,问题在于我希望能够做到这一点。

MyRegularBuffer<2> buf = ...
MyRegularBuffer<2> otherBuf = buf.method1().method2();

但我不知道如何做到这一点。我试着想到复制构造函数,转换运算符等,但不幸的是我的C ++技能有点生疏。

编辑:我应该补充一点,这些对象的创建相对便宜(而且,它不会发生很多),这意味着可以做这样的事情:

MyRegularBuffer<2> buf = ...
MyRegularBuffer<2> temp = buf.method1(); // Implicit conversion
MyRegularBuffer<2> otherBuf = temp.method2();

那么问题是,如何定义这样的转换。我认为转换运算符需要在MyBuffer中,但我希望它只有在X == Y时才可用。

4 个答案:

答案 0 :(得分:5)

您不需要单独的类来表示特殊行为。部分专业化允许您处理一些MyBuffer&lt; X,Y&gt;特殊情况并给予他们额外的方法。

保留MyBuffer的原始声明&lt; X,Y&gt;并添加:

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在评论中指出的那样,所以我删除了它们。

答案 1 :(得分:3)

我会在这里找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; }
};

答案 2 :(得分:1)

如果method1method2返回对*this的引用,则可以执行您想要的操作。否则,您将需要进行转换,或者使method1虚拟。

答案 3 :(得分: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);
  }
};