[BlackBox] Compiler trap.

[Kemet]

По моему не выйдет - там же еще выравнивание небось будет.

Есть же флаги untagged, noalign. Ну и ожно проверить, сравнив адреса записей(адрес конкретного элемента массива) с вычисленным.

[valexey_u]

По моему не выйдет - там же еще выравнивание небось будет.

Есть же флаги untagged, noalign. Ну и ожно проверить, сравнив адреса записей(адрес конкретного элемента массива) с вычисленным.

Можно. Но это будет BlackBox only решение. То несть не КП'шное.

[Geniepro]

Ответил им. Дал быстрый фикс от maliya, и ссылку на эту ветку.

Представляю их лица, когда они переведут эту ветку... (Привет kkk и Ди-ди-дАйзеру)

Да ваще жесть )))

[Geniepro]

В С++ та же проблема без привязки к конкретному компилятору, не так ли? __declspec(align(1))

где то так.. ,  но вроде как еще в допотопных версиях Паскаля проблема решалась использованием packed records.. на уровне языка.

Упакованные записи ещё же с самой первой версии паскаля (виртовской), насколько я помню, есть. И до сих пор в дельфях...

[valexey_u]

В С++ та же проблема без привязки к конкретному компилятору, не так ли? __declspec(align(1))

где то так.. ,  но вроде как еще в допотопных версиях Паскаля проблема решалась использованием packed records.. на уровне языка.

Упакованные записи ещё же с самой первой версии паскаля (виртовской), насколько я помню, есть. И до сих пор в дельфях...

Берем стандарт паскаля: http://www.cs.bilkent.edu.tr/~guvenir/courses/CS315/iso7185pascal.pdf
Ищем слово align - не находим ничего. Можешь попробовать самостоятельно найти. Думаю, что с соглашениями о вызове процедур будет примерно то же самое.

[valexey_u]

Кстати, а вот виртовский паскаль: http://www.bandwidthco.com/history/programming/Wirth%20Pascal%20Programming%20Language.pdf

[DddIzer]

Кстати, а вот виртовский паскаль: http://www.bandwidthco.com/history/programming/Wirth%20Pascal%20Programming%20Language.pdf

вот и ищите там слово "packed" - про aligned  никто ничего не говорил (в контексте Паскалей)

[DddIzer]

По моему не выйдет - там же еще выравнивание небось будет.

Есть же флаги untagged, noalign. Ну и ожно проверить, сравнив адреса записей(адрес конкретного элемента массива) с вычисленным.

Можно. Но это будет BlackBox only решение. То несть не КП'шное.

ну и что... опять же - ровно то же что и в случае использования прагм C\C++ - решение совершенно одинаковое по "качеству"

[DddIzer]

Кстати, а вот виртовский паскаль: http://www.bandwidthco.com/history/programming/Wirth%20Pascal%20Programming%20Language.pdf

вот и ищите там слово "packed" - про aligned  никто ничего не говорил (в контексте Паскалей)

  единственное... что если мне не изменяет память то  в Турбо Паскале (каком то из них) было сказано что слово packed оставлено  только для совместимости со стандартом..  то есть предполагалось использование директив $A+ ($A-) для достижения эффекта на уровне модулей...

[Geniepro]

Кстати, а вот виртовский паскаль: http://www.bandwidthco.com/history/programming/Wirth%20Pascal%20Programming%20Language.pdf

вот и ищите там слово "packed" - про aligned  никто ничего не говорил (в контексте Паскалей)

  единственное... что если мне не изменяет память то  в Турбо Паскале (каком то из них) было сказано что слово packed оставлено  только для совместимости со стандартом..  то есть предполагалось использование директив $A+ ($A-) для достижения эффекта на уровне модулей...

В какой-то из версий дельфов packed record точно работало -- у меня в какой-то программе использовалось...

[Geniepro]

Упакованные записи ещё же с самой первой версии паскаля (виртовской), насколько я помню, есть. И до сих пор в дельфях...

Берем стандарт паскаля: http://www.cs.bilkent.edu.tr/~guvenir/courses/CS315/iso7185pascal.pdf
Ищем слово align - не находим ничего. Можешь попробовать самостоятельно найти. Думаю, что с соглашениями о вызове процедур будет примерно то же самое.

Не align, а packed.
Вот в этом вот файле указаны packed array, packed file. Хотя прямого указания на packed record я там не заметил, но во всех книгах по паскалю, что я читал раньше, они тоже были...

Насчёт соглашений о вызове процедур в паскале - ничего не знаю, не слышал...

[Geniepro]

Вот в этом вот файле указаны packed array, packed file. Хотя прямого указания на packed record я там не заметил, но во всех книгах по паскалю, что я читал раньше, они тоже были...

Я имел в виду вот этот файл:

Кстати, а вот виртовский паскаль: http://www.bandwidthco.com/history/programming/Wirth%20Pascal%20Programming%20Language.pdf

[Geniepro]

А вот выдержка из стандарта:

6.4.3 Structured-types
6.4.3.1 General

A new-structured-type shall be classied as an array-type, record-type, set-type, or file-type according to the unpacked-structured-type closest-contained by the new-structured-type. A component of a value of a structured-type shall be a value.

structured-type = new-structured-type j structured-type-identifier .

new-structured-type = [ 'packed' ] unpacked-structured-type .

unpacked-structured-type = array-type | record-type | set-type | file-type .

The occurrence of the token packed in a new-structured-type shall designate the type denoted thereby as packed. The designation of a structured-type as packed shall indicate to the processor that data-storage of values should be economized, even if this causes operations on, or accesses to components of, variables possessing the type to be less efficient in terms of space or time.

The designation of a structured-type as packed shall affect the representation in data-storage of that structured-type only; i.e., if a component is itself structured, the component's representation in data-storage shall be packed only if the type of the component is designated packed.

[valexey_u]

А вот выдержка из стандарта:

...
The designation of a structured-type as packed shall indicate to the processor that data-storage of values should be economized, even if this causes operations on, or accesses to components of, variables possessing the type to be less efficient in terms of space or time.

Да, был не прав, поддержка в стандартном паскаля какая-то есть.

Но, однако ж, прошу обратить внимание: данный пункт не дает однозначной трактовки как именно packed тип должен минимизировать свое место. Ну, то есть реализация которая для минимизации объема будет использовать какой-либо алгоритм сжатия (deflate например) не будет противоречить стандарту (по крайней мере в данном пункте).

Для контраста, возьмем с++ и его ключевое слово alignas - там четко определено что это именно выравнивание, что никакого сжатия не предусмотрено и так далее. Желающие могут ознакомиться со стандартом тут: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf (основной пункт 7.6.2 (стр. 176) и 3.11 (стр. 79), для разъяснения терминологии).

Ну или более простым языком: http://en.cppreference.com/w/cpp/language/alignas

[trurl]

Для контраста, возьмем с++ и его ключевое слово alignas 

alignas( expression )       (since C++11)