Урок №89. Ссылки и const

  Юрий  | 

  Обновл. 27 мая 2019  | 

 16910

 ǀ   6 

Так же, как можно объявить указатель на константное значение, так же можно объявить и ссылку на константное значение.

Ссылки на константные значения

Объявить ссылку на константное значение можно путём добавления ключевого слова const перед типом данных:

Ссылки на константные значения часто называют просто «ссылки на константы» или «константные ссылки».

Инициализация ссылок на константы


В отличие от ссылок на неконстантные значения, которые могут быть инициализированы только неконстантными l-values, ссылки на константные значения могут быть инициализированы неконстантными l-values, константными l-values и r-values:

Как и в случае с указателями, константные ссылки также могут ссылаться и на неконстантные переменные. При доступе к значению через константную ссылку, это значение автоматически считается const, даже если исходная переменная таковой не является:

Ссылки r-values

Обычно r-values имеют область видимости выражения, что означает, что они уничтожаются в конце выражения, в котором созданы:

Однако, когда константная ссылка инициализируется значением r-value, время жизни r-value продлевается в соответствие со временем жизни ссылки:

Константные ссылки в качестве параметров функции


Ссылки, используемые в качестве параметров функции, также могут быть константными. Это позволяет получить доступ к аргументу без его копирования, гарантируя, что функция не изменит значение, на которое ссылается ссылка:

Ссылки на константные значения особенно полезны в качестве параметров функции из-за их универсальности. Константная ссылка в качестве параметра позволяет передавать неконстантный аргумент l-value, константный аргумент l-value, литерал или результат выражения:

Результат выполнения программы выше:

3457

Во избежание ненужного, слишком затратного копирования аргументов, переменные, которые не являются указателями или фундаментальных типов данных (int, double и т.д.), должны передаваться по (константной) ссылке в функцию. Фундаментальные типы данных должны передаваться по значению, в случае, если функция не будет изменять их значений.

Правило: Переменные не указатели и не фундаментальных типов данных передавайте в функцию по (константной) ссылке.

Оценить статью:

Звёзд: 1Звёзд: 2Звёзд: 3Звёзд: 4Звёзд: 5 (114 оценок, среднее: 4,94 из 5)
Загрузка...

Комментариев: 6

  1. Аватар Дмитрий:

    А как правильно передать массив в функцию? Писать амперсант или не обязательно?

    1. Аватар Анастасия:

      В главе про связь указателей и массивов было сказано, что лучше всего передавать массив в функцию как указатель. Например, так: void doSomething(int *array)

    2. Аватар Анастасия:

      В любом случае при передаче массива в функцию он передаётся как указатель и поэтому при изменении его значений, они реально будут меняться. Насколько я понимаю, как константу массив в функцию передать нельзя.

      1. Аватар Константин:

        Если я правильно понял Ваши сомнения:

  2. Аватар Vlados_Bro:

    Дякую, інформативно

    1. Юрий Юрий:

      Будь ласка, заходьте — читайте 🙂

Добавить комментарий

Ваш E-mail не будет опубликован. Обязательные поля помечены *