Как устроен 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

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

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .

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

	Как устроен const std::vector 10.01.2018, 08:50. Показов 9620. Ответов 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

Решение