356

When a function takes a shared_ptr (from boost or C++11 STL), are you passing it:

  • by const reference: void foo(const shared_ptr<T>& p)

  • or by value: void foo(shared_ptr<T> p) ?

I would prefer the first method because I suspect it would be faster. But is this really worth it or are there any additional issues?

Could you please give the reasons for your choice or if the case, why you think it does not matter.

8
  • 19
    The problem is those aren't equivalent. The reference version screams "I'm going to alias some shared_ptr, and I can change it if I want.", while the value version says "I'm going to copy your shared_ptr, so while I can change it you'll never know.) A const-reference parameter is the real solution, which says "I'm going to alias some shared_ptr, and I promise not to change it." (Which is extremely similar to by-value semantics!)
    – GManNickG
    Jul 22, 2010 at 16:01
  • 2
    Hey i would be interested in your guys opinion about returning a shared_ptr class member. Do you do it by const-refs? Jul 22, 2010 at 16:01
  • Third possibility is to use std::move() with C++0x, this swaps both shared_ptr
    – Tomaka17
    Jul 22, 2010 at 16:04
  • @Johannes: I would return it by const-reference just to avoid any copying/ref-counting. Then again, I return all members by const-reference unless they're primitive.
    – GManNickG
    Jul 22, 2010 at 16:31
  • 1
    The habit of passing shared_ptr by ref should not be followed in lambdas. If it gets destroyed elsewhere (passing by ref doesn't bump the ref count), your callback/lambda may crash. OTOH, passing it by value in lambdas too is dangerous and can cause memory leaks. Instead, we should pass weak_ptr to a shared_ptr. Mar 30, 2020 at 0:20

10 Answers 10

284

This question has been discussed and answered by Scott, Andrei and Herb during Ask Us Anything session at C++ and Beyond 2011. Watch from 4:34 on shared_ptr performance and correctness.

Shortly, there is no reason to pass by value, unless the goal is to share ownership of an object (eg. between different data structures, or between different threads).

Unless you can move-optimise it as explained by Scott Meyers in the talk video linked above, but that is related to actual version of C++ you can use.

A major update to this discussion has happened during GoingNative 2012 conference's Interactive Panel: Ask Us Anything! which is worth watching, especially from 22:50.

22
  • 6
    but as shown here it is cheaper to pass by value: stackoverflow.com/a/12002668/128384 shouldn't that be taken into account as well (at least for constructor arguments etc where a the shared_ptr is going to be made a member of the class)?
    – stijn
    Jan 8, 2013 at 11:12
  • 2
    @stijn Yes and no. The Q&A you point is incomplete, unless it clarifies version of the C++ standard it refers to. It is very easy to spread general never/always rules which are simply misleading. Unless, readers take time to get familiar with David Abrahams article and references, or take posting date vs current C++ standard into account. So, both answers, mine and the one you pointed, is correct given the time of posting.
    – mloskot
    Jan 8, 2013 at 12:14
  • 6
    I'm super late to the party, but my reason to want to pass shared_ptr by value is that it makes the code shorter and prettier. Seriously. Value* is short and readable, but it's bad, so now my code is full of const shared_ptr<Value>& and it's significantly less readable and just... less tidy. What used to be void Function(Value* v1, Value* v2, Value* v3) is now void Function(const shared_ptr<Value>& v1, const shared_ptr<Value>& v2, const shared_ptr<Value>& v3), and people are okay with this?
    – Alex
    Jun 15, 2016 at 9:45
  • 19
    @Alex Common practice is creating aliases (typedefs) right after the class. For your example: class Value {...}; using ValuePtr = std::shared_ptr<Value>; Then your function becomes simpler: void Function(const ValuePtr& v1, const ValuePtr& v2, const ValuePtr& v3) and you get maximum performance. That's why you use C++, isn't it? :) Nov 23, 2016 at 16:51
  • 4
    I still don't understand the unless clause: " unless the goal is to share ownership of an object" - isn't that always the case with a shared_ptr? Also, value semantics are more "natural". Passing by reference always requires justification, not the other way around. Why should we pass by reference?
    – einpoklum
    Mar 4, 2018 at 21:28
141

Here's Herb Sutter's take

Guideline: Don’t pass a smart pointer as a function parameter unless you want to use or manipulate the smart pointer itself, such as to share or transfer ownership.

Guideline: Express that a function will store and share ownership of a heap object using a by-value shared_ptr parameter.

Guideline: Use a non-const shared_ptr& parameter only to modify the shared_ptr. Use a const shared_ptr& as a parameter only if you’re not sure whether or not you’ll take a copy and share ownership; otherwise use widget* instead (or if not nullable, a widget&).

5
  • 3
    Thanks for the link to Sutter. It is an excellent article. I disagree with him on widget*, preferring optional<widget&> if C++14 is available. widget* is too ambiguous from old code.
    – Eponymous
    Jan 9, 2015 at 15:57
  • 6
    +1 for including widget* and widget& as possibilities. Just to elaborate, passing widget* or widget& is probably the best option when the function is not examining/modifying the pointer object itself. The interface is more general, as it doesn't require a specific pointer type, and the performance issue of the shared_ptr reference count is dodged. Sep 2, 2015 at 19:33
  • 5
    I think this should be the accepted answer today, because of the second guideline. It clearly invalidates the current accepted answer, that says: there is no reason to pass by value.
    – mbrt
    Feb 23, 2018 at 13:02
  • 1
    @Eponymous I think optional<reference> is not allowed: fluentcpp.com/2018/10/05/pros-cons-optional-references Mar 14 at 12:05
  • @YordanGrigorov yes, optional<T&> didn't make it into C++ 17. I wrote that comment in 2015.
    – Eponymous
    Mar 14 at 16:44
78

Personally I would use a const reference. There is no need to increment the reference count just to decrement it again for the sake of a function call.

2
  • 1
    I did not down-vote your answer, but before this is a matter of preference, there are pros and cons to each of the two possibilities to consider. And it would be good to know and discuss theses pros and cons. Afterwards everyone can make a decision for himself.
    – Danvil
    Jul 28, 2010 at 12:18
  • @Danvil: taking into consideration of how shared_ptr works, the only possible downside to not passing by reference is a slight loss in performance. There are two causes here. a) the pointer aliasing feature means to pointers worth of data plus a counter (maybe 2 for weak refs) is copied, so it is slightly more expensive to copy the data round. b) atomic reference counting is slightly slower than plain old increment/decrement code, but is needed in order to be thread safe. Beyond that, the two methods are the same for most intents and purposes.
    – Evan Teran
    Jul 29, 2010 at 2:02
47

Pass by const reference, it's faster. If you need to store it, say in some container, the ref. count will be auto-magically incremented by the copy operation.

3
  • 5
    Downvote becouse its opinion without any numbers to back it up. Feb 15, 2018 at 15:32
  • 12
    @kwesolowski The answer provides the analytical reason about why const reference is faster (i.e., no unnecessary ref-count increment/decrement). It is an alternative to benchmarking.
    – Ali
    Nov 29, 2020 at 13:45
  • Sure but what are you doing with the parameter inside the function? Most likely a copy. Wouldn't passing a copy and moving be a better idea since you may in the best case end up just making a single move? (no copies involved)
    – xyf
    Mar 7 at 7:17
36

I ran the code below, once with foo taking the shared_ptr by const& and again with foo taking the shared_ptr by value.

void foo(const std::shared_ptr<int>& p)
{
    static int x = 0;
    *p = ++x;
}

int main()
{
    auto p = std::make_shared<int>();
    auto start = clock();
    for (int i = 0; i < 10000000; ++i)
    {
        foo(p);
    }    
    std::cout << "Took " << clock() - start << " ms" << std::endl;
}

Using VS2015, x86 release build, on my intel core 2 quad (2.4GHz) processor

const shared_ptr&     - 10ms  
shared_ptr            - 281ms 

The copy by value version was an order of magnitude slower.
If you are calling a function synchronously from the current thread, prefer the const& version.

7
  • 1
    Can you say what compiler, platform, and optimization settings you used?
    – Carlton
    Aug 26, 2015 at 13:28
  • 1
    I'm curious if when optimisation is turned on, you get the same results with both Jan 18, 2016 at 11:39
  • 1
    Using clang++ -O3 -std=c++11 on my 2012 MacBook Pro (2.5 GHz Intel Core i7) I get 42 ms and 179227 ms respectively.
    – wcochran
    Oct 16, 2017 at 16:22
  • 3
    Optimization does not help much. the problem is lock contention on the reference count on the copy. Mar 27, 2018 at 23:25
  • 1
    That's not the point. Such a foo() function should not even accept a shared pointer in the first place because it's not using this object: it should accept a int& and do p = ++x;, calling foo(*p); from main(). A function accepts a smart pointer object when it needs to do something with it, and most of the time, what you need to do is moving it (std::move()) to somewhere else, so a by-value parameter has no cost.
    – eepp
    Oct 22, 2018 at 15:37
24

Since C++11 you should take it by value over const& more often than you might think.

If you are taking the std::shared_ptr (rather than the underlying type T), then you are doing so because you want to do something with it.

If you would like to copy it somewhere, it makes more sense to take it by copy, and std::move it internally, rather than taking it by const& and then later copying it. This is because you allow the caller the option to in turn std::move the shared_ptr when calling your function, thus saving yourself a set of increment and decrement operations. Or not. That is, the caller of the function can decide whether or not he needs the std::shared_ptr around after calling the function, and depending on whether or not move or not. This is not achievable if you pass by const&, and thus it is then preferably to take it by value.

Of course, if the caller both needs his shared_ptr around for longer (thus can not std::move it) and you don't want to create a plain copy in the function (say you want a weak pointer, or you only sometimes want to copy it, depending on some condition), then a const& might still be preferable.

For example, you should do

void enqueue(std::shared<T> t) m_internal_queue.enqueue(std::move(t));

over

void enqueue(std::shared<T> const& t) m_internal_queue.enqueue(t);

Because in this case you always create a copy internally

1
  • People such as Jason Turner are now saying though that profligate use of std::move is a "code smell" and it should be avoided if possible.
    – Den-Jason
    Sep 3, 2020 at 2:59
24

There was a recent blog post: https://medium.com/@vgasparyan1995/pass-by-value-vs-pass-by-reference-to-const-c-f8944171e3ce

So the answer to this is: Do (almost) never pass by const shared_ptr<T>&.
Simply pass the underlying class instead.

Basically the only reasonable parameters types are:

  • shared_ptr<T> - Modify and take ownership
  • shared_ptr<const T> - Don't modify, take ownership
  • T& - Modify, no ownership
  • const T& - Don't modify, no ownership
  • T - Don't modify, no ownership, Cheap to copy

As @accel pointed out in https://stackoverflow.com/a/26197326/1930508 the advice from Herb Sutter is:

Use a const shared_ptr& as a parameter only if you’re not sure whether or not you’ll take a copy and share ownership

But in how many cases are you not sure? So this is a rare situation

1
  • 4
    IMO this is one of the correct, but the most succinct answer.
    – andreee
    Sep 29, 2020 at 12:10
6

It's known issue that passing shared_ptr by value has a cost and should be avoided if possible.

The cost of passing by shared_ptr

Most of the time passing shared_ptr by reference, and even better by const reference, would do.

The cpp core guideline has a specific rule for passing shared_ptr

R.34: Take a shared_ptr parameter to express that a function is part owner

void share(shared_ptr<widget>);            // share -- "will" retain refcount

An example of when passing shared_ptr by value is really necessary is when the caller passes a shared object to an asynchronous callee - ie the caller goes out of scope before the callee completes its job. The callee must "extend" the lifetime of the shared object by taking a share_ptr by value. In this case, passing a reference to shared_ptr won't do.

The same goes for passing a shared object to a work thread.

2

Not knowing time cost of shared_copy copy operation where atomic increment and decrement is in, I suffered from much higher CPU usage problem. I never expected atomic increment and decrement may take so much cost.

Following my test result, int32 atomic increment and decrement takes 2 or 40 times than non-atomic increment and decrement. I got it on 3GHz Core i7 with Windows 8.1. The former result comes out when no contention occurs, the latter when high possibility of contention occurs. I keep in mind that atomic operations are at last hardware based lock. Lock is lock. Bad to performance when contention occurs.

Experiencing this, I always use byref(const shared_ptr&) than byval(shared_ptr).

-6

shared_ptr isn't large enough, nor do its constructor\destructor do enough work for there to be enough overhead from the copy to care about pass by reference vs pass by copy performance.

4
  • 2
    @stonemetal: What about atomic instructions during creating new shared_ptr?
    – Quarra
    Oct 22, 2014 at 14:37
  • It's a non-POD type, so in most ABIs even passing it "by value" actually passes a pointer. It's not the actual copying of bytes that's the issue at all. As you can see in the asm output, passing a shared_ptr<int> by value takes over 100 x86 instructions (including expensive locked instructions to atomically inc/dec the ref count). Passing by constant ref is the same as passing a pointer to anything (and in this example on the Godbolt compiler explorer, tail-call optimization turns this into a simple jmp instead of a call: godbolt.org/g/TazMBU). Oct 4, 2016 at 20:05
  • 1
    TL:DR: This is C++ where copy-constructors can do a lot more work than just copying the bytes. This answer is total garbage. Oct 4, 2016 at 20:07
  • 2
    stackoverflow.com/questions/3628081/shared-ptr-horrible-speed As an example Shared pointers passed by value vs pass by reference he sees a run time difference of approximately 33%. If you are working on performance critical code then naked pointers get you a bigger performance increase. So sure pass by const ref if you remember to but it isn't a big deal if you don't. It is much more important to not use shared_ptr if you don't need it.
    – stonemetal
    Nov 9, 2016 at 20:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.