Ссылки С++

На днях я испытал состояние когнитивного диссонанса и одновременно разочарования в себе и своём любимом языке программирования.

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

И тут я знаю, что ссылки - это указатели + синтаксический сахар (автоматическое разыменование) + ограничение (обязательная инициализация и иммутабельность). После этого с одной стороны всё стало понятно - с другой стороны пропала вера в великий и могучий С++.

Может кто-нибудь прольёт свет на реальность?

0

При передаче ссылок в функции другого ожидать и не приходится. Впрочем, ущерба производительности тут мало. А "великость и могучесть" начинается тогда, когда ссылка не получена извне, а создана в самой функции и инициализирована адресом автоматического объекта. Или, что для нас особенно важно, если вызов функции со ссылочным параметром, указывающим на автоматический объект, инлайнится. Вот тут и можно рассчитывать на волшебство, магические секреты и другие оптимизационные плюшки. Так что для большего волшебства включаем LTO/LTCG и опцию "инлайнить все подходящие функции".

0

cyberguz, сила и могущество си++ как раз в том, что все просто и низкоуровнево, но настолько расширяемо и гибко, что этой простой базе можно строить фантасмагорический код.

0

Ты еще больше расстроишься, когда узнаешь, что все, что ты напишешь на великом и могучем C++, скомпилируется на низком уровне в обычный машинный код - во всякие там mov, call, push, cmp и так далее. Так что можешь считать, что "великий и могучий" C++ - это просто ассемблер + синтаксический сахар поверх. :-)

0