NEW нужен для отлавливания опечаток. без него можно опечататься в имени метода для записи-расширения, и компилятор молча это соберёт.

без NEW этот код соберётся, но делать будет явно не то, что программист задумал. с NEW же компилятор сразу выругается.

атрибут EMPTY — это реально просто замена пустого тела. нужен в основном для того, чтобы при чтении кода различать случаи, когда метод следует реализовать в наследниках, или у нас валидная пустая реализация. или точнее: EMPTY обозначает опциональные интерфейсы, которые можно не реализовывать.

LIMITED-записи нельзя больше расширять, поэтому обойти не получится.

экспорт типа «implementation-only» очень широко используется в фабриках. например, у записи есть метод `Init`, который имеет право вызывать только фабрика, а пользователь — не имеет. поэтому мы объявляем его в интерфейсе как «implementation-only export». фабрика может его вызывать, потому что интерфейс описан в том же модуле; а вот пользователи уже не могут, и мы застрахованы от ошибок повторной инициализации.

Для атрибута LIMITED расширение разрешено

только в том же самом модуле. из других модулей уже нельзя.

кстати, как явный пример «implementation-only export». метод `FINALIZE` объявлен как раз так, потому что его имеет право вызывать только Kernel при сборке мусора, а пользователи — нет.

только в том же самом модуле. из других модулей уже нельзя.

Хотя запись без атрибутов тоже нельзя расширить в импортирующем модуле.

кстати, как явный пример «implementation-only export». метод `FINALIZE` объявлен как раз так, потому что его имеет право вызывать только Kernel при сборке мусора, а пользователи — нет.

И в этом случае - не проще ли этот метод не экспортировать?

Если брать ваш пример, то да. Но имеет ли смысл такое действие - экспортировать и не создавать? Проще в таком случае просто не экспортировать.

и как тогда переопределять его для своих записей? переопределять неэкспортированые методы нельзя.

а как тогда с объектом работать? вот у нас есть объект, который создавать имеет право только фабрика. как с ним работать, если не экспортировать? LIMITED может расширить интерфейс дополнительными методами, например.

абстрактная запись создаётся в одном модуле. экспортированая LIMITED-реализация с некоторыми расширениями — совсем в другом. в этом другом у нас есть фабрика для производства этих LIMITED. таким образом мы защищаемся от попытки создать LIMITED-запись вне фабрики, но позволяем использовать её (записи) расширеный интерфейс.

NEW нужен для отлавливания опечаток. без него можно опечататься в имени метода для записи-расширения, и компилятор молча это соберёт.

без NEW этот код соберётся, но делать будет явно не то, что программист задумал. с NEW же компилятор сразу выругается.

атрибут EMPTY — это реально просто замена пустого тела. нужен в основном для того, чтобы при чтении кода различать случаи, когда метод следует реализовать в наследниках, или у нас валидная пустая реализация. или точнее: EMPTY обозначает опциональные интерфейсы, которые можно не реализовывать.

LIMITED-записи нельзя больше расширять, поэтому обойти не получится.

экспорт типа «implementation-only» очень широко используется в фабриках. например, у записи есть метод `Init`, который имеет право вызывать только фабрика, а пользователь — не имеет. поэтому мы объявляем его в интерфейсе как «implementation-only export». фабрика может его вызывать, потому что интерфейс описан в том же модуле; а вот пользователи уже не могут, и мы застрахованы от ошибок повторной инициализации.

Это понятно. А если использовать расширение экспортированного абстракта не в LIMITED, а в обычной записи без атрибутов? Как я понимаю, вы ведь не экспортируете LIMITED наружу?

ну, вы спрашивали, зачем может быть полезен LIMITED — это и был пример такой ситуации. не обязательно всегда будет так, но подобные ситуации возникают, и для их разруливания как раз придуман LIMITED. в компонентном паскале авторы старались соблюдать некое равновесие между академической чистотой и грязной практикой, поэтому предоставили методы разруливания задач, которые академически вообще возникнуть были не должны, но в жизни иногда случаются.