*(&Arr+1) - arr) А как это вообще работает? это UB какое-то

Question

*(&Arr+1) - arr) А как это вообще работает? это UB какое-то

или что? Взять ссылку от ссылки на массив (которая возвращает то же самое что массив, как я вижу). Прибавить 1 (получится 1 элемент массива (после 0)). И от разименового первого элемента отнять ссылку на нулевой. ЧТо это, где почитать, нечего вменяемого не наёшл

#c #programming #russian

0

21.12.2023

12 ответов

29 просмотров

²

а получается это чтото в роде sizeof(arr)/sizeof(*arr) только для рантайма чтоли

0

21.12.2023

2happy Автор вопроса

²
а получается это чтото в роде sizeof(arr)/sizeof(...

А в чём разница от обычного сайзофа? быстрее считается же? Или когда это использговать?

0

21.12.2023

²

2happy
А в чём разница от обычного сайзофа? быстрее счита...

а какой контекст такой записи?

0

21.12.2023

2happy Автор вопроса

²
взять адрес от arr переместится на 1 разыменовать ...

Я просто увидел, что так можно длинну массива найти. И немного непонятно, почему такая очерёдность действий должна выводить длинну массива

0

21.12.2023

²

2happy
Я просто увидел, что так можно длинну массива найт...

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

0

21.12.2023

Денис Rabbit

Это уб, выход за границу массива. Почему работает? Ну компиль решил тебя не травмировать. В данном случае &arr имеет тип указатель на массив, прибавив к нему 1 ты прибавил по сути длину массива, умноженную на размер элемента, т.е. обычная адресная арифметика, где тип объекта, на который ссылается указатель является массивом. Далее ты разыменовал этот указатель и как раз получил уб. При разыменовании у тебя получился тип массив, далее идёт бинарный минус, т.е. твой массив скастился до указателя на тип элемента массива, аналогичное произошло и с правым операндом, таким образом левый операнд имеет значение адрес начала массива + оффсет равный длине массива на размер элемента, в правом операнде адрес начала массива того же типа, далее вычитание по правилам адресной арифметики и вуаля - ты получаешь размер массива. Код говно, так писать нельзя, на этом всё.

0

21.12.2023

2happy Автор вопроса

Денис Rabbit
Это уб, выход за границу массива. Почему работает?...

Спасибо, стало понятно. А в си много пдобного рода UB, которые могут примененые для получения чего-то адекватного? Или по-хорошему прочитать стандарт ANSI и избегать всего, что там ненаписано?

0

21.12.2023

Денис Rabbit

2happy
Спасибо, стало понятно. А в си много пдобного род...

Это не адекватно. Адекватное решение было через сайзоф, у мелкомягких оно и является стандартным (_countof). Ну а стандарт конечно прочитать нужно обязательно и не допускать уб в коде.

0

21.12.2023

Ilya Zviagin

Это UB Это аналог *( (decltype(arr[0]) *) 1) Приведение единицы к указателю на тот тип элементами которого является этот массив И это обращение по неизвестному адресу

0

22.12.2023

Ilya Zviagin

²
а получается это чтото в роде sizeof(arr)/sizeof(...

Нет

0

22.12.2023

Ilya Zviagin

2happy
Я просто увидел, что так можно длинну массива найт...

К длине массива Это не имеет отношения Длина массива вычисляется sizeof(arr) / sizeof (arr[1])

0

22.12.2023