m
Не видишь где стандарт допускает
?
int arr[N];
int* p = arr;
?
Здесь все окей, это array-to-pointer conversion.
Size: a a a
2021 March 14
ПК
Здесь все окей, это array-to-pointer conversion.
Ну дак я про него и говорил
m
Ну дак я про него и говорил
А при чем здесь это если речь идет о
>
Здесь уже нет массива. Есть указатель на массив полученный как раз через array-to-pointer conversion.
>
int(*)[N] в int*
?Здесь уже нет массива. Есть указатель на массив полученный как раз через array-to-pointer conversion.
ПК
Не согласен.
Во-первых, я не уверен, что можно легально преобразовать
Во-вторых, да, двухмерный массив можно скастить хоть к void* и передать в функцию. Но чтобы восстановить тип двухмерного массива нужно задать его размер в компайл тайме. Да, технически возможно сделать что-то вроде
но это уже совсем извращение.
В прочем это спор о терминологии. Я не думаю что имеет смысл его продолжать.
Во-первых, я не уверен, что можно легально преобразовать
int[N][M] в int[N*M]. Я не исключаю этого но мне нужно покопаться в стандарте.Во-вторых, да, двухмерный массив можно скастить хоть к void* и передать в функцию. Но чтобы восстановить тип двухмерного массива нужно задать его размер в компайл тайме. Да, технически возможно сделать что-то вроде
if (n==1) { auto array = (int[][1])input; ... }
if (n==2) { ...но это уже совсем извращение.
В прочем это спор о терминологии. Я не думаю что имеет смысл его продолжать.
> Во-первых, я не уверен, что можно легально преобразовать
Я говорил, что можно преобразовать
int[N][M] в int[N*M]. Я не исключаю этого но мне нужно покопаться в стандарте.Я говорил, что можно преобразовать
int[N][M] в int*. И дальше его индексировать одномерноIZ
Неявное преобразование массива на указатель на свой первый элемент это называется
IZ
Хорошо, вы согласны, что array-to-pointer conversion применяется автоматически?
Да, так и есть
ПК
Теперь передайте двухмерный массив
upd: Спойлер, не сработает. Нужен будет reinterpret_cast.
int[1][2] в функцию принимающую int*.upd: Спойлер, не сработает. Нужен будет reinterpret_cast.
&arr[0][0]ПК
Да даже
arr[0] сработаетПК
Так что не пойму с чем ты споришь
SK
Теперь передайте двухмерный массив
upd: Спойлер, не сработает. Нужен будет reinterpret_cast.
int[1][2] в функцию принимающую int*.upd: Спойлер, не сработает. Нужен будет reinterpret_cast.
да почему каждый второй в этом чате ищет UB и касты. ну блин массив это кусок памяти. в Си и ++, многомерность массива не вшита в это понятие в рантайме. оно валидно только если есть (сохранен) тип чтобы компилятор мог сообщить о нарушениях типа (во время компиляции). но если вы уверены и понимаете что вы делаете. для вас это просто кусок памяти. как вы будете с ним работать. как с кучей пикселей. или как с картинкой 32х32 пикселя или как 32 строки по 32 пикселя или еще чего... ваше дело.
m
&arr[0][0]Да, так можно, пока ты работаешь только с первым столбцом. Как только ты выходишь за него это UB по моим представлениям, так как это массив размера N, а не N*M.
ПК
Да, так можно, пока ты работаешь только с первым столбцом. Как только ты выходишь за него это UB по моим представлениям, так как это массив размера N, а не N*M.
Вроде тут писали что в стандарте прописано устройство многомерных массивов. Думаю там есть нужные мне гарантии
SS
Вроде тут писали что в стандарте прописано устройство многомерных массивов. Думаю там есть нужные мне гарантии
Ссылочку бы, совершенно неочевидное свойство
m
Вроде тут писали что в стандарте прописано устройство многомерных массивов. Думаю там есть нужные мне гарантии
Да, стандарт гарантирует, что подмассивы будут лежать последовательно. Но из этого не следует что магически меняется размер подмассива.
https://eel.is/c++draft/dcl.array#9
https://eel.is/c++draft/dcl.array#9
ПК
Да, стандарт гарантирует, что подмассивы будут лежать последовательно. Но из этого не следует что магически меняется размер подмассива.
https://eel.is/c++draft/dcl.array#9
https://eel.is/c++draft/dcl.array#9
Дак у нас нет никаких подмассивов внутри функции. У нас там указатель на какой то int. Дальше идёт арифметика с указателями
SS
Да, стандарт гарантирует, что подмассивы будут лежать последовательно. Но из этого не следует что магически меняется размер подмассива.
https://eel.is/c++draft/dcl.array#9
https://eel.is/c++draft/dcl.array#9
А где гарантии?
Then i is added, which on typical implementations ...SS
Дак у нас нет никаких подмассивов внутри функции. У нас там указатель на какой то int. Дальше идёт арифметика с указателями
Арифметика с указателями будет валидна только внутри самого первого одномерного массива