Какие аспекты Java нарушают принципы «чистого» объектно-ориентированного программирования?

Хотя Java позиционируется как ООП-язык, некоторые её особенности отклоняются от принципов «чистого» ООП, где всё является объектом, а все операции выполняются через вызов методов.

Основные отклонения:

1. Примитивные типы (Primitive Types):

   • int, long, double, boolean, char и др. — не являются объектами.
   • Они хранятся в стеке, а не в куче, что повышает производительность и уменьшает потребление памяти.
   • Для работы с ними в объектном контексте существуют классы-обёртки (Integer, Long, Double и т.д.), но автоматическое преобразование (autoboxing/unboxing) может скрывать накладные расходы.

2. Статические члены (Static Members):

   • Статические методы и поля принадлежат классу, а не экземпляру объекта.
   • Это нарушает принцип инкапсуляции и полиморфизма, так как статические методы нельзя переопределить (можно только скрыть). Они существуют вне объектной иерархии.

3. Операторы (Operators):

   • Арифметические (+, -, *) и логические (&&, ||) операторы в основном работают с примитивами, а не с методами объектов.
   • Хотя для классов есть перегрузка оператора + (конкатенация строк), это исключение, а не правило.

Примеры, иллюстрирующие отклонения:

// 1. Примитивные типы vs Объекты
int primitiveSum = 5 + 3; // Операция над примитивами
Integer objectSum = Integer.valueOf(5) + Integer.valueOf(3); // Autoboxing и операция
// Примитивы эффективнее, но не объекты.

// 2. Статические члены (вне объектной модели)
class MathUtils {
    public static final double PI = 3.14159; // Статическое поле
    public static int add(int a, int b) { // Статический метод
        return a + b;
    }
}
// Использование без создания объекта
double circleArea = MathUtils.PI * radius * radius;
int result = MathUtils.add(10, 20); // Не полиморфно!

// 3. Операторы, а не методы
String greeting = "Hello, " + "world!"; // Перегрузка + для String (исключение)
boolean flag = true && false; // Оператор над примитивами boolean
// В «чистом» ООП это выглядело бы как: true.and(false);

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