Поведение указателей в Cи?

Question

[avion]

Здравствуйте, что означает выражение float* arr = {0, 0, 0, 0}; Это присваивание адреса первого байта массива {0, 0, 0, 0} указателю float? Если да, то что происходит с элементами в массиве, они становятся элементами типа float?
И что будет в i, после данных действий?

float* arr = {0, 0, 0, 0};
int i = *((int*)arr);

Answer 1

[jcmvbkbc]

Это присваивание адреса первого байта массива {0, 0, 0, 0} указателю float?

Нет. Так можно было бы инициализировать массив. Но если так инициализировать указатель, то это присваивание самому указателю значения 0.

что будет в i, после данных действий?

сегфолт при попытке разыменования указателя.

Начиная с с99 можно сделать так:
float* arr = (float []){0, 0, 0, 0};
и это означает создание в текущем контексте (на стеке, если эта строчка внутри функции, или в глобальных данных, если вне) массива из 4 элементов типа флоат, инициализация их нулями и присваивание указателю arr адреса этого массива.
В этом случае int i = *((int*)arr); проинтерпретирует память первого элемента массива как целое число и присвоит его значение i. По стандарту ieee754 нулевое значение типа float представляется в памяти как 4 нулевых байта, соответственно в i будет записан 0.

Comments

[avion]

Получается, что при float* arr = {0, 0, 0, 0}; arr просто присваивается как адрес первый элемент массива?
К примеру, если бы массив был {1, 2, 3, 4}, то указатель arr просто бы содержал адрес 1?

[jcmvbkbc]

К примеру, если бы массив был {1, 2, 3, 4}, то указатель arr просто бы содержал адрес 1?

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

[avion]

jcmvbkbc, А почему такое компилируется?

float* arr[] = {0, 0, 0 ,0};
int i = *((int*)arr);
printf("%d", i);

Тут же создается массив указателей, адрес которых = 0.
Здесь происходи разыменование 1 элемента массива указателей, но почему не выводит сегфолт?
printf выводит 0.

[jcmvbkbc]

Тут же создается массив указателей, адрес которых = 0.

Каждый из которых указывает на 0, да. Но arr при этом -- не 0.

int i = *((int*)arr);
Здесь происходи разыменование 1 элемента массива указателей,

Нет. Здесь происходит разыменование адреса arr.

почему не выводит сегфолт?

Потому что arr -- не 0.

printf выводит 0?

Да, потому что первый элемент массива arr -- указатель со значением 0. Его значение (проинтерпретированное как int) мы и наблюдаем в выводе printf.

[avion]

jcmvbkbc, Не подскажите, где можно почитать про присваивания подобных {0, 0, 0, 0} для разных типов и объектов?

[jcmvbkbc]

где можно почитать про присваивания подобных {0, 0, 0, 0} для разных типов и объектов?

Данил, в стандарте же. Например, в драфте С11 это раздел 6.7.9, пункты 8 и 11.

Answer 2

[towin]

arr будет указывать на первый байт первого элемента массива float чисел.
Если мы этот указатель float* преобразовываем в указатель int*, то мы начинаем работать с данными как c int. Что будет в i - двоичное представление числа float, но прочитанного как int, то есть практически мусор. Никакого округления до целого числа производиться не будет.

Comments

[jcmvbkbc]

arr будет указывать на первый байт первого элемента массива float чисел.

Это не так, в чём легко убедиться: https://godbolt.org/z/VsW0-G