通过引用传递时std :: shared_ptr如何在类层次结构之间转换？

Question

综观20.8.2.2类模板的shared_ptr [util.smartptr.shared]我意识到std::shared_ptr具有模板拷贝构造和赋值操作符，其允许从转换shared_ptr<Derived>到shared_ptr<Base>当且仅当Derived*是可转换为Base* 。 这些转换只能通过模板化的副本构造函数和赋值运算符完成（据我所知）。 但是，似乎我也可以将shared_ptr<Derived>传递给采用shared_ptr<Base>&的函数（即通过引用传递）。 似乎应该有一个隐式转换运算符，但是根据标准，没有。

下面的代码阐明了我的意思：

#include <iostream>
#include <memory>

struct Base {};
struct Derived: Base {};

void f(const std::shared_ptr<Base>& ) {}

int main()
{
    std::shared_ptr<Derived> spDerived(new Derived);

    // conversion below is OK, via template copy ctor
    std::shared_ptr<Base> spBase(spDerived); 
    // also OK, via template copy assignment operator
    spBase = spDerived; 

    // why is this OK? Cannot see any conversion operators in
    // 20.8.2.2 Class template shared_ptr [util.smartptr.shared]
    f(spDerived); 
}

我的问题：在这种情况下，谁在执行f(spDerived)调用中从shared_ptr<Derived>到shared_ptr<Base>的转换？ （对于编译器shared_ptr<Derived>与shared_ptr<Base>毫无关系，即使Derived是Base的子代）

Answer 1

通过模板副本ctor创建一个临时文件夹，该副本就是所引用的副本。 ctor是隐式的，因此在这种情况下可以合法地调用它。 从根本上讲，此调用与说f(std::string); f("hello");之间没有区别f(std::string); f("hello"); f(std::string); f("hello"); 。 完全相同的机制正在发挥作用。 这是常规的隐式转换。