Ключевое слово const после ключевого слова new

@Undisputed · Регистрация: 10.06.2014

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

Наткнулся на такую запись

C++
1
const int* ciq = new const int (3);

Какую роль играет const после new?

@DrOffset · 24.01.2017, 16:10

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

Какую роль играет const после new?

Создание константы с dynamic storage duration. Т.е. объект, который будет создан в динамической памяти - константа.

MrGluck · 24.01.2017, 16:11

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

const после new?

Такую же, как и везде. Добавляет модификатор const к данным, на которые указывает указатель, возвращаемый оператором new. То есть требует, чтобы результат записался в указатель на константу.

@Undisputed · 24.01.2017, 16:19 **[ТС]**

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

Т.е. объект, который будет создан в динамической памяти - константа.

Так объект вроде и так константа даже если не указать const после new, разве нет?

C++
1
2
3
4
5
int main()
{
   const int* ciq = new int (3);//объект-константа
   const int* const ciq1 = new int (3);//объект-константа и его указатель тоже константный
}

Чем нам помогает const после new не понимаю

Добавлено через 2 минуты
или тут все дело в том, что бы несмотря на то что можно значение и указатель сделать константным, все равно остается возможность изменить данные выделенные через new по адресу
но когда пишется const после new, такая попытка приведет к сегфолту
я правильно понимаю?

@DrOffset · 24.01.2017, 16:21

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

C++
1
const int* ciq = new int (3);//объект-константа

Объект не константа.
Если бы объект тут был константой, то мы не смогли бы написать так:

C++
1
int* ciq = new int (3);

т.к. в С++ нельзя снимать константность неявно.
Так что твой пример эквивалентен вот такому без использования динамической памяти:

C++
1
2
int a = 3;
const int * ciq = &a;

MrGluck · 24.01.2017, 16:23

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

сегфолту

Это вообще из другой оперы.
Попытка снять константность приводит к ошибке времени компиляции. И в этом легко убедиться.

@Undisputed · 24.01.2017, 16:24 **[ТС]**

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

Объект не константа.

Не понял
Нельзя же сменить значение, чем не константа?

C++
1
2
const int* ciq = new int (3);
*ciq = 25;

@DrOffset · 24.01.2017, 16:24

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

но когда пишется const после new, такая попытка приведет к сегфолту

Когда пишется после new указывается тип c const, то нельзя сделать так:

C++
1
int * ciq = new const int(3); // error

А если ты сделаешь так:

C++
1
int * ciq = const_cast<int *>(new const int(3));

и будешь менять значение по указателю, то скорее всего никакого сегфолта не будет, но будет UB из-за попытки изменить константный объект.

@Mirmik · 24.01.2017, 16:24

А оно бывает нужно на практике?

@Undisputed · 24.01.2017, 16:24 **[ТС]**

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

снять константность

Снять константность это как?

MrGluck · 24.01.2017, 16:26

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

Нельзя же сменить значение, чем не константа?

Есть разница между указателем на константу (в вашем примере) и константным указателем. Для запрета операции из вашего примера const должен относиться к указателю, а не данным, на которые он указывает.

@DrOffset · 24.01.2017, 16:27

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

Не понял
Нельзя же сменить значение, чем не константа?

Очень просто.
Сам объект, безымянный объект в памяти динамической, НЕ константа. А указатель, который связан с этим объектом объявлен с const. Пример выше с обычным объектом на стеке смотри. Указатель не даст изменить объект, да. Но сам объект - не константа. Поэтому если мы сделаем к такому указателю const_cast и снимем константность, то изменение объекта не будет считаться UB, в отличие от варианта, когда объект изначально const.

@Undisputed · 24.01.2017, 16:27 **[ТС]**

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

int * ciq = new const int(3); // error

Т.е это просто синтаксический сахар, что бы повысить гарантию того, что когда мы будем создавать константный объект, что бы тип переменной был указан правильно?

@GbaLog- · 24.01.2017, 16:28

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

Снять константность это как?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
void foo(const int & n)
{
    const_cast<int&>(n) = 10;
    //n = 10; //compile-time error
}
 
int main()
{
    int n;
    std::cout << n << "\n";
    foo(n);
    std::cout << n << "\n";
}

MrGluck · 24.01.2017, 16:29

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

Снять константность это как?

Попытка снять константность - это например так

C++
1
2
const int x = 2;
int * const y = &x; // error, константный указатель на неконстантные данные

Хотя можно заткнуть компилятор с помощью каста, но попытка изменения данных, которые были константными - UB, как уже верно подметил DrOffset.

@Undisputed · 24.01.2017, 16:30 **[ТС]**

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

Есть разница между указателем на константу (в вашем примере) и константным указателем. Для запрета операции из вашего примера const должен относиться к указателю, а не данным, на которые он указывает.

const int* const ciq1 = new int (3);//объект-константа и его указатель тоже константный
Речь ведь о такой записи, насколько я понял. Если да, то все же смысл const после new особо не ясен

MrGluck · 24.01.2017, 16:31

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

Т.е это просто синтаксический сахар, что бы повысить гарантию того, что когда мы будем создавать константный объект, что бы тип переменной был указан правильно?

Это не синтаксический сахар, но да, суть именно такая, о чём я уже писал в сообщении #3.

@Undisputed · 24.01.2017, 16:38 **[ТС]**

GbaLog-,
MrGluck,
Тогда наверное лучше сказать изменить значение константы

Добавлено через 3 минуты
А я понял, речь о const_cast

Добавлено через 3 минуты

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

Очень просто.
Сам объект, безымянный объект в памяти динамической, НЕ константа. А указатель, который связан с этим объектом объявлен с const. Пример выше с обычным объектом на стеке смотри. Указатель не даст изменить объект, да. Но сам объект - не константа. Поэтому если мы сделаем к такому указателю const_cast и снимем константность, то изменение объекта не будет считаться UB, в отличие от варианта, когда объект изначально const.

Кажется допёр. Подтверди плиз))

Такая запись const int * ciq1 = new int (3); запрещает менять значение
Но если с помощью const_cast присвоить это значение новой переменной которая объявлена без const
То это будет валидная операция, и значение можно будет менять
Но если после new написать const, то объект будет размещен в той области памяти которая предназначена только для чтения
И попытка после const_cast сменить значение закончится вылетом из программы
Я прав?

Evg · 24.01.2017, 16:53

Возможно, что тут непонятка была совсем простая. ТС смотрит это как на "const после new", но на самом деле это не так. После new указывается тип, в нашем случае тип - это "const int". Т.е. тут не "const после new", т.к. const - это часть типа "const int"

Добавлено через 2 минуты
Т.е. имеем что-то типа

C++
TTT *ciq = new TTT (3);

где TTT - это const int

@DrOffset · 24.01.2017, 16:57

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

И попытка после const_cast сменить значение закончится вылетом из программы

Вылета может не быть.
Не вся ересь, которую пишет программист, к сожалению будет заканчиваться вылетом.
А так да, в целом верно.

Новые блоги и статьи Все статьи Все блоги /
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. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

Ключевое слово const после ключевого слова new

Решение

Решение

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	24.01.2017, 16:24
	А оно бывает нужно на практике? 0

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	24.01.2017, 16:53
	Возможно, что тут непонятка была совсем простая. ТС смотрит это как на "const после new", но на самом деле это не так. После new указывается тип, в нашем случае тип - это "const int". Т.е. тут не "const после new", т.к. const - это часть типа "const int" Добавлено через 2 минуты Т.е. имеем что-то типа C++ TTT *ciq = new TTT (3); где TTT - это const int 3