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

@ctrlf11 · Регистрация: 14.06.2022

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
struct Value
{
    const int m_value = 0;
    Value(const int m_value = 1) : m_value(2)
    {
    }
} v;
 
int main()
{
    std::cout << v.m_value << '\n';
    return 0;
}

Почему поле m_value объекта v инициализируется значением 2, а не нулём ? Если закомментировать 6-ую строку кода следующим образом

C++
1
    Value(const int m_value = 1)// : m_value(2)

то программа напечатает значение 0. Наконец, если модифицировать определение структуры следующим образом

C++
1
2
3
4
5
6
7
struct Value
{
    const int m_value;
    Value(const int m_value = 1)
    {
    }
} v;

то компилятор выдаёт ошибку uninitialized const member. Передать через параметр ту самую единицу по умолчанию не удаётся. Но если =1 в данном примере считается присваиванием, а не инициализацией, то почему тогда компилятор не ругается на предыдущие примеры ? Ведь мы там пытаемся записать единицу в константу, но компилятор не выдаёт ошибку, и не записывает единицу, а тупо игнорирует этот параметр по умолчанию.

@programmer_08 · 14.06.2022, 21:43

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

struct Value
{
const int m_value;
Value(const int m_value = 1)
{
}
} v;

здесь он ругается, н ато что у вас неинциализирована константа.

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

Value(const int m_value = 1)

таким образом вы никуда ничего не запишите, а просто передадите константу в функцию (конструктор)

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

Value(const int m_value = 1) : m_value(2)

Здесь ещё до вызова конструктора вызывается конструктор переменной m_value и туда записывается значение 2, после чего оно не меняется на ноль, т.к. константа.
const int m_value = 1, эта вещь в качестве параметра конструктора лишняя и ни на что не влияет.
Надеюсь нигде не наврал)
можете кстати отладчиком побегать, с заходом внутрь

@Folian · 14.06.2022, 22:17

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
struct Value
{
    const int m_value = 3;
    Value(const int m_value = 1) : m_value(m_value)  // <--
    {
    }
    Value(const Value& other){}
};
 
int main()
{
    Value a;
    Value b(2);
    Value c(b);
 
    std::cout << a.m_value << " " << b.m_value << " " << c.m_value; // 1 2 3
 
    return 0;
}

@DrOffset · 15.06.2022, 00:09

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

Но если =1 в данном примере считается присваиванием, а не инициализацией

Считается инициализацией. Но это инициализация параметра функции.
От того, что вы параметр функции назвали так же как член класса, значение из параметра магическим образом в член класса не запишется.

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

Здесь ещё до вызова конструктора вызывается конструктор переменной m_value и туда записывается значение 2

Во-первых не до вызова конструктора, а во время вызова. Список инициализации конструктора - это часть работы конструктора.
Во-вторых у встроенных типов нет конструкторов. Инициализация это более широкое понятие, чем вызов конструктора. Т.е. вызов конструктора - это частный случай инициализации, а не наоборот.

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

после чего оно не меняется на ноль, т.к. константа.

Нет, оно не меняется на ноль, потому что инициализация нулем - это инициализация по умолчанию, а пользователь (то есть программист) решил в данном случае инициализацию сделать явно через указание ее в списке инициализации. Если убрать параметр по умолчанию у конструктора, т.е. сделать этот конструктор не конструктором по умолчанию, то инициализация нулем будет работать при инициализации Value по умолчанию. То есть:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
struct Value
{
    const int m_value = 0;
    
    Value(const int value) : m_value(value)
    { }
    Value() = default;
};
 
int main()
{
    Value v1(2); // m_value = 2
    Value v3;    // m_value = 0
}

Добавлено через 2 минуты
Тоже самое поведение в старом С++ возможно было сделать так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
struct Value
{
    const int m_value;
    
    Value(const int value = 0) : m_value(value)
    { }
};
 
int main()
{
    Value v1(2); // m_value = 2
    Value v3;    // m_value = 0 // Конструктор Value является конструктором по умолчанию
                            //, если в него не передавать параметр
}

@TheCalligrapher · 15.06.2022, 01:00

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

Почему поле m_value объекта v инициализируется значением 2, а не нулём ?

Потому что вы сами явно попросили инициализировать его значением 2. Откуда тут взяться нулю?

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

Если закомментировать 6-ую строку кода следующим образом
то программа напечатает значение 0.

Ваш инициализатор = 0 в строке 5 - это ни что иное, как команда компилятору в конструкторе сделать m_value(0), если вы сами не укажете другого инициализатора. В исходном варианте вы сделали m_value(2), поэтому строка 5 никакой роли не сыграла вообще.

В этом варианте вы ничего не делаете для m_value, поэтому компилятор подставляет m_value(0).

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

Наконец, если модифицировать определение структуры следующим образом
то компилятор выдаёт ошибку uninitialized const member.

Разумеется. Он uninitialized.

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

Передать через параметр ту самую единицу по умолчанию не удаётся.

Как это "не удается"??? Мало ее параметром передать, надо же ее еще в поле m_value поместить:

C++
1
2
3
4
5
6
7
struct Value
{
    const int m_value;
    Value(const int m_value = 1) : m_value(m_value)
    {
    }
} v;

За вас это никсто не сделает.

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

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

Здесь какой-то набор слов пошел. Все совершенно не понятно. О каком "присвоении" идет речь вообще?

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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 —. . .

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

Решение

Решение