Каково поведение этого фрагмента кода C?

Question

Недавно я увидел следующий код:

if ((rgb = (fp16 *)malloc(width*height*sizeof (*rgb)*3)) == NULL)

rgb объявлен как указатель на некоторый тип класса.В приведенном выше коде malloc () принимает аргументы, которые имеют ширину * высоту * sizeof (* rgb)

Так что это своего рода самореференциальная инициализация (если я могу вызвать ее, задав это имя!), Т.е.Указатель belore rgb выделяется malloc, он разыменовывает его при вызове malloc.

В этом конкретном коде я увидел, что указатель rgb не инициализируется значением NULL или чем-либо еще.

Каково будет поведение такого кода.

• Нормальное функционирование или

• Сбой из-за разыменования нулевого указателя или

• Разыменование указателя гаража

спасибо,

-AD.

Answer 1

sizeof не оценивает свой операнд, поэтому в этом случае sizeof(*rgb) вернет размер типа rgb, который, я предполагаю, равен fp16 *.

Полностью допустимый C-код.

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

Answer 2

На самом деле указатель не разыменовывается, sizeof(*rgb) определяет во время компиляции размер типа, на который указывает rgb.В машинном коде, сгенерированном этой строкой, вместо термина sizeof(*rgb) будет использоваться буквенное число.

Answer 3

sizeof не оценивает свой аргумент. Он только вычисляет его размер. Таким образом, вы не получите неопределенное поведение , связанное с разыменованием неинициализированного указателя.

Answer 4

В кавычках:

я видел, что указатель rgb не инициализируется значением NULL или чем-либо.if условие.

То есть строка кода в порядке.

Answer 5

При нормальных обстоятельствах блок if не произойдет, когда malloc будет успешнымЕсли malloc не удается, блок будет выполнен.