タイプは基底クラス（または非コピー可能）と仮想継承を提供します

Question

これまでは、型情報を定数にするために基本クラスを使用しました（traitsクラスやおそらくios_baseに似ています）。これらのクラスは通常データを持たないが、一般的に使用される型（おそらく元の型を修飾する）のみを提供し、変更の際には型の定数を1つの場所で変更する。私は、そのような型クラスから継承する可能性のあるインタフェースに対して仮想継承を使用することに利点があるのか​​疑問に思っています。同様の事例のよく知られている例は、boost :: noncopyable（私はよくboost :: noncopyableをインタフェースに使用しているわけではありません）を導出できるインタフェースです。ここで

は、問題の例はほとんど例を次に示します。

#include <iostream> 
#include <memory> 


struct Path{}; 

struct SomeTypeDefs //Or something providing services similar boost::noncopyable 
{ 
    typedef std::shared_ptr<Path> PathPtr; 
}; 


struct InterfaceX : SomeTypeDefs 
{ 
    virtual PathPtr getPathX() const = 0; 
}; 

struct InterfaceY : SomeTypeDefs 
{ 
    virtual PathPtr getPathY() const = 0; 
}; 

struct Impl : InterfaceX, InterfaceY 
{ 
    private: 
     PathPtr getPathY() const override{ return PathPtr{}; } 
     PathPtr getPathX() const override{ return PathPtr{}; } 
}; 

void foo(const InterfaceX&) 
{ 
    std::cout << "foo X" << std::endl; 
} 
void foo(const InterfaceY&) 
{ 
    std::cout << "foo Y" << std::endl; 
} 

int main() 
{ 
    Impl impl; 
    foo(static_cast<InterfaceX&>(impl)); 
    foo(static_cast<InterfaceY&>(impl)); 
    return 0; 
} 

私はこのケースでは仮想継承を使用することの利点を見ることができない（いずれかがありますか）？

Answer 1

WARNING：オピニオン、おそらく直接の質問に答えていない...

は、率直に言ってこのような状況がポリシークラスではなく、継承によって処理さ良いです！例えば、私はあなたがこれを行うことができます

struct SomeTraits { 
    typedef std::shared_ptr<Path> PathPtr; 
}; 

// here class is hard-wired to policy 
struct InterfaceX 
{ 
    virtual SomeTraits::PathPtr getPathX() const = 0; 
}; 

struct InterfaceY 
{ 
    virtual SomeTraits::PathPtr getPathY() const = 0; 
}; 

を持っているでしょう

：あなたのたくさんの可能性を与える

// here class doesn't really care about specific policy... 
template <typename Traits> 
struct InterfaceX 
{ 
    typedef typename Traits:: PathPtr; 
    virtual PathPtr getPathX() const = 0; 
}; 

template <typename Traits> 
struct InterfaceY 
{ 
    typedef typename Traits:: PathPtr; 
    virtual Traits getPathY() const = 0; 
}; 

（ポリシーベースの設計を参照してください。）私はそれが率直にたくさんだと思います継承よりもきれいで、特に定義している場合タイプ！