Передать по ссылке более дорогостоящий, чем передать по значению

Question

Есть ли случай, когда пересылка по ссылке дороже, чем пропускная способность на C++? Если да, то в чем дело?

Answer 1

Предпочитает передавать примитивные типы (int, char, float, ...) и структуры POD, которые дешево копировать (Point, complex) по значению.

Это будет более эффективно, чем косвенность, требуемая при передаче по ссылке.

См. Boost's Call Traits.

Шаблон класса call_traits<T> инкапсулирует «лучший» метод, чтобы передать параметр некоторого типа Т или из функции, и состоит из набора определений типов, как определено в приведенной ниже таблице. Цель call_traits состоит в том, чтобы гарантировать, что такие проблемы, как «ссылки на ссылки», никогда не происходят и что параметры передаются наиболее эффективным образом.

Answer 2

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

Answer 3

Вы можете прочитать эту статью "Want speed ? Pass by value" о copy elision и RVO (Return by Value Optimization). В нем объясняется, что ссылки иногда мешают компилятору их выполнять.

Answer 4

Компилятор может оптимизировать передачу примитивного типа путем ссылки на простое прохождение по значению, если тип того же размера или меньше, чем размер ссылки/указателя. Нет никакой гарантии, что компилятор сделает это, поэтому, если у вас есть выбор, передайте примитивные типы по значению. Тем не менее, в шаблоном коде вам часто приходится проходить по ссылке - рассмотрите push_back вектора, который принимает ссылку на const. Если у вас есть вектор ints, вы передадите ссылку на примитивный тип. В этой ситуации вы надеетесь, что компилятор оптимизирует это, заменив ссылку на значение. Так как вектор может хранить большие типы, однако, прием ссылки const является наилучшим выбором.