Константая ссылка на неконстанту

@traregs · Регистрация: 08.07.2013

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

Тема много где обсуждалась, но белые пятна всё же есть.
Просьба знающим объяснить механизм и смысл явления:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class FooClass
{
private:
   bool OK_private;
public:
   const bool& OK_public = OK_private;
}
 
void FooFunc()
{
   FooClass* FC = new FooClass();
   FC->OK_public = true;
}

Компилятор это пропускает без помарок...
А если написать:

C++
1
2
3
4
5
6
void BarFunc()
{
   bool OK_var;
   const bool& OK_const = OK_var;
   OK_const = true;
}

то это - однозначная ошибка!

@DU · 09.03.2014, 13:54

ссылки сами по себе являются константами.
при их создании нужно указать на что они ссылаются и после
это уже поменять нельзя. они всегда будут ссылаться в то место,
которое при конструировании указали.
поэтому тип const bool& - это ссылка на константу (константная ссылка на константу если хотите).
т.к. константу менять запрещается - получаем ошибку.

И мне не очень понятно как у вас первый пример заработал. Глюк какой-то.

@traregs · 09.03.2014, 14:07 **[ТС]**

Ничего подобного!
Код:

C++
1
2
3
4
5
6
7
8
9
void BarFunc()
{
   bool OK_var;
   const bool& OK_const = OK_var;
   OK_var = true;
   printf("%s %s", OK_var ? "true" : "false", OK_const ? "true" : "false");
   OK_var = false;
   printf("%s %s", OK_var ? "true" : "false", OK_const ? "true" : "false");
}

- работает! И выводит:
true true
false false

@DU · 09.03.2014, 14:10

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

@traregs · 09.03.2014, 14:16 **[ТС]**

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

поэтому тип const bool& - это ссылка на константу (константная ссылка на константу если хотите)

В общем, ссылка не на константу, как получилось

Но суть не в этом - попробуйте первый пример себе в компилятор. У меня VS2013. Я не проверял будет ли ошибка выполнения, так как это не особо меняет ситуацию. Мне вполне хватило, что проект с аналогичным кодом собрался без замечаний

@DU · 09.03.2014, 14:23

бывают случаи, на которые студия смотрит сквозь пальцы, хотя стандарт
эти случаи явно запрещает. но этот - это ахтунг какой-то.
2013 студии не имею. есть 2012. пришлось немного модифицировать,
чтобы собралось. выдает законную ошибку о попытке изменить константу.
онлайн gcc компилятор аналогичную выдает:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
class FooClass
{
private:
   bool OK_private;
 
public:
   const bool& OK_public;
 
public:
  FooClass()
    : OK_public(OK_private)
  {
  }
};
 
int main()
{
  FooClass* FC = new FooClass();
  FC->OK_public = true;
  return 0;
}

@0x10 · 09.03.2014, 14:25

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

Мне вполне хватило, что проект с аналогичным кодом

Видимо, что-то потеряли. Как уже сказали выше, ошибка компиляции. Может, там ссылка на константный указатель, который указывает на неконстантные данные или еще какой изврат?

@traregs · 09.03.2014, 14:44 **[ТС]**

Сообщение от 0x10

или еще какой изврат?

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

Есть ещё одно подозрение - пока не проверял:
у меня public переменная называлась просто OK
Может быть оно - какое-то ключевое слово, и поэтому компилятор дурит.

Tulosba · 09.03.2014, 14:58

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

А оно взяло и собралось

Видимо есть какое-то отличие м/у кодом из "большого проекта" и кодом, приведенным здесь.

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

поле, доступное на запись членам и на чтение извне.

Обычный подход: это приватное поле и геттер к нему.

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

Может быть оно - какое-то ключевое слово, и поэтому компилятор дурит.

Нет такого ключевого слова OK.

@DrOffset · 09.03.2014, 14:59

traregs,

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class FooClass
{
private:
   bool OK_private;
public:
   const bool& OK_public = OK_private;
};
 
void FooFunc()
{
   FooClass* FC = new FooClass();
   FC->OK_public = true;
}

Вот этот твой пример, собери отдельно, если не собирал, и убедишься, что будет ошибка компиляции.
Ссылка - это псевдоним для переменной, если ссылка константная, то через нее нельзя менять переменную. Если ссылка неконстантная, то можно. Причем неконстантную ссылку на константный объект нельзя создать. А константную ссылку на неконстантный объект - можно, в этом случае через сам объект можно будет менять значение, а через ссылку - нет.

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

@traregs · 09.03.2014, 17:52 **[ТС]**

Пересобрал. Глюки - исчезли. Невероятно, что за фантом вчера был!
Теперь чётко выдаёт: "error C3892: FC: невозможно присваивать значения переменной, которая объявлена как константа" или "error C2166: левостороннее значение указывает на объект-константу (const)"

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@DU 1500 / 1146 / 165 Регистрация: 05.12.2011 Сообщений: 2,279
	09.03.2014, 13:54
	ссылки сами по себе являются константами. при их создании нужно указать на что они ссылаются и после это уже поменять нельзя. они всегда будут ссылаться в то место, которое при конструировании указали. поэтому тип const bool& - это ссылка на константу (константная ссылка на константу если хотите). т.к. константу менять запрещается - получаем ошибку. И мне не очень понятно как у вас первый пример заработал. Глюк какой-то. 0

@DU 1500 / 1146 / 165 Регистрация: 05.12.2011 Сообщений: 2,279
	09.03.2014, 14:10
	ну так вы меняете значение не через константную ссылку а саму переменную, на которую она ссылается. в этом случае все логично. объект нельзя поменять через ссылку. 0

@traregs 0 / 0 / 0 Регистрация: 08.07.2013 Сообщений: 10
	09.03.2014, 17:52 [ТС]
	Пересобрал. Глюки - исчезли. Невероятно, что за фантом вчера был! Теперь чётко выдаёт: "error C3892: FC: невозможно присваивать значения переменной, которая объявлена как константа" или "error C2166: левостороннее значение указывает на объект-константу (const)" 0