Где можно посмотреть описание правил транзитивности?

# Где можно посмотреть описание правил транзитивности

Правила транзитивности (transitivity rules) в Java — это принципы, которые определяют, как должны работать отношения между объектами, особенно при сравнении (equals) и сортировке (compareTo). Есть несколько основных мест, где найти описание.

1. Javadoc Object.equals()

Основное и официальное описание находится в документации метода Object.equals():

public boolean equals(Object obj) {
    return this == obj;
}

В Javadoc Object написано:

• Рефлексивность (Reflexive): x.equals(x) всегда true
• Симметричность (Symmetric): если x.equals(y) то y.equals(x)
• Транзитивность (Transitive): если x.equals(y) и y.equals(z) то x.equals(z)
• Консистентность: множественные вызовы x.equals(y) возвращают один результат
• Null-безопасность: x.equals(null) возвращает false

2. Javadoc Comparable.compareTo()

Для сравнения объектов смотри интерфейс Comparable<T>:

public interface Comparable<T> {
    int compareTo(T o);
}

Правила транзитивности в compareTo:

• Если x.compareTo(y) < 0 и y.compareTo(z) < 0, то x.compareTo(z) < 0
• Если x.compareTo(y) == 0, то x.compareTo(z) должен равняться y.compareTo(z)

3. Javadoc Comparator

Для кастомных компараторов смотри java.util.Comparator<T>:

public interface Comparator<T> {
    int compare(T o1, T o2);
}

Практический пример: нарушение транзитивности

public class Point {
    public int x;
    public int y;
    
    public Point(int x, int y) {
        this.x = x;
        this.y = y;
    }
    
    // ❌ НЕПРАВИЛЬНО — нарушает транзитивность!
    @Override
    public boolean equals(Object obj) {
        if (!(obj instanceof Point)) return false;
        Point other = (Point) obj;
        
        // Сравниваем только X, игнорируя Y
        return this.x == other.x;
    }
}

// Пример проблемы:
Point p1 = new Point(1, 0);
Point p2 = new Point(1, 1);
Point p3 = new Point(1, 2);

System.out.println(p1.equals(p2)); // true (оба x=1)
System.out.println(p2.equals(p3)); // true (оба x=1)
System.out.println(p1.equals(p3)); // true (оба x=1)
// Это работает, но давай проверим другой случай

// ❌ Реально нарушение может быть вот такое:
Point a = new Point(1, 0);
Point b = new Point(1, 1);
Point c = new Point(2, 0);

System.out.println(a.equals(b)); // true — по X
System.out.println(b.equals(c)); // false — X разные
System.out.println(a.equals(c)); // false — X разные
// Тут транзитивность не нарушена, но логика странная

✅ Правильная реализация equals

public class Point {
    public int x;
    public int y;
    
    public Point(int x, int y) {
        this.x = x;
        this.y = y;
    }
    
    @Override
    public boolean equals(Object obj) {
        if (this == obj) return true;
        if (obj == null || getClass() != obj.getClass()) return false;
        
        Point point = (Point) obj;
        return x == point.x && y == point.y; // Сравниваем оба поля
    }
    
    @Override
    public int hashCode() {
        return Objects.hash(x, y);
    }
}

// Проверка транзитивности:
Point p1 = new Point(1, 1);
Point p2 = new Point(1, 1);
Point p3 = new Point(1, 1);

System.out.println(p1.equals(p2)); // true
System.out.println(p2.equals(p3)); // true
System.out.println(p1.equals(p3)); // true ✓ Транзитивно!

Реальный пример: Нарушение с наследованием

public class ColoredPoint extends Point {
    public String color;
    
    public ColoredPoint(int x, int y, String color) {
        super(x, y);
        this.color = color;
    }
    
    @Override
    public boolean equals(Object obj) {
        if (!(obj instanceof ColoredPoint)) return false;
        ColoredPoint other = (ColoredPoint) obj;
        return super.equals(obj) && this.color.equals(other.color);
    }
}

// ❌ Проблема — нарушение симметричности и транзитивности!
Point p = new Point(1, 1);
ColoredPoint cp = new ColoredPoint(1, 1, "red");

System.out.println(p.equals(cp));   // true (Point сравнивает по x,y)
System.out.println(cp.equals(p));   // false (ColoredPoint проверяет instanceof ColoredPoint)
// Нарушена симметричность!

// Правило: при наследовании нельзя переопределять equals
// Используй composition вместо наследования:
public class ColoredPointCorrect {
    private Point point;
    public String color;
    
    public ColoredPointCorrect(int x, int y, String color) {
        this.point = new Point(x, y);
        this.color = color;
    }
    
    @Override
    public boolean equals(Object obj) {
        if (!(obj instanceof ColoredPointCorrect)) return false;
        ColoredPointCorrect other = (ColoredPointCorrect) obj;
        return this.point.equals(other.point) && this.color.equals(other.color);
    }
}

Где найти полное описание

1. Oracle Java Docs — https://docs.oracle.com/en/java/javase/

   • Object.equals() javadoc
   • Comparable javadoc
   • Comparator javadoc

2. Effective Java (книга Joshua Bloch)

   • Item 10: Обеспечение согласованности при переопределении equals
   • Item 14: Рассмотрим переопределение compareTo

3. Java Language Specification (JLS)

   • В разделе про Object и базовые типы

4. IDE documentation (IntelliJ IDEA, Eclipse)

   • Вызови Quick Documentation (Ctrl+Q в IntelliJ)
   • Наведись на Object.equals — там полное описание

Чеклист при реализации equals

@Override
public boolean equals(Object obj) {
    // 1. ✓ Проверка на null
    if (obj == null) return false;
    
    // 2. ✓ Проверка типа
    if (getClass() != obj.getClass()) return false;
    
    // 3. ✓ Кастование
    MyClass other = (MyClass) obj;
    
    // 4. ✓ Сравнение всех значимых полей
    return Objects.equals(this.field1, other.field1) &&
           Objects.equals(this.field2, other.field2);
}

// 5. ✓ Переопредели hashCode вместе с equals!
@Override
public int hashCode() {
    return Objects.hash(field1, field2);
}

Вывод

Правила транзитивности описаны в официальной документации Java (Javadoc Object, Comparable, Comparator). Главное правило: если x.equals(y) и y.equals(z), то x.equals(z) должно быть true. Нарушение этого принципа приведёт к ошибкам в коллекциях, сортировке и других критических операциях.