指向函数签名中的常量智能指针

smart pointer to const in function's signature

本文关键字：常量 智能 指针 函数      更新时间：2023-10-16

我想知道在将 shared_ptr作为参数传递给采用 const T> 的函数时shared_ptr <隐式强制转换是否涉及一些隐藏成本(例如构建额外的副本(。>

void f(std::shared_ptr<const Widget> ){}
int main(){
std::shared_ptr<Widget> p; 
f(p);
return 0;
}

我假设在这两种情况下，我都在为引用计数的增量和减少付费。

此外，我想知道如果我使用以下签名定义函数f()，为什么代码无法编译：

void f(shared_ptr<const Widget>& ){}

更让我惊奇的是，这确实是：

void f(const shared_ptr<const Widget>& ){}

为什么按值传递有效？

您的代码由于构造函数重载 (9(smart_ptr而工作：

template< class Y >
shared_ptr( const shared_ptr<Y>& r ) noexcept;

构造一个共享所管理对象的所有权的shared_ptr 由R.如果 r 不管理任何对象，则也不管理任何对象。这 如果 Y为 不能隐式转换为(直到 C++17(与(自 C++17( T*。

为什么当方法需要shared_ptr<const Widget>&时它不编译？

如果将签名更改为

void f(shared_ptr<const Widget>& ){}

您不能再在一个步骤中进行转换和传递给该方法，因为临时(由转换产生的临时引用(无法绑定到非常量引用。但是，您仍然可以通过两个步骤完成：

int main(){
std::shared_ptr<Widget> p; 
std::shared_ptr<const Widget> p2{p};
// f(p);  // error: cannot bind non-const reference to temporary
f(p2);    // OK
return 0;
}

是否有一些开销？

关于开销：是的，有一个smart_ptr<const Widget>正在构建，然后传递给方法(如上面的代码片段中明确显示的那样(。

为什么当方法期望const shared_ptr<const Widget>&时它再次工作？

关于您的编辑，如果您将签名更改为以下内容，为什么它会再次起作用：

void f(const shared_ptr<const Widget>& ){}

在这种情况下，如果您通过一个shared_ptr<Widget>，仍然会发生一个转换。但是，现在允许转换产生的临时结果绑定到 const 引用。无论如何，该方法不允许修改它，因此允许通过临时没有危险。

再举一个例子

请注意，不绑定到非常量引用的临时引用是一种罕见的情况，C++可以帮助您避免愚蠢的错误。考虑一下：

void foo(int& x) { x += 2; }
int bar() { return 3; }
int main() { foo(bar()); }   // error !

将 r 值传递给需要非常量 l 值引用的函数没有多大意义。您无法观察foo对bar返回的值所做的更改。

传递智能指针 @ cpp 核心准则

关于将智能指针传递给功能，请注意，cpp 核心指南对此有一些项目。底线是：如果该方法不参与引用计数(可能是最常见的情况(，则不要传递智能指针，而是传递原始指针。

相关文章：