OberonCore

По-моему, одно и то же по смыслу. Есть ли отличия?

COPY копирует данные строки любого размера, обрезая лишнее, если необходимо. Оператор := требует, чтобы массивы были совместимы

ЕСЛИ вопрос про КП, то:
Если "для строк", а не для массивов, то := подразумевает нуль-терминальные строки, и совершает АВОСТ, если нуля в массиве нет. a := b$
ИНАЧЕ
КОНЕЦ

Вопрос был про A2, но есть вероятность, что одно и то же. Спасибо за ответы, учту в дальнейшей работе.

Не совсем так. Можно присваивать между разного размера массивами (в операции a := b$) и копировать строку в массив, но чтобы в массиве-приёмнике места под копируемую строку вместе с 0X гарантированно хватило. Если строка не копируется целиком, будет трап.

А COPY по-тихому обрезает, что может привести к трудно находимым логическим ошибкам. С чем я уже столкнулся. Это действительно неприятно понижает надёжность, когда ждёшь от программы такой логики, что строка скопируется целиком, а вместо этого её содержимое обрезается и искажается, притом без предупреждений.

Я в Ofront+ для КП и O3 перенёс COPY в SYSTEM. В O и O2 осталось для совместимости.

P.S. А, или в AO нет операции a := b$ ? Тогда упс.

речь об а2

А как в AO реализуется безопасное (без усечения) копирование строк? Библиотечным способом?

Оператор := требует, чтобы типы массивов символов были совместимы по присваиванию. По-сути это и есть присваивание массивов, и при этом ничего не обрезается и не добавляется.
COPY сейчас копирует строку целиком, обрезая лишнее, если нужно, и вставляя 0X в конец массива(так сделано из соображений совместимости со старым компилятором).

А смотрит ли вообще := на символ с кодом 0? Т.е. будет ли копировать за пределами строки?

Это присваивание массива. Копируется весь массив и оператору нет никакого дела до 0X

Можно использовать процедуры модуля Strings. Append, Copy, Move для получения нужного эффекта

Спасибо! Тогда уж, чтоб два раза не вставать, а # для строк как работает? Я расширил длину имени в стиле и всё перестало раскрашиваться. Не понимаю, почему так. При этом в самом раскрасчике стиль по имени успешно находится, проблема, видимо, где-то на границе с TextView, хотя если честно, то вообще не понимаю.