Ключевое слово 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 сменить значение закончится вылетом из программы

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

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение/ Перевод https:/ / **********/ gallery/ thinkpad-x220-tablet-porn-gzoEAjs . . .	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-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

Ключевое слово 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