P
еще раз: N-мерные массивы по M элементов в си плюсах равно как и в си без плюсов располагаются линейно в памяти, занимая N*M*sizeof(array_type) байт?
Size: a a a
2021 March 14
P
вот где что-то может пойти не так?!
RP
еще раз: N-мерные массивы по M элементов в си плюсах равно как и в си без плюсов располагаются линейно в памяти, занимая N*M*sizeof(array_type) байт?
все верно. а теперь почитай статью
P
все верно. а теперь почитай статью
не хочу)
RP
ты не можешь обращаться к корректно аллоцированной памяти через невалидный указатель
A
еще раз: N-мерные массивы по M элементов в си плюсах равно как и в си без плюсов располагаются линейно в памяти, занимая N*M*sizeof(array_type) байт?
никто не гарантирует, что инкремент указателя внутри массива и между массивами - это одно и тоже
RP
невалидный в данном случае - array + i
P
ты не можешь обращаться к корректно аллоцированной памяти через невалидный указатель
если у разрабов сей были еще лечимые проявления шизофрении, то у си плюсников они уже переросли в клинику)
P
если все так плохо как вы описываете)
RP
единственное исключение - указатель на "законец" массива, чтобы вы могли проверять всякие std::end
RP
да я вообще на расте пишу
RP
не приписывайте мне свои С и С++ болезни)
IA
еще раз: поведение кода, который вы написали, в стандарте определено сложнее, чем вы себе представляете
я не претендую на експерта по знанию стандарта но существует банальная цепочка россуждений которая и приводит меня к моему представлению:
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
IL
я как-то слышал о каком-то strict aliasing rule...
P
не приписывайте мне свои С и С++ болезни)
не не это не тебе вообще)
это я ворчу прст
это я ворчу прст
ПК
я не претендую на експерта по знанию стандарта но существует банальная цепочка россуждений которая и приводит меня к моему представлению:
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
> разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
Нет такого определения
Нет такого определения
P
я не претендую на експерта по знанию стандарта но существует банальная цепочка россуждений которая и приводит меня к моему представлению:
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
1) елементы массивов идут последовательно даже если елементом масива выступает масив
2) прибавление числа к указателю на некоторый тип смешает указатель на это число
3) разыменование указателя указываюшего на кусок памяти выделеный под вашу програму ub вызвать не способно по определению
что мы имеем с точки зрения компилятора в foo перебор некоторых указателей, на легальной области памяти, да формально мы вышли за пределы масива, он должен состоять из 5ти елементов, но дальше идет память точно так же принадлежащая нам, и компилятор не имеет ничего против, он не анализирует как ты пришел к этому адресу, его волнует только принодлежит эта память тебе или нет, а память принадлижит тебе (смотри пункт первый) так что array + i, ошибка только И ТОЛЬКО логического характера...
+
S
Andrey Glebov
Тут получается out-of-bounds array access:
(array + i) не валидно если i > N, где N - размер массива.
какого массива? того, что получился в выражении array[0]
а это массив типа int[5]
(array + i) не валидно если i > N, где N - размер массива.
какого массива? того, что получился в выражении array[0]
а это массив типа int[5]
Невалид i ≥ N, т.к последний элемент будет иметь индекс N - 1.
{0, 1, 2, 3, 4} => N = 5
Элемента с индексом 5 не существует.
{0, 1, 2, 3, 4} => N = 5
Элемента с индексом 5 не существует.
VS
Stepan
Невалид i ≥ N, т.к последний элемент будет иметь индекс N - 1.
{0, 1, 2, 3, 4} => N = 5
Элемента с индексом 5 не существует.
{0, 1, 2, 3, 4} => N = 5
Элемента с индексом 5 не существует.
но вычислить указатель на него можно
A
но вычислить указатель на него можно
нельзя