C++インスタンス化

Question

可能性の重複：私たちは、ポインタを使用する場合
C++ passing a derived class shared_ptr to a templated function

は、コンパイラは、インスタンス化には問題がありません。

template <typename T> struct Base{ 
    virtual ~Base() {} 
}; 

template <typename T> struct Der: public Base<T> { 
}; 


template <class T> 
void f(Base<T>* b) {} 

int main() { 
    Der<int> x; 
    f(&x); 
} 

ただし、shared_ptrsを使用するようにfを変更した場合、コンパイラは一致するものを見つけることができません。

shared_ptr<Base<int> > x(new Der<int>); 

にXを変更

template <class T> 
void f(shared_ptr<Base<T> >b) {} 

int main() { 
    shared_ptr<Der<int> > x(new Der<int>); 
    f(x); 
} 

Z.cc: In function ‘int main()’: 
Z.cc:45: error: no matching function for call to ‘f(std::tr1::shared_ptr<Der<int> >&)’ 

も動作します。 この動作の違いはなぜですか？

Answer 1

shared_ptr<Der<int>>は暗黙的にshared_ptr<Base<int>>に変換可能ではありませんが、Der<int>*は暗黙的にBase<int>*に変換可能です。 C++では、テンプレートパラメータの型が変換可能になるだけで、変換可能なテンプレートからインスタンス化された型は自動的には変換されません。これは必ずしも意味をなさないので危険な可能性があるからです。

http://www2.research.att.com/~bs/bs_faq2.html#conversion