Перегляд вихідного коду сторінки Основні концепції та принципи ООП

=== Контроль під час компіляції та під час виконання ===

Мови програмування можна оцінити по тому, наскільки вони строгі до типам. Контроль типів включає перевірку існування планування для, типів їх параметрів, перевірку кордонів масивів і подібне.

C + +, Java, Python, і Object Pascal віддають перевагу більш-менш ретельний контроль типів під час компіляції. С + +, можливо, найменш точний в цьому відношенні (на що вказує, наприклад, можливість присвоєння double до float), тоді як Java використовує перевірку типів найбільш широко. Це тому, що C++ забезпечує сумісність з Сі, який не дуже строго перевіряє типи під час компіляції. Наприклад, C і C++ вважають, що всі арифметичні типи сумісні (хоча привласнення float цілої змінної викличе попередження компілятора). У Object Pascal і Java логічне значення не є цілим, а символ - ще один відмінний і несумісний тип.

Той факт, що віртуальна машина Java інтерпретує байтовий код під час виконання, не означає, що ця мова відмовляється від перевірки типів під час компіляції. Навпаки, у цій мові перевірка найбільш ретельно. Інші OО мови, такі як Smalltalk і CLOS, навпаки, схильні більшість перевірок типів (якщо не всі) здійснювати під час виконання.

=== Чисто об'єктно-орієнтовані та гібридні мови ===

Розрізняються чисті та гібридні об'єктно-орієнтовані мови. <b>Чисті</b> - це ті, які дозволяють використовувати тільки одну модель програмування - об'єктно-орієнтовану. Ви можете оголошувати класи і методи, але не можете завести глобальні змінні і звичайні функції і процедури старого типу.

Серед трьох наших мов, тільки Java і C # є чистими OО мовами (як Eiffel і Smalltalk). На перший погляд це здається позитивною ідеєю. Проте вона веде до того, що ви використовуєте купу статичних методів і статичних даних, що не так вже відрізняється від використання глобальних функцій і даних, за винятком більш складного синтаксису. На мою думку, чисті OО мови дають перевагу новачкам в ООП, тому що програміст змушений використовувати (і вчити) модель ООП. C++ і Object Pascal, навпаки, - типові приклади гібридних мов, які дозволяють програмістам використовувати при необхідності традиційний підхід C або Pascal.

Smalltalk розширює цю ідею до рівня «обоб'екєктування» таких визначених типів даних, як цілі і символи, а також мовних конструкцій (таких як цикли). Це теоретично цікаво, але сильно зменшує ефективність. Java зупиняється багато раніше, допускаючи присутність простіші не ОО типів даних (хоча є необов'язкові класи-обгортки і для простих типів).

=== Проста об'єктна модель і посилальної-об'єктна модель ===

Властивість: Третій елемент, по якому розрізняються мови ООП - їх об'єктна модель. Деякі традиційні мови ООП дозволяють програмістам створювати об'єкти в стеку, в купі (у хіпі - heap) або в статичній пам'яті. У цих мовах змінна типу клас відповідає об'єкту в пам'яті. Так працює C++.

Останнім часом з'явилася тенденція використовувати іншу модель, часто звану посилально-об'єктною моделлю. У цій моделі кожен об'єкт динамічно розміщується в купі, а змінна типу клас фактично є посиланням або Хендл об'єкта в пам'яті (технічно це щось на кшталт покажчика). Java і Object Pascal обидва використовують цю посилальну модель. Як ми побачимо, коротко це означає, що вам необхідно не забути виділити пам'ять для об'єкта.