添加模板專業化的方法

Question

我有一個模板化的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時才可用。

Answer 1

您不需要單獨的類來表示特殊行為。 部分專業化允許您專門處理一些MyBuffer <X，Y>案例並為其提供額外的方法。

保留MyBuffer <X，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在評論中指出的那樣，所以我刪除了它們。

Answer 2

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

Answer 3

如果method1和method2返回對*this的引用，則可以執行您想要的操作。 否則，您將需要進行轉換，或將method1設為虛擬。

Answer 4

訣竅是讓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);
  }
};