Правила сумісності для об’єктних типів.

Основне правило сумісності об'єктних типів полягає в тому, що об'єкти дочірніх типів можуть вільно використовуватися замість батьківських об'єктів, але не навпаки, тобто сумісність розширюється у напрямку від нижніх рівнів ієрархії до верхніх (від нащадків до батьків). При цьому будь-який дочірній тип успадковує сумісність всіх своїх батьківських типів. Для об'єктних типів розрізняють сумісність трьох видів: між екземплярами об'єктів; між покажчиками на екземпляри об'єктів; між формальними і фактичними параметрами.
Примірника об'єкта батьківського типу можна присвоїти примірник якого з його дочірніх типів. Неприпустимі зворотні присвоювання. В результаті виконання присвоювання всі інформаційні поля примірника об'єкта, що стоїть ліворуч від оператора присвоювання, отримують значення відповідних полів екземпляра, що стоїть справа. Вказівником на об'єкт батьківського типу може бути присвоєно покажчик на екземпляр об'єкта дочірнього типу. Зворотні присвоювання також недопустимі. Формального параметру (параметру-значенню або параметру-змінній) даного об'єктного типу в якості фактичного параметра може бути поставлений у відповідність тільки об'єкт свого ж типу, або будь-який об'єкт з усіх його дочірніх типів.

За даних описах справедливі наступні оператори присвоєння:
AnEmрloyee: = ASalaried;
ASalaried: = ACommissioned;
TCommissionedPtr: = ACommissioned;

Зворотні присвоювання неможливі.