参照を介してboost :: shared_ptrのエイリアスを作成する

Question

私は最適化する必要のある小さなコードセグメントを持っています。スレッド 'A'は、ヒープオブジェクトへのboost_sharedを作成しました。スレッド 'A'はshared_ptrをスレッドセーフキューに書き込みます。スレッド 'B'はshared_ptrを読み取り、それを使用して破棄します。

プロファイリング/テストが徹底的に行われることで、キューに出入りするshared_ptrのコピーと参照カウントの調整にコストがかかります。したがって、私は参照を介してキューに共有ptrを渡したいと思います。また、shared_ptrを新しいshared_ptrを構築するのではなく、キューに移動するためにstd :: moveを使用したいと思います（キューに渡されたshared_ptrパラメータが無効になることがわかります）。

多変量のダッシュに混ぜるまで、説明されているすべてがうまく動作します。 refでshared_ptrを派生objに渡して、shared_ptrをベースクラスに期待する関数に渡すことはできません。私はこれを、私を混乱させるような行動を露呈する非常に小さな切り札に煮詰めました。

#include <boost/shared_ptr.hpp> 

class Base 
{ 
}; 

class Derived : public Base 
{ 
}; 

int main() 
{ 
    boost::shared_ptr<Derived> pDerived(new Derived()); // simple creation 
    boost::shared_ptr<Derived> &alias1 = pDerived;  // works fine 
    const boost::shared_ptr<Base> &alias2 = pDerived; // also works fine 
    boost::shared_ptr<Base> &alias3 = pDerived;   // compilation error 

    //native pointers 
    Derived *alias4 = pDerived.get();  //works 
    const Base *alias5 = pDerived.get(); //works 
    Base *alias6 = pDerived.get();  //works 

    //native references 
    Derived &alias7 = *pDerived;   // works 
    const Base &alias8 = *pDerived;  // works 
    Base &alias9 = *pDerived;    // works 
} 

alias2への割り当ては完全に大丈夫です、まだAlias3というの割り当てはコンパイラエラーを生成する理由を私は理解していません。誰かがこれを説明できますか？私はalias3の例のような機能が必要であり、動作させることはできません。

Answer 1

この問題は、ブーストまたはスマートポインタには関係しません。次の簡単な例に示すように、それはあまりにもPOD型で起こることができます。

int main() { 
    int x = 0; 
    const double &y = x; //fine 
    double &z = x; //error! 
    return 0; 
} 

を理由は、一時的な値（右辺値）がconst&に特異的に結合することができますが、それは&にバインドすることができないということです。 double &z = xで起こることは、xとzは無関係のタイプであり、xはdoubleに変換する必要があり、&にバインドできない一時変数が作成されることです。