phương pháp Thêm vào mẫu chuyên môn

Question

Tôi có một lớp C++ templated đó cho thấy nhiều một số phương pháp, ví dụ như

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

Bây giờ, tôi muốn để lộ phương pháp bổ sung cho lớp này nếu X == Y. Tôi đã làm điều này bằng cách phân loại MyBuffer,

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

Bây giờ, vấn đề là tôi muốn có thể làm ví dụ

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

Nhưng tôi không chắc chắn cách thực hiện việc này. Tôi đã cố gắng để nghĩ về các nhà xây dựng bản sao, các nhà khai thác chuyển đổi, vv, nhưng kỹ năng C++ của tôi là tiếc là một chút gỉ.

EDIT: Tôi nên thêm rằng việc tạo ra các đối tượng này là tương đối rẻ (và cũng có thể, nó sẽ không xảy ra rất nhiều), có nghĩa là nó sẽ là OK để làm một cái gì đó như thế này:

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

Các câu hỏi là, làm cách nào tôi có thể xác định chuyển đổi như vậy. Các nhà điều hành chuyển đổi cần phải được trong MyBuffer, tôi nghĩ, nhưng tôi muốn nó có sẵn chỉ khi X == Y.

Answer 1

Bạn không cần một lớp riêng biệt để đại diện cho hành vi đặc biệt. Chuyên môn từng phần cho phép bạn xử lý một số trường hợp MyBuffer < X, Y > đặc biệt và cung cấp cho họ các phương pháp bổ sung.

Giữ khai ban đầu của bạn của mybuffer < X, Y > và thêm nà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 

Edit: dòng cuối cùng của tôi là không phải là rất hữu ích sau khi tất cả, như đã chỉ ra bởi Georg trong các ý kiến, vì vậy tôi đã xóa chúng.

Answer 2

Có thể thực hiện những gì bạn muốn nếu method1 và method2 trả lại tham chiếu đến *this. Nếu không, bạn sẽ cần thực hiện chuyển đổi hoặc tạo method1 ảo.

Answer 3

Bí quyết là phải có một MyRegularBuffer::method1 mà các cuộc gọi MyBuffer::method1, sau đó là một cách để chuyển đổi các kết quả MyBuffer<X,X> thành một 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); 
    } 
}; 

Answer 4

tôi muốn đi cho CRTP đây:

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; } 
};