子クラスの戻り値型のオーバーライド

Question

クラスIPrinterManagerおよびその子クラスColorPrinterManagerが指定されています。 ColorPrinterは、子クラスのAbstractPrinterです。コンパイルはメッセージColorPrinterManager::print is not a covariant of IPrinterManager::printで中止されます。この問題を解決するにはどうすればよいですか？

class IPrinterManager 
{ 
public: 

    virtual std::vector<std::shared_ptr<AbstractPrinter>>* print(std::string text) = 0; 

}; 

class ColorPrinterManager : public IPrinterManager 
{ 
public: 

    std::vector<std::shared_ptr<ColorPrinter>>* print(std::string text); 

}; 

Answer 1

std::vector<std::shared_ptr<AbstractPrinter>>*を返す必要があります。その周りに行くことはありません。あなたはまだそれをColorPrinterポインタで入力できます。

仮想関数の戻り値の型として、より多くの派生型を指定できます。しかし、ポインタのvectorにはそのような関係はありません。

---

また、値を返すことを検討してください。 NRVOと移動セマンティクスを使用すると、ベクトルはリソースを効率的に管理する上で非常に優れています。

Answer 2

ColorPrinterがAbstractPrinter由来するかもしれないが、shared_ptr<ColorPrinter>はshared_ptr<AbstractPrinter>とvector<shared_ptr<ColorPrinter>>に由来するものではないvector<shared_ptr<AbstractPrinter>>に由来するものではありません。したがって、あなたのprint関数は共変量ではありません。

vector<shared_ptr<AbstractPrinter>>とする必要があります。もちろん、あなたが本当にここ共変戻り値の型が必要な場合は、

ColorPrinterManager pm; 
auto v = pm.print(string("bla")); 
for(auto &s : v) { 
    // This gives you the AbstractPrinter 
    auto p = s.get(); 
    // If you called ColorPrinterManager you know that all printers are ColorPrinter 
    auto p2 = dynamic_cast<ColorPrinter*>(p); 
} 

Answer 3

のようなコードがある場合、1つの方法は、プリンタの横のプリンタコンテナの並列階層構造を定義し、std::vectorの代わりにそれを使用することです。

// printers 
class AbstractPrinter { ... 

class ColourPrinter : public AbstractPrinter { ... 

// printer collections 
class AbstractPrinterCollection { 
     public: virtual AbstractPrinter* get(int i) = 0; ... 

class ColourPrinterCollection : public AbstractPrinterCollection { 
     public: ColourPrinter* get(int i) override { ... } 
     private: std::vector<std::shared_ptr<ColourPrinter>> vec; ... 

注1：getは、共有ポインタではなく通常のポインタを返します。これは、共変な戻り値の型を必要とするためで、スマートポインタでは機能しません。 （周りには道がある）。

注2：階層全体のリーフクラスにはデータメンバー（実際のプリンタの実際のコンテナなど）があり、基本クラスと中間クラスはデータをリーフに委譲します。

注3：AbstractPrinterCollectionにはputはありません（葉のクラスにはputがあります）。

注4：これはやや面倒です。 print仮想でないことを考えてください。（値で返します）。