> -- Александр Ильин писал(а):
> Это даёт модулю, где этот тип S объявлен, гарантии того, что все экземпляры данного типа созданы только им, и, соответственно, соблюдены все необходимые инварианты, в том числе касательно неопубликованных полей.

Спасибо, мне ваше пояснение добавило ясности! Теперь понятнее, в чем может быть практическая польза от этой особенности.