Что значит "изменить" в C++?

@rat0r · Регистрация: 16.02.2018

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

В одной из тем было написано

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

Objects of array types cannot be modified

Чтобы не оффтопить там (т.к. там вопрос про устройство массивов) и не мучать тему 2014-го года, создам новую.
Как понимать сие утверждение?
Возьмём код

C++
1
2
int a[2] = { 0, 2, };
a[1] = 1;

По-моему, массив a после a[1] = 1 изменился.
Получается, "Objects of array types cannot be modified" — неправда? Или всё же массив a не изменился?

@rat0r · 23.04.2018, 22:52 **[ТС]**

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

так литералы и массивы разные вещи

Сообщение от http://eel.is/c++draft/lex.string#8.sentence-2

A narrow string literal has type “array of n const char”

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

Поменяйте литерал 1

Как?

IGPIGP · 23.04.2018, 23:28

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

что имели ввиду те, кто ее написал

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

@QuakerRUS · 23.04.2018, 23:39

rat0r, например так.

C++
1
2
3
4
5
char* ptr = (char*)"123";
char* ptr2 = (char*)"123";
//ptr[0] = '3';
cout << (void*)ptr << endl;
cout << (void*)ptr2 << endl;

Правда на VS2017 адрес литерала я получить смог, а вот редактировать не дает. Может на других компиляторах пропустит и будет UB.

@rat0r · 23.04.2018, 23:44 **[ТС]**

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

например так.

Но ведь это не изменение литерала (который тут массив), а измение его элемента. Мы вроде выяснили, что массивы менять нельзя в принципе (т.к. им нельзя присваивать), а тут вдруг должно быть UB при изменении строкового литерала (который массив).

@QuakerRUS · 23.04.2018, 23:52

rat0r, а вот в этом контексте думаю имеется ввиду изменение именно значения литерала.

Добавлено через 5 минут
rat0r, и вроде как нигде не говорится, что строковой литерал - это массив. Можно к примеру создать строковой массив и иницализировать его строковым литералом, тогда это будет массив.

@rat0r · 23.04.2018, 23:55 **[ТС]**

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

и вроде как нигде не говорится, что строковой литерал - это массив

Я же скинул цитату пару сообщений назад http://eel.is/c++draft/lex.string#8.sentence-2

@QuakerRUS · 24.04.2018, 01:14

rat0r, ага, значит все же массив. Пытаюсь переварить всю фразу, но что то тяжко пока.

Evaluating a string-literal results in a string literal object with static storage duration, initialized from
the given characters as specified above. Whether all string literals are distinct (that is, are stored in
nonoverlapping objects) and whether successive evaluations of a string-literal yield the same or a different
object is unspecified. [ Note: The effect of attempting to modify a string literal is undefined.

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

Час переводил этот текст, как то заумно написано...

Whether all string literals are distinct (that is, are stored in nonoverlapping objects) and whether successive evaluations of a string-literal yield the same or a different object is unspecified.

Если я правильно понял, то здесь как раз и говорится о том, что один и тот же объект может указывать на литерал, а точнее это не определено (этим стандартом как я понимаю). Что думаю как раз подтверждает возможность UB, если отредактировать такой литерал. Думаю имеется ввиду именно редактирование значения литерала.

@Mournful Max · 24.04.2018, 04:25

Цитата:

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

[ Note: Conversions affecting expressions of array type are described in 4.2. Objects of array types cannot be modified, see 3.10. —end note ]

Вопрос:

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

Как понимать сие утверждение?
Возьмём код

C++
1
int a[2] = { 0, 2, };

Ответ:

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

C++
1
a = b; //error

~~~~ ~~~~ ~~~~ ~~~~

Теперь полемика.

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

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

Согласен. В дальнейшем будем отталкиваться от этой вырезки из Стандарта:

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

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T.

\

> Рассматриваем Вашу версию:
Стандарт врет, ибо изменяя элемент массива, — изменяется и сам массив.

> Рассмотрим иную версию:
Массив — это объект, который содержит в себе подобъекты ( элементы массива ). Изменяя подобъект — мы изменяем подобъект, а массив остается неизменным. Имеется в виду, что он все так же остался той же размерности, все так же содержит тот самый подобъект, пусть и измененный ( его это не волнует ). Мутно написано, но если пораскинуть мозгами, то смысл уловить можно. Изменить массив здесь, наверное, будет — изменить его размерность / тип подобъектов.
~~~~ ~~~~ ~~~~ ~~~~

На этом все. Не нужно строить мудреных теорий. В том контексте подразумевалось то, о чем было сказано во #2 посте мистером Croessmah'ом. Если хочется побеседовать, тогда стоит заглянуть сюда: ( Непризнанные теории, гипотезы ).

IGPIGP · 24.04.2018, 08:03

Сообщение от Captain Maxee

Стандарт врет, ибо изменяя элемент массива, — изменяется и сам массив.

Скорее не врёт, а несёт чушь. Это менее болезненно для стандарта, но тем не менее.

Сообщение от Captain Maxee

Массив — это объект, который содержит в себе подобъекты ( элементы массива ). Изменяя подобъект — мы изменяем подобъект, а массив остается неизменным.

А есть объекты (типы объектов, обекты которых ... и т.д. ...) изменяя содержимое которых можно изменить сам объект в данном контексте?
Тогда вот такая фраза достойна высокохудожественного и глубокого отображения огромными буквами на самом большом и твёрдом камне:
Байт неизменен и вечен, но нули и единицы в нём можно переписывать столько раз, сколько вздумается!
Хотя понять это можно. Это не полный маразм, потому что маразм, зто когда не только конец фразы конфликтует с её началом. Это когда и середина конфликтут с обоими соседями.

Сообщение от Captain Maxee

Не нужно строить мудреных теорий.

Почему? Когда живой ум наскакивает на такое, он вправе удивиться.

Сообщение от Captain Maxee

Если хочется побеседовать,

Сюда приходят побеседовать. Разделы определяют тематику. Что не так?

@Mournful Max · 24.04.2018, 15:27

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

Скорее не врёт, а несёт чушь. Это менее болезненно для стандарта, но тем не менее.

Громкое заявление

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

А есть объекты изменяя содержимое которых можно изменить сам объект в данном контексте?

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

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

Байт неизменен и вечен, но нули и единицы в нём можно переписывать столько раз, сколько вздумается!

Согласен, Байт именно такой

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

Почему? Когда живой ум наскакивает на такое, он вправе удивиться.

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

Сюда приходят побеседовать. Разделы определяют тематику. Что не так?

Не то, что бы я с Вами не согласен, даже наоборот. Просто человек этот, rat0r, очень подозрительный тип

, и мне показалось, что он просто хочет позаниматься диффамацией.

IGPIGP · 24.04.2018, 19:29

То есть без многоуважаемого мною Байта нам не разобраться? Согласен. Он классный.

Сообщение от Captain Maxee

Просто человек

Этот человек не подал никаких признаков для подозрений. Тему поднял не новую, но достаточно приличную, чтобы поговорить. О данном вопросе, кстати, можно услышать и от опытных людей, довольно странные суждения.
Единственное, что мне не доставило радости - некоторое упрямство и не желание вдумываться в слова. Хотя полемика была скоротечна и многое простительно. Но хорошая тема решает всё. Думаю, её не зря перенесли в С++. То есть, непризнанных теорий тут не видно. Captain Maxee,

ждём Байта.

Croessmah · 24.04.2018, 19:34

Простой вопрос. Есть шкаф. В нем лежат трусы. Если одни трусы поменять на другие, считается ли это изменением шкафа?

IGPIGP · 24.04.2018, 19:44

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

Простая истина.

Простые истины к сожалению не всем по силам.

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

Есть шкаф.

Вот такая переменная:

C++
1
int a(123);

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

В нем лежат трусы.

Трусы это - рав-два-три.

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

Если одни трусы поменять на другие,

вот так вот:

C++
1
a=345;

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

считается ли это изменением шкафа

Считается ли это изменением переменной a (целого типа)?
А Вы говорите

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

Простая истина.

Тут есть люди которые станут доказывать, что тип инт не изменился. Чуть чуть изменилась, память/компьютер/вселенная... Но объект int a; остался неизменен!

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

Простая истина.

? - Конечно.

@QuakerRUS · 24.04.2018, 19:46

Croessmah, нет, если трусы не относятся к объекту шкафа. А тут трусы входят в объект шкаф, соответственно получаем объект "шкаф с трусами". Трусы убрали и заменили носками, изменился ли объект шкаф с трусами?

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T.

Если это принять за истину, то следующие выражения вызывает когнитивный диссонанс у ТС.

Objects of array types cannot be modified

A narrow string literal has type “array of n const char”

The effect of attempting to modify a string literal is undefined

Croessmah · 24.04.2018, 19:48

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

Вот такая переменная

Это не шкаф, это трусы. Шкаф - массив с трусами.

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

Трусы это - рав-два-три.

Раз-два-три - это черные, синие, зеленые.

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

целого типа

Но вообще, причем здесь переменные? Я спрашивал про шкаф и трусы.

IGPIGP · 24.04.2018, 20:21

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

Я спрашивал про шкаф и трусы.

В шкафу - тролль одетый в трусы? Или трусы надеты на тролля сидящего в шкафу? Читать стандарт в одних трусах (нельзя же так сильно думать о работе ! ) это экстрим. имхо. Особенно, учитывая тот факт, что в шкафу темно и мало кислорода. Впрочем мозг тролля не нуждается в кислороде... Трудный вопрос.

Байт · 24.04.2018, 21:27

Captain Maxee,

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

ждём Байта.

Ребята! Хоть мне и чрезвычайно лестно ваше мнение, и слежу за вашей полемикой с неослабевающим интересом, однако сказать что-то ценное я не в силах. Возможно, я слишком поздно увидел этот топик, когда все, что можно сказать, уже было сказано, в том числе и уважаемым Croessmah, с его блистательными примерами.
Добавить могу только то, что хотя формализация понятий дело увлекательное и полезное, для такого высокого уровня, каковой был здесь достигнут, требуется специфический склад ума, которого я лишен.
Всем удачи и хорошего настроения!

Добавлено через 10 минут
Кстати, вот чисто практический аспект.

C
1
2
3
4
typedef struct { int trus[3]; } SKAF;
SKAF s1, s2;
s1 = s2; // вполне законно = memcpy(&s1, s2, sizeof(SKAF));
s1.rtus = s2.trus;  // Запрещено

IGPIGP · 24.04.2018, 21:49

Сообщение от Байт

s1.rtus = s2.trus; // Запрещено

Трусы нельзя приравнять ни к чему. Даже друг к другу нельзя. Но ни кто не мешает их стирать. Хотя в скафандре можно и не стирать. Особенно имея комплект из трёх пар. Три пары трусов, это сколько кстати? Истый математик всегда пойдёт по пути абстракции и скажет что 3х2=6. Он будет прав. Но трусов доверить ему всё-таки нельзя.

@rat0r · 24.04.2018, 21:49 **[ТС]**

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

Простой вопрос. Есть шкаф. В нем лежат трусы. Если одни трусы поменять на другие, считается ли это изменением шкафа?

Странная аналогия.

Есть башня из кубиков. Пусть они были все синие. Один синий кубик поменяли на красный. Считается ли это изменением башни? Или перед нами такая же башня, как до изменения?

IGPIGP · 24.04.2018, 22:00

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

Считается ли это изменением башни?

Там в башне шкаф. В нём скафандр, в котором три пары трусов. Видите тролля? И я не вижу, - а он есть!
Башня из кубиков - шаткая ~~доказательная база~~ конструкция. Тут такие аргументы просте едят и всё.

Новые блоги и статьи Все статьи Все блоги /
Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .	Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .	мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .

@QuakerRUS 1469 / 1010 / 456 Регистрация: 30.10.2017 Сообщений: 2,799
	23.04.2018, 23:52
	rat0r, а вот в этом контексте думаю имеется ввиду изменение именно значения литерала. Добавлено через 5 минут rat0r, и вроде как нигде не говорится, что строковой литерал - это массив. Можно к примеру создать строковой массив и иницализировать его строковым литералом, тогда это будет массив. 0

Croessmah Неэпический 18150 / 10732 / 2067 Регистрация: 27.09.2012 Сообщений: 27,047 Записей в блоге: 1
	24.04.2018, 19:34
	Простой вопрос. Есть шкаф. В нем лежат трусы. Если одни трусы поменять на другие, считается ли это изменением шкафа? 1