Освободится ли память?

DrobyshevAlex · Регистрация: 31.05.2012

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

C++
1
2
3
4
5
6
voin f(char const*  str) {
    ...
}
 
for (int i = 0; i < 100; i++)
    f("Hello world!");

Это хоть и указатель, но строка же без нью создана, значит не будет утечки памяти?

@saden · 19.01.2015, 15:52

Опять же выходит, если я "подрехтую" снаружи литерал для одной ф-ции, то нарушится и возврат второй функции.

@Somebody · 19.01.2015, 15:55

C++14 2.14.5.12:

Whether all string literals are distinct (that is, are stored in nonoverlapping objects) is implementation-defined. The effect of attempting to modify a string literal is undefined.

Добавлено через 1 минуту
(Это также допускает, что "foobar" + 3 может оказаться равно "bar".)

@hoggy · 19.01.2015, 15:57

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

Опять же выходит, если я "подрехтую" снаружи литерал для одной ф-ции, то нарушится и возврат второй функции.

Вы получите UB, потому что литерная константа - это неизменяемый статический массив символов.

Изменение состояния "константы от рождения" есть UB.

@saden · 19.01.2015, 16:01

Логика моя исходит из объектного стиля. Мы объявляем пустые ф-ции для изменения наследниками. А компилятор взял, и указал их на одну область памяти - они ж одинаковые. Что ж это будет???
Понимаю, что ООП - другая тема, но логика моя стонет и плачет...

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

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

Изменение состояния "константы от рождения" есть UB.

А если через адрес в памяти? Через псевдоним?

Добавлено через 2 минуты
Посмотри на #14 - в асм. листинге нет запрета на область памяти. Все объявлены в одном блоке, то есть через ссылку .LС0 могут быть изменены

@Kastaneda · 19.01.2015, 16:05

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

Если реализации функций будут раскиданы по разным ед. трансляций, то может и не слить.

В этом случае да, не сливает.

@hoggy · 19.01.2015, 16:07

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

Логика моя исходит из объектного стиля. Мы объявляем пустые ф-ции для изменения наследниками. А компилятор взял, и указал их на одну область памяти - они ж одинаковые. Что ж это будет???
Понимаю, что ООП - другая тема, но логика моя стонет и плачет...

Объектный стиль здесь - монопенисуально-ортогонален.

В одном случае вы хотите вернуть указатель на "hello"
И в другом случае вы хотите вернуть указатель на "hello"

Получается, в обоих случаях вы хотите вернуть указатель на "hello"

Оптимизирующий компиль может это пофиксить, он не сделает дублирования данных.
В обоих случаях вы просто получите указатель на "hello"

К ООП, наследованию/полиморфизму это не имеет никакого отношения, и никак не отразится.

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

А если через адрес в памяти? Через псевдоним?

Вы понимаете смысл слова "константа" ?

Вы взяли, и грязным хаком изменили то, что в принципе не должно было изменится.
Последствия не предсказуемы.

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

в асм. листинге нет запрета на область памяти

Не нужно смотреть ассм. Потому что один и тот же компиляр с разными настройками может сгенерить разный выхлоп.

UB не означает, что все обязательно будет плохо.
UB означает, что последствия могут быть какими угодно.

Сегодня повезло, завтра не повезет.

@Kastaneda · 19.01.2015, 16:07

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

Посмотри на #14 - в асм. листинге нет запрета на область памяти. Все объявлены в одном блоке, то есть через ссылку .LС0 могут быть изменены

Там строка "hello" в секции .rodata, а rodata - это read only data.

@saden · 19.01.2015, 16:09

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

Вы понимаете смысл слова "константа" ?

Вы взяли, и грязным хаком изменили то, что в принципе не должно было изменится.
Последствия не предсказуемы.

Константа - это то, что я объявил константой. Я! Программист-творец кода. А не то, что за меня решил оптимизатор

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

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

Там строка "hello" в секции .rodata, а rodata - это read only data.

Недосмотрел...
Еще хуже...

@CheshireCat · 19.01.2015, 16:10

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

Вы ошибаетесь: [....] вывод:
Hello, world!
is same ? 1

А вот если функции foo() и bar() будут разнесены по разным единицам компиляции, то результат станет такой:
Hello, world!
is same ? 0

@hoggy · 19.01.2015, 16:12

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

Константа - это то, что я объявил константой. Я! Программист-творец кода. А не то, что за меня решил оптимизатор

Оптимизатор здесь не причем.

Вы объявили константу константой.
И компилятор завидев такую константу считает себя вправе считать константу константой.
То бишь он может закладываться на то, что она не будет изменяться.
Может поместить её в реад-онли, оптимизировать и тп.

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

Добавлено через 45 секунд

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

А вот если функции foo() и bar() будут разнесены по разным единицам компиляции, то результат станет такой:

см #20

@saden · 19.01.2015, 16:15

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

ну компиляторы хоть и умные, но с шутками у них туговато.

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

@hoggy · 19.01.2015, 16:20

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

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

Это избыточно.
Компилятор ничего за программиста не решает.

Достаточно банального здравого смысла.

Сначала объявить данные не изменяемыми, а потом начать их изменять - явное противоречие здравому смыслу.
При таком подходе вам ассемблер уже не поможет.

@saden · 19.01.2015, 16:23

Я захотел сделать ЭН функций, возвращающих к-то литералы, которые я потом смогу поменять через доступ к памяти. И, в силу монопенисуальности, задал их всех одинаковыми. И компилятор испохабил мою прогу, направив все ф-ции на одну память, то есть сделав только одну ф-цию и зарезервировав только один кусок памяти (редиска).
Где отключаются оптимизаторы?

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

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

Сначала объявить данные не изменяемыми

Ну не объявлял я, не объявлял...

@hoggy · 19.01.2015, 16:27

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

Я захотел сделать ЭН функций, возвращающих к-то литералы

Функция не может вернуть "какие то литералы".
Функция может вернуть указатель на данные, или ссылку на данные, или копию данных.

"какие то литералы" - это неизменяемый массив символов.

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

которые я потом смогу поменять через доступ к памяти.

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

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

И компилятор испохабил мою прогу

Он выполнил ровно то, что вы сами ему сказали.
Заметьте - он выполнил то, что сказали, а не то, что подумали.

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

Где отключаются оптимизаторы?

В стандарте сказано:

Whether all string literals are distinct (that is, are stored in nonoverlapping objects) is implementation-defined. The effect of attempting to modify a string literal is undefined.

Что означает - зависит от конкретной реализации в конкретном компиляторе.
Что означает, что это может работать и в режиме "без оптимизаций".

Добавлено через 24 секунды

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

Ну не объявлял я, не объявлял...

Это не серьёзный подход.

@saden · 19.01.2015, 16:32

hoggy, я понял Вашу т.з. И, в принципе, с ней согласен.
Я просто удивлен - давно не копался в корнях истины. Раньше было так, как я излогал свои мысли. Видимо, время бежит, надо просто переучиваться. Задачи, которые я приводил как примеры, действительно были мною реализованы (давно, правда, лет 15 тому) и нормально работали. Возможно потому-то я и возмущаюсь...

Новые блоги и статьи Все статьи Все блоги /
Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .
Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .

@saden 184 / 168 / 53 Регистрация: 27.01.2013 Сообщений: 788
	19.01.2015, 15:52
	Опять же выходит, если я "подрехтую" снаружи литерал для одной ф-ции, то нарушится и возврат второй функции. 0

@saden 184 / 168 / 53 Регистрация: 27.01.2013 Сообщений: 788
	19.01.2015, 16:32
	hoggy, я понял Вашу т.з. И, в принципе, с ней согласен. Я просто удивлен - давно не копался в корнях истины. Раньше было так, как я излогал свои мысли. Видимо, время бежит, надо просто переучиваться. Задачи, которые я приводил как примеры, действительно были мною реализованы (давно, правда, лет 15 тому) и нормально работали. Возможно потому-то я и возмущаюсь... 0