m
Size: a a a
2021 March 28
BU
Проблема сейчас в-основном в том, что совершенно легальный очевидный код формально является UB. менее существенная проблема - в constexpr оно просто не компилируется. Ну и есть потенциальные грабли, шибко оптимизирующий компилятор имеет полное право решить, что строки 2D массива кроме первой не модифицируются и что-то из этого вывести
BU
Ну и насчет врапперов. Это чудесно, но mdspan до сих пор не стандартизирован. Каждый раз городить велосипеды?
BU
Конечно все тащить не нужно. Но поправить чуток стандарт в части существования многомерных массивов и доступа к ним через одномерный IMHO не мешало бы
AP
Тащить все подряд в стандарт тоже не лучшая идея. А то мы так и до BLAS в стандарте С++ доберемся когда-нибудь.
BLAS предлагают для включения в стандарт и даже несколько раз его обсуждали
AP
Так что года через 3-6 есть все шансы увидеть в стандарте
BU
BLAS прекрасно существует безотносительно к C++
m
Boris Usievich
Конечно все тащить не нужно. Но поправить чуток стандарт в части существования многомерных массивов и доступа к ним через одномерный IMHO не мешало бы
На счет того, что это грабли на которые судя по предыдущему обсуждению уже многие наступили и что это плохо я согласен. А вот что делать с этим я не знаю. Просто добавлять исключение в правило выхода за границы массива звучит не очень.
BU
На счет того, что это грабли на которые судя по предыдущему обсуждению уже многие наступили и что это плохо я согласен. А вот что делать с этим я не знаю. Просто добавлять исключение в правило выхода за границы массива звучит не очень.
На самом деле в стандарте уже почти все есть. layout многомерных массивов определен. Как работает индексация тоже. Достаточно разрешить (видимо только явное) преобразование указателей на массивы разной размерности (при условии, что новый массив по реальному размеру умещается в оригинальный, а иначе UB)
m
Boris Usievich
На самом деле в стандарте уже почти все есть. layout многомерных массивов определен. Как работает индексация тоже. Достаточно разрешить (видимо только явное) преобразование указателей на массивы разной размерности (при условии, что новый массив по реальному размеру умещается в оригинальный, а иначе UB)
А явный каст на мой взгляд ничего не решит. Проблема же в том, что писать
*a или a[0] удобно и так написано много кода.BU
Явный каст решит проблему как динамически выделить многомерный массив с неконстантными размерами
ПК
Boris Usievich
Явный каст решит проблему как динамически выделить многомерный массив с неконстантными размерами
Его и щас можно выделить
BU
Многомерный массивы это естественная абстракция, существующая во всех языках, зачем от нее отказываться?
ПК
Boris Usievich
Многомерный массивы это естественная абстракция, существующая во всех языках, зачем от нее отказываться?
Никто не отказывается от абстракции. Отказываемся от реализации в виде сишных массивов
BU
Они не сишные, они такие везде :)