Видимость переменных и текстовая строка нулевой длины

@boolc · Регистрация: 21.09.2017

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

имеется:

C++
1
2
3
4
5
if (len == 0)
    {
        char res[] = "";
    }
char res1[] = "";

результат:

res identifier "res" is undefined

res1 0x003bfb97 "" char[1]

len 0 int

Помогите разобраться, почему вне условия массив определен, а внутри нет ?

Croessmah · 10.03.2018, 00:57

никакой выделенной памяти по этому адресу нет.

Еще раз. Выделенная память вполне может быть.
То что тебе доступно 0 элементов не значит что памяти выделенной там нет.
Выдели ноль int'ов, получишь тот же maĺloc в 1 байт (минимум) на gcc.
Память выделена, тебе доступно ноль int'ов.
Отсутствие delete[] приведет к утечке.
- Видишь суслика?
- Нет.
- А он есть.
- Понял.

@Hitoku · 10.03.2018, 00:58

Не по теме:

Извините, что вмешиваюсь, но вам не кажется, что стоит остановиться? :)

Croessmah · 10.03.2018, 01:00

del

nd2 · 10.03.2018, 01:01

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

Еще раз. Выделенная память вполне может быть.

По стандарту - нет.

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

То что тебе доступно 0 элементов не значит что памяти выделенной там нет.

Значит.

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

- Видишь суслика?
- Нет.
- А он есть.
- Понял.

Спорно, может и нет суслика, мало ли кто и что говорит. Я вот говорю. что память не выделяется. Веришь?

Croessmah · 10.03.2018, 01:03

По стандарту - нет.

Стандарт это оставляет на усмотрение реализации.
Это даже не говоря о пользовательских перегрузках.
В общем, как об стенку. Покеда.

nd2 · 10.03.2018, 01:06

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

Стандарт это оставляет на усмотрение реализации.

Не оставляет. Массив с 0 элементов не занимает память.

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

Это даже не говоря о пользовательских перегрузках.

К конкретному, обсуждаемому коду, это не относится.

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

В общем, как об стенку.

Аналогично.

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

Покеда.

И вам всего хорошего.

@boolc · 12.03.2018, 00:22 **[ТС]**

Всем спасибо за ответы, есть пища для размышлений

nd2 · 12.03.2018, 00:56

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

есть пища для размышлений

Насчёт этого:

C++
1
char *c = new char[0];

Тут память выделяется (Croessmah в этом прав) под блок нулевого (по стандарту) размера. Как хочешь - так и понимай. Абстракция доведённая до абсурда.
То есть, если так выделить память, и не сделать delete [], то будет утечка памяти (по крайней мере, так сообщает Visual Leak Detector).

Croessmah · 12.03.2018, 11:15

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

Тут память выделяется

Ты ж всю тему доказывал обратное.

Ну ладно, будем считать, что не зря здесь вся эта писанина.

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

по крайней мере, так сообщает Visual Leak Detector

Угу, потому что new-expression обращается к operator new[], operator new[] обращается к operator new, а operator new обращается к malloc. В отличии от gcc в компиляторе VS нет увеличения размера на 1 байт, в malloc уходит ноль, а malloc через цепочку вызовов вызывает HeapAlloc для выделения памяти под один блок _CrtMemBlockHeader размером 36 байт (вроде).

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

Абстракция доведённая до абсурда.

Никакого абсурда, всё вполне логично.

@zss · 12.03.2018, 11:54

Обсуждение ушло в сторону от вопроса ТС.
Смею прокомментировать его код:

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

C++
1
2
3
4
5
6
7
8
9
10
11
if (len == 0) 
{ 
    char res[] = ""; // это массив длиной в 1 байт res[0]=0 
// здесь виден res и не виден res1
// res - локальный, а res1 объявлен позже.
} 
// здесь не видны ни res ни res1
// res1 еще объявлен
char res1[] = ""; // это массив длиной в 1 байт res1[0]=0
// здесь не виден res и виден res1
// res1 уже объявлен

nd2 · 12.03.2018, 14:06

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

Ты ж всю тему доказывал обратное.

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

Добавлено через 3 минуты
Это аналогично размеру точки в геометрии: точка есть, но размера у неё нет.

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

Абстракция доведённая до абсурда.

Croessmah · 12.03.2018, 14:16

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

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

Какое решение предлагаешь без выделения памяти?

nd2 · 12.03.2018, 14:21

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

Какое решение предлагаешь без выделения памяти?

Самое простое. Такое же, как и для:

C++
1
char p[0];

Croessmah · 12.03.2018, 14:29

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

Самое простое.

Ошибку компиляции во время выполнения?

nd2 · 12.03.2018, 14:32

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

Ошибку компиляции во время выполнения?

Зачем? Таое же не компилирует:

C++
1
char* p = new char[-1];

Croessmah · 12.03.2018, 14:36

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

Таое же не компилирует

Компилирует. Просто потом вываливается bad_alloc, скорее всего.

nd2 · 12.03.2018, 14:41

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

Компилирует.

Студия отказывается.

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

Просто потом вываливается bad_alloc, скорее всего.

Вот и при 0 пускй вываливается.

Croessmah · 12.03.2018, 14:45

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

Студия отказывается.

http://rextester.com/TRK42022

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

Вот и при 0 пускй вываливается.

То есть городить дополнительный внешний обвяз, если какая-то последовательность должна быть пустой?
То есть пустая последовательность == ошибка?

nd2 · 12.03.2018, 14:54

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

То есть городить дополнительный внешний обвяз, если какая-то последовательность должна быть пустой?
То есть пустая последовательность == ошибка?

Под последовательностью что имеется в виду?

nd2 · 12.03.2018, 15:00

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

То есть городить дополнительный внешний обвяз, если какая-то последовательность должна быть пустой?
То есть пустая последовательность == ошибка?

Ты спросил моё решение - я предложил такое, чтобы выделение памяти не противоречило здравому смыслу.
Но это всё - ни о чём. Пустые разговоры.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Hitoku
	10.03.2018, 00:58
	Не по теме: Извините, что вмешиваюсь, но вам не кажется, что стоит остановиться? :) 0

Croessmah Неэпический 18146 / 10730 / 2066 Регистрация: 27.09.2012 Сообщений: 27,030 Записей в блоге: 1
	10.03.2018, 01:00
	del 0

@boolc 1 / 1 / 0 Регистрация: 21.09.2017 Сообщений: 31
	12.03.2018, 00:22 [ТС]
	Всем спасибо за ответы, есть пища для размышлений 0