傳遞shared_ptr時出錯<Derived>＆as shared_ptr <Base>＆without const

Question

傳遞shared_ptr<Derived>&作爲shared_ptr<Base>&時出現編譯錯誤，請參閱下面的代碼和詳細問題。

注意：此問題與「Passing shared_ptr<Derived> as shared_ptr<Base>」類似，但不重複。

#include <memory> 
class TBase 
{ 
public: 
    virtual ~TBase() {} 
}; 
class TDerived : public TBase 
{ 
public: 
    virtual ~TDerived() {} 
}; 
void FooRef(std::shared_ptr<TBase>& b) 
{ 
    // Do something 
} 

void FooConstRef(const std::shared_ptr<TBase>& b) 
{ 
    // Do something 
} 

void FooSharePtr(std::shared_ptr<TBase> b) 
{ 
    // Do something 
} 
int main() 
{ 
    std::shared_ptr<TDerived> d; 
    FooRef(d); // *1 Error: invalid initialization of reference of type ‘std::shared_ptr<TBase>&’ from expression of type ‘std::shared_ptr<TDerived>’ 
    FooConstRef(d); // *2 OK, just pass by const reference 
    FooSharePtr(d); // *3 OK, construct a new shared_ptr<> 
    return 0; 
} 

通過g++ -std=c++11 -o shared_ptr_pass_by_ref shared_ptr_pass_by_ref.cpp

的Env編譯：Ubuntu的14.04，克++（Ubuntu的4.8.2-19ubuntu1）4.8.2

詳細問題： 爲什麼行通過const引用傳遞（* 2），但不能通過引用（* 1）傳遞？

注：我知道最好的做法是通過const引用，但只是想知道爲什麼發生編譯錯誤。

Answer 1

您似乎期望某種模板協方差，因此AnyTemplateClass<Derived>可以綁定到AnyTemplateClass<Base>&。模板不以這種方式工作。通常，AnyTemplateClass<Derived>和AnyTemplateClass<Base>是兩個截然不同的完全不相關的類。

一個特定的模板類可以或者當然以某種形式提供關係。 shared_ptr<T>特別具有模板化的構造函數，接受shared_ptr<U>用於任何U，使得U*可以轉換爲T*。

FooConstRef(d)調用工作通過構建一個臨時的 - 有效

shared_ptr<TBase> temp(d); 
FooConstRef(temp); 

但臨時對象不能綁定到非const引用，這就是爲什麼FooRef(d)不以類似的方式工作。