Leonid KudryavtsevСкомпилировал в QT. Запустил программу 2-а раза. Ищите отличия сами.
(почему она не свалилась на GPF я не очень понимаю)
В общем, вполне себе undefined бехевиар проявляется )))Так а почему она должна была свалиться на GPF? Сколько потоку отводится на стек по умолчанию? 1МБ? :)
Если сильно повезёт, то указатель не выскочит за пределы массива, а если не повезёт, будет выводить на экран символы за пределами кадра стека текущей функции (может даже выводить байты адресов возврата, сохраненных копий указателя стека и много другого). Крайне маловероятно, что при 100 итерациях мы выскочим вверх за пределы начала стека, получив исключение general protection failure или page fault.

Barlone, как же тогда быть с обычными Си строками на куче, те, что с завершающим нулём? Чтобы получить размер массива символов строки, нам нужно вызвать strlen, передав ей указатель на первый символ строки, а strlen, по заверениям некоторых товарищей, реализована с UB, так как строка не была создана как массив символов через new placement в недрах libstdc++ библиотеки - нельзя, ататашеньки! :)

BarloneКак только выделили память, появился массив... но объектов в этом массиве нет, пока не вызвали placenent newТо есть я не имею права делать так?:

Ведь это же сплошной, тотальный UB!!! :)

BarloneКак только выделили память, появился массив... но объектов в этом массиве нет, пока не вызвали placenent newИ что есть "объект" в понимании стандарта С++?

Barlonea guestПока там не создан массив с помощью placement new — нельзя.Интересная точка зрения. И главное, я не могу найти в стандарте ее опровержения. А есть какие-нибудь обсуждения, комментарии по этому поводу (кроме этой темы)?Это потому, что очень многие никогда не читают "Введение" .

a guest, тебе уже ответили, что есть элемент массива, а что есть объект, но ты привычно не читаешь. 21457288

Когда выражение, имеющее целочисленный тип прибавлено или вычтено из указателя, результат имеет тип операнда указателя. Если операнд указателя указывает на объект элемента массива и массив достаточно велик, результат указывает на смещение элемента от начального элемента так, что разница индексов результирующего и начального элемента массива является целочисленным выражением. Иными словами, если выражение P указывает на i-тый объект элемента массива, выражение (P)+N (в арифметике указателей тоже, что N+(P)) и (P)-N (где N имеет значение n) указывают, соответственно, на i+n-ый и i-n-ый объект элементов массива, если они существуют. Более того, если выражение P указывает на объект последнего элемента массива, выражение (P)+1 указывает следующий объект элемента массива после последнего и если выражение Q указывает на следующий за последним объектом элемента массива, выражение (Q)-1 указывает на последний объект элемента массива. Если оба, и операнд указателя, и результат также указывают на объект массива или на следующий за последним объект элемента массива, результатом оценки выражения не должно являться переполнение, в противном случае, поведение не определено. Если результат указывает на следующий за последним объект элемента массива, этот результат не должен быть использован в качестве операнда унарного оператора * (разыменование указателя).

Примечание: Здесь под элементом массива понимается некая абстрактная единица хранения массива, имеющая размер хранящегося в ней объекта, а под объектом элемента понимается экземпляр любого типа, хранящийся в элементе массива, а не только экземпляр какого-либо класса.

a guestrdb_devпропущено...
Это потому, что очень многие никогда не читают "Введение" .Введение — это не нормативная часть стандарта. (Читай: она ничего не значит)По-твоему, это "ничего не значит"? :)
C++ is a general purpose programming language based on the C programming language as described in ISO/IEC 9899:2011 Programming languages — C (hereinafter referred to as the C standard). C++ provides many facilities beyond those provided by C, including additional data types, classes, templates, exceptions, namespaces, operator overloading, function name overloading, references, free store management operators, and additional library facilities. Ну конечно, народ же это просто от балды написал! Ясно-понятно...

a guestrdb_deva guest, тебе уже ответили, что есть элемент массива, а что есть объектГде?В той части женского тела, которая привычно рифмуется с вопросом "Где?"! :) Глаза разуй!

a guestrdb_dev 21457288 Это из стандарта C. И это не определение массива или объекта. Это про адресную арифметику.Конечно! Что же еще?

a guestrdb_devПо-твоему, это "ничего не значит"?Не по моему, а по правилам написания стандартов ISO.Ok! Правила в студию!

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

a guest, давай-ка почитаем перевод, идеально сделанный yandex переводчиком без каких-либо моих правок, чтоб тебе было понятней, что там написано.
Комментарии излишни.

a guestrdb_deva guestrdb_devПо-твоему, это "ничего не значит"?Не по моему, а по правилам написания стандартов ISO.Ok! Правила в студию!Тот кто утверждает чушь и должен работать доказывая свои утверждения.Так ты и утверждаешь тут какую-то чушь про правила написания стандартов. Утверждаешь - доказывай!

a guestrdb_devпропущено...
Так ты и утверждаешь тут какую-то чушь про правила написания стандартов.Нет, это не чушь, а чистая правда.
Раз я не утверждаю чушь, то и доказывать не должен.Ну так и доказывай, что это "чистая правда" - приведи ссылку на тот фрагмент правил написания стандартов ISO где утверждается, то, что ты тут нам пересказываешь! :)