Как устроен const std::vector

@Twolka · Регистрация: 16.03.2017

Студворк — интернет-сервис помощи студентам

Здравствуйте, я хочу задать несколько вопросов, ответы на которые я не смог найти на просторах интернета.
Это третий из них. Остальные 2 - в других темах.

Кликните здесь для просмотра всего текста

Каким образом const std::vector превращает хранимый тип в константу?

Спасибо.

@jahdjkhasjdhjah · 10.01.2018, 11:21

Константный класс
Официально такого понятия как константный класс (const class) не существует. Но часто под этим понимается объявление вида const CFoo p;.
Экземпляр класса CFoo, объявленный таким образом, обещает сохранить физическое состояние класса, не менять его. Как следствие, он не может вызвать не const функции класса CFoo. Все данные, не объявленные как const, начинают трактоваться как const. То есть
int становится int const
int * становится int * const
const int * становится int const *const
и так далее.

Т.е. точно так же, как если вы объявите для обычного типа const.

Это просто указание компилятору, что эту переменную (структуру, класс) нельзя менять. Чтобы если вы попытались это сделать, тот вас об этом предупредил. Просто защита от ошибок.

@hoggy · 10.01.2018, 11:41

Сообщение от jahdjkhasjdhjah

обещает сохранить физическое состояние класса

логическое.

физическое состояние вполне себе может быть корректно изменено.
(см. mutable)

@jahdjkhasjdhjah · 10.01.2018, 11:55

Но это вы уже придираетесь! )))

@Twolka · 10.01.2018, 19:28 **[ТС]**

Хорошо, спасибо

Сообщение от jahdjkhasjdhjah

int становится int const

Но ведь в этом случае значение, которое хранится по этому указателю можно изменить, не так ли?

@jahdjkhasjdhjah · 10.01.2018, 20:00

По идее да, вот пример со сторонним классом:
https://ideone.com/FhJubr
Но вот с вектором такой фокус провернуть не удалось. Я не готов сейчас рассуждать, почему это так - мне нужно смотреть реализацию этого вектора в коде. Возможно, более опытные форумчане смогут подсказать, почему у вектора это не так.

@DrOffset · 10.01.2018, 20:06

Сообщение от Twolka

Каким образом const std::vector превращает хранимый тип в константу?

Никаким.
Просто для const std::vector будут недоступны неконстантные методы.
Например, в векторе перегружены две версии оператора []:

C++
1
2
T & operator[](size_type i);
T const & operator[](size_type i) const;

Для const std::vector всегда будет вызываться вторая версия.
Аналогично, все методы, меняющие состояние std::vector (они все не-const) просто не могут быть вызваны на константном векторе.

@Twolka · 10.01.2018, 20:12 **[ТС]**

Здесь написано http://www.cplusplus.com/reference/vector/vector/operator[]/, что
operator[] имеет 2 перегрузки:

C++
1
2
reference operator[] (size_type n);
const_reference operator[] (size_type n) const;

Причем 1 вызывается при vector, а 2 - при const vector.

Не по теме:

Опоздал..

@jahdjkhasjdhjah · 10.01.2018, 20:17

Сообщение от DrOffset

в векторе перегружены две версии оператора []

точняк! Совсем забыл про перегрузку операторов.
В общем, прямого доступа к данным vector не реализует (они все в секции public), а существующие константные методы не позволяют модификацию данных в силу своей реализации.

Сообщение от Twolka

Причем 1 вызывается при vector, а 2 - при const vector

Ну, вот вторая реализация и не позволяет модификацию.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@Twolka 0 / 0 / 0 Регистрация: 16.03.2017 Сообщений: 51

	Как устроен const std::vector 10.01.2018, 08:50. Показов 9564. Ответов 8 Метки нет (Все метки) Здравствуйте, я хочу задать несколько вопросов, ответы на которые я не смог найти на просторах интернета. Это третий из них. Остальные 2 - в других темах. Кликните здесь для просмотра всего текста Каким образом `const std::vector` превращает хранимый тип в константу? Спасибо. 0

@jahdjkhasjdhjah 73 / 86 / 40 Регистрация: 02.11.2017 Сообщений: 379
	10.01.2018, 11:55
	Но это вы уже придираетесь! ))) 0

@jahdjkhasjdhjah 73 / 86 / 40 Регистрация: 02.11.2017 Сообщений: 379
	10.01.2018, 20:00
	По идее да, вот пример со сторонним классом: https://ideone.com/FhJubr Но вот с вектором такой фокус провернуть не удалось. Я не готов сейчас рассуждать, почему это так - мне нужно смотреть реализацию этого вектора в коде. Возможно, более опытные форумчане смогут подсказать, почему у вектора это не так. 0

Как устроен const std::vector

Решение