Нюансы синтаксиса: запись double *array - это указатель или что-то иное?

@F1xie · Регистрация: 19.02.2018

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

double *array
* что это указатель или что?

@rat0r · 31.01.2019, 13:30

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

То, что создаётся через new[], к типу данных массив не имеет отношения.

Потому что Липпман так скозал?

nd2 · 31.01.2019, 13:57

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

Потому что Липпман так скозал?

Хорошо, давай тогда так: по стандарту, массив не может иметь нулевой размер. С этим согласен?

@Azazel-San · 31.01.2019, 13:59

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

То, что создаётся через new[], к типу данных массив не имеет отношения.

Получается new[] не дает гарантии создания массива (An object of array type contains a contiguously allocated non-empty set of N subobjects of type T)? В чем тогда разница между new[] & new?

When the value of the expression is zero, the allocation function is called to allocate an array with no elements.

Похоже вы путаете то что возвращает new и то что он выделяет.

@rat0r · 31.01.2019, 14:02

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

Хорошо, давай тогда так: по стандарту, массив не может иметь нулевой размер. С этим согласен?

Массив без элементов можно выделить вроде.

Сообщение от https://timsong-cpp.github.io/cppwp/n3337/expr.new#7

When the value of the expression in a noptr-new-declarator is zero, the allocation function is called to allocate an array with no elements.

Croessmah · 31.01.2019, 14:10

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

То, что создаётся через new[], к типу данных массив не имеет отношения.

Это смотря какой тип данных подсунуть в new:

C++
int (*p)[10] = new int[1][10];//Указатель на память в которой лежат массив(ы)

nd2 · 31.01.2019, 14:13

Azazel-San, rat0r, я говорю о типе данных массив. Этот тип данных обладает рядом свойств (по стандарту). Например, размер массива известен на этапе компиляции, размер массива не может быть равным 0, размер массива является частью этого типа данных и может быть извлечён из него с помощью sizeof(). Из этого понятно, что то, что создаётся через new[] не имеет отношения к этому типу данных. И спорить тут не о чем.

Croessmah · 31.01.2019, 14:15

Azazel-San, он (nd2) не об этом, а о том, что возвращаемый new тип не имеет к массиву отношения.
Опять же ТИП "массив" и СТРУКТУРА ДАННЫХ "массив" - разные вещи.
К примеру, структуру данных "массив" реализуют std::array и std::vector, которые к типу "массив" тоже не имеют отношения.

@rat0r · 31.01.2019, 14:21

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

Этот тип данных обладает рядом свойств (по стандарту).

[expr.new] (по стандарту) умеет создавать массивы.

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

И спорить тут не о чем.

Действительно, когда в [expr.new] всё написано.

@Azazel-San · 31.01.2019, 14:29

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

Azazel-San, он (nd2) не об этом, а о том, что возвращаемый new тип не имеет к массиву отношения.

Тут я с вами полностью да согласен, это вроде было еще в сообщении Нюансы синтаксиса: запись double *array - это указатель или что-то иное? уточнено. Вероятно просто я неверно выразился.

nd2 · 31.01.2019, 14:45

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

Массив без элементов можно выделить вроде.

...

8.3.4 Arrays
1 In a declaration T D where D has the form
D1 [ constant-expressionopt] attribute-specifier-seqopt
and the type of the identifier in the declaration T D1 is “derived-declarator-type-list T”, then the type of the
identifier of D is an array type; if the type of the identifier of D contains the auto type-specifier, the program
is ill-formed. T is called the array element type; this type shall not be a reference type, the (possibly cvqualified)
type void, a function type or an abstract class type. If the constant-expression (5.20) is present, it
shall be a converted constant expression of type std::size_t and its value shall be greater than zero.

Добавлено через 2 минуты
И это по стандарту:

C++
1
int* p = new int[0];

Отсюда можно делать выводы.

@rat0r · 31.01.2019, 14:48

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

Отсюда можно делать выводы

что методом [dcl.array] можно создавать массивы, число элементов которых может быть только положительным, а методом [expr.new] можно создавать и пустые массивы.

nd2 · 31.01.2019, 15:01

Ну и ладно, остаёмся при своих мнениях.

@rat0r · 31.01.2019, 15:28

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

Ну и ладно, остаёмся при своих мнениях.

Скучно. Я думал ты спросишь на что указывает результат new expression при создании пустого массива.

@Azazel-San · 31.01.2019, 15:42

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

Я думал ты спросишь на что указывает результат new expression при создании пустого массива.

Таки, а на шо? Ну, допустим int* p = new int[0] случаем не будет тоже что и int* p = new int?

@rat0r · 31.01.2019, 15:44

Сообщение от Azazel-San

Таки, а на шо?

Неизвестно. И defect report-ов по этому поводу не нашлось.

Croessmah · 31.01.2019, 15:51

Сообщение от Azazel-San

Ну, допустим int* p = new int[0] случаем не будет тоже что и int* p = new int?

В gcc это приведет к

C++
//...
operator new (std::size_t sz) _GLIBCXX_THROW (std::bad_alloc)
{
  void *p;
 
  /* malloc (0) is unpredictable; avoid it.  */
  if (sz == 0)
    sz = 1;
//и далее malloc вызывается с параметром sz

malloc с нулем по стандарту зло злючее.
Но компилятор майкрософт знает, что на винде у него всё норм будет и с нулем, поэтому

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

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

@Azazel-San · 31.01.2019, 16:07

Croessmah, сложно

Т.е. gcc вместо new int[0], выделит как new int[1]?
А студия new int[36]?

Croessmah · 31.01.2019, 16:16

Сообщение от Azazel-San

выделит как new int[1]?

malloc принимает размер в байтах, так что будет что-то вроде new char[1], new char[36], но это так, очень грубо. И я же не лазил проверять как работает malloc под линуксом, например. Может там 100500 Гб выделяется. Это я в винде до "потрохов" долез. И то там далее еще WinAPI и менеджер памяти, который еще может навесить страничку ради оптимизации.

@Azazel-San · 31.01.2019, 16:27

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

malloc принимает размер в байтах, так что будет что-то вроде new char[1], new char[36]

Точно-точно, там же в байтах, но тогда int* p будет указывать на что? Хотя получается это UB? Или это ОС нам выделяет побольше?
Стандарт Си говорит такое (это к malloc)

If the size of the space requested is zero, the behavior is implementation defined: either a null pointer is returned, or the behavior is as if the size were some nonzero value, except that the returned pointer shall not be used to access an object.

Получается полученное значение и в C++ не стоит использовать?

Croessmah · 31.01.2019, 16:32

Сообщение от Azazel-San

Стандарт Си говорит такое

Ну вот чтобы получить валидный адрес gcc вызывает malloc(1), вместо malloc(0).

Сообщение от Azazel-San

Получается полученное значение и в C++ не стоит использовать?

У Вас там нет элементов, соответственно, Вы не можете их использовать, однако у Вас есть не нулевой валидный адрес.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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 —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@F1xie 0 / 0 / 0 Регистрация: 19.02.2018 Сообщений: 92

	Нюансы синтаксиса: запись double array - это указатель или что-то иное? 30.01.2019, 15:59. Показов* 9595. Ответов 45 Метки нет (Все метки) double array что это указатель или что? 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	31.01.2019, 14:13
	Azazel-San, rat0r, я говорю о типе данных массив. Этот тип данных обладает рядом свойств (по стандарту). Например, размер массива известен на этапе компиляции, размер массива не может быть равным 0, размер массива является частью этого типа данных и может быть извлечён из него с помощью sizeof(). Из этого понятно, что то, что создаётся через new[] не имеет отношения к этому типу данных. И спорить тут не о чем. 0

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 1
	31.01.2019, 14:15
	Azazel-San, он (nd2) не об этом, а о том, что возвращаемый new тип не имеет к массиву отношения. Опять же ТИП "массив" и СТРУКТУРА ДАННЫХ "массив" - разные вещи. К примеру, структуру данных "массив" реализуют `std::array` и `std::vector`, которые к типу "массив" тоже не имеют отношения. 0

nd2 3438 / 2817 / 1249 Регистрация: 29.01.2016 Сообщений: 9,427
	31.01.2019, 15:01
	Ну и ладно, остаёмся при своих мнениях. 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	31.01.2019, 16:07
	Croessmah, сложно Т.е. gcc вместо `new int[0]`, выделит как `new int[1]`? А студия `new int[36]`? 0