Передача интеллектуальных указателей по ссылке

Question

Смарт-указатели, как правило, крошечные, поэтому передача по значению не является проблемой, но есть ли какие-либо проблемы с передачей ссылок на них; или, вернее, существуют конкретные случаи, когда это не должно быть сделано?

Я пишу библиотеку обертки, а некоторые из моих классов переносят объекты smart-pointer в базовую библиотеку ... мои классы не являются умными указателями, но API в настоящее время передают объекты интеллектуального указателя по значению.

например текущий код:

void class::method(const AnimalPtr pAnimal) { ... } 

становится

void class::method(const MyAnimal &animal){...} 

где MyAnimal мой новый класс обертка герметизирующего AnimalPtr.

Нет гарантий, что классы Wrapper ни в коем случае не будут расти за пределы смарт-указателя, поэтому переход по значению заставляет меня нервничать.

Answer 1

Вы, , должны передавать общие указатели по ссылке, а не значения, в большинстве случаев. Хотя размер std::shared_ptr мал, стоимость копирования включает в себя атомную операцию (концептуально атомный приращение и атомный декремент при уничтожении копии, хотя я считаю, что некоторым реализациям удается выполнить неатомное приращение).

В других случаях, например std::unique_ptr вы можете предпочесть передавать по значению, как копия придется быть движение, и это ясно документы, что право собственности на объект передается в функцию (если вы не 't хотите передать право собственности, а затем передать ссылку на реальный объект, а не std::unique_ptr).

В других случаях ваш пробег может отличаться. Вам нужно знать, что такое семантика копии для вашего умного указателя, и нужен ли вам , чтобы заплатить за это или нет.

Answer 2

Это нормально передать интеллектуальный указатель по ссылке, за исключением случаев, когда это для конструктора. В конструкторе можно сохранить ссылку на исходный объект, что нарушает договор интеллектуальных указателей. Если вы это сделаете, вы, вероятно, получите повреждение памяти. Даже если ваш конструктор сегодня не хранит ссылку, я все равно буду опасаться, потому что код меняется, и легко пропустить, если вы решите позже, вам нужно удерживать эту переменную дольше.

В нормальной функции вы не можете хранить параметр функции как ссылку в любом месте, поскольку ссылки должны быть установлены во время их инициализации. Вы можете назначить ссылку на какую-то более длинную живую переменную, не относящуюся к ссылке, но это будет копия и, соответственно, увеличит ее срок службы. Таким образом, в любом случае вы не могли удержать его в прошлом, когда вызывающая функция могла его освободить. В этом случае вы можете получить небольшое повышение производительности со ссылкой, но я бы не стал замечать это в большинстве случаев.

Так что я бы сказал - конструктор, всегда передаваемый по значению; другие функции, передайте по ссылке, если хотите.