将const unique_ptr引用作为参数传递

Question

 void f1(unique_ptr<A[]>& upA){
    //some work...

    //callee can mess up smart pointer many ways for caller    
    upA.reset();

    //some work...
}

void f2(const unique_ptr<A[]>& upA){
    //some work...

    //compiler stops callee from ruining smart pointer many ways for caller    
    upA.reset();

    //some work...
}

f1(upAArray);
f2(upAArray);

在上面的代码中，调用f1是危险的，因为被调用者可以通过重置智能指针，释放它等来搞乱智能指针等。调用f2是安全的，一切都很好。如果被调用者试图做坏事，编译器会抓住它。这样，当调用堆栈展开并且我们回到调用者时，智能指针就是声音。

重要的是，我不是问最好的智能指针传递方式（我意识到常规原始指针void f3（A * pAArray）{}会没问题。我在问f2有什么问题？一般的建议是不要使用const引用unique_ptr作为参数，虽然我知道为什么这不是最优，我不明白为什么它比f1（）更糟糕。

简而言之，具体而言，反对f2（）的理由是什么？它做坏事吗？它似乎安然无恙（虽然肯定不是最佳的），我不明白它为何如此糟糕。

Answer 1

通过const引用（或原始引用）传递智能指针的缺点之一是被调用者依赖于调用者的实现细节。不与所有权交互的代码不应该依赖于智能指针，因为它们的唯一目的是建模所有权。