IsBefore: примеры (JAVA)

Короткие примеры использования

Примеры показывают наиболее распространенные случаи и результаты.

LocalDate

import java.time.LocalDate;

public class Demo {
    public static void main(String[] args) {
        LocalDate d1 = LocalDate.of(2021, 5, 10);
        LocalDate d2 = LocalDate.of(2021, 5, 11);
        System.out.println(d1.isBefore(d2));
        System.out.println(d2.isBefore(d1));
        System.out.println(d1.isBefore(d1));
    }
}

true
false
false

Instant (UTC мгновения)

import java.time.Instant;

public class DemoInstant {
    public static void main(String[] args) {
        Instant i1 = Instant.parse("2021-01-01T10:00:00Z");
        Instant i2 = Instant.parse("2021-01-01T11:00:00Z");
        System.out.println(i1.isBefore(i2));
    }
}

true

ZonedDateTime с разными зонами

import java.time.ZonedDateTime;
import java.time.ZoneId;

public class DemoZoned {
    public static void main(String[] args) {
        ZonedDateTime z1 = ZonedDateTime.of(2021, 1, 1, 12, 0, 0, 0, ZoneId.of("Europe/Moscow"));
        ZonedDateTime z2 = z1.withZoneSameInstant(ZoneId.of("Europe/London"));
        System.out.println(z1.isBefore(z2)); // одинаковое мгновение

        ZonedDateTime z3 = z1.plusHours(3);
        System.out.println(z1.isBefore(z3));
    }
}

false
true

Альтернативы в Java и особенности

В Java существуют похожие способы сравнения дат и времени:

• isAfter - аналогичная строгая проверка на «позже». Используется, когда требуется противоположная проверка.
• equals или isEqual (в некоторых типах) - проверка на равенство мгновений или дат. Рекоммендуется для точного совпадения.
• compareTo - возвращает отрицательное, ноль или положительное число. Удобно при сортировке или получении разницы в знаке одновременно с сортировкой.
• Старые API: java.util.Date.before(Date when) и Calendar.before(Object when). Работают с устаревшими типами и не учитывают богатую модель chrono. Предпочтение отдается java.time.

Когда выбирать:

• Для простого и понятного кода - isBefore или isAfter.
• Для сортировки коллекций - compareTo или Comparator.
• При работе со старыми API - методы before/after старых классов, но лучше сначала преобразовать в java.time.

Эквиваленты в других языках и ключевые отличия

Кратко по основным языкам с примерами и результатами.

JavaScript (Date)

// сравнение через getTime
const d1 = new Date('2021-05-10T00:00:00Z');
const d2 = new Date('2021-05-11T00:00:00Z');
console.log(d1.getTime() < d2.getTime());

true

Отличие: в JS Date хранит миллисекунды с эпохи. Оператор < и > работает, но лучше явно сравнивать getTime().

Python (datetime)

from datetime import datetime

d1 = datetime(2021,5,10)
d2 = datetime(2021,5,11)
print(d1 < d2)

True

Отличие: операторы < и > встроены и сравнивают по оси времени; timezone-aware и naive объекты нельзя смешивать.

PHP (DateTime)

$d1 = new DateTime('2021-05-10');
$d2 = new DateTime('2021-05-11');
var_dump($d1 < $d2);

bool(true)

Отличие: DateTime поддерживает сравнение через операторы, при этом учитывается время и зона.

SQL (пример для PostgreSQL)

-- Сравнение времён в запросе
SELECT '2021-05-10'::date < '2021-05-11'::date AS is_before;

 is_before
-----------
 t

C# (DateTime)

using System;

class P { static void Main(){
    DateTime a = new DateTime(2021,5,10);
    DateTime b = new DateTime(2021,5,11);
    Console.WriteLine(a < b);
}}

True

Go (time.Time)

package main
import (
    "fmt"
    "time"
)
func main(){
    a := time.Date(2021,5,10,0,0,0,0,time.UTC)
    b := time.Date(2021,5,11,0,0,0,0,time.UTC)
    fmt.Println(a.Before(b))
}

true

Lua (os.time or luasocket/mime libs) - прямого стандартного типа дат нет, сравнение через численные таймстемпы.

Kotlin

import java.time.LocalDate

fun main(){
    val a = LocalDate.of(2021,5,10)
    val b = LocalDate.of(2021,5,11)
    println(a.isBefore(b))
}

true

Ключевые отличия от Java: в большинстве языков сравнение дат использует либо операторы (<, >) либо метод Before/isBefore. Java выделяется богатой моделью chrono и строгой типизацией временных типов, поэтому требуется использовать совместимые типы и учитывать зоны/хронологию при сравнении.

Типичные ошибки и примеры

Частые проблемы при использовании isBefore и демонстрации с результатами.

1) NullPointerException при передаче null

import java.time.LocalDate;

public class NPEExample {
    public static void main(String[] args) {
        LocalDate d = LocalDate.now();
        LocalDate other = null;
        System.out.println(d.isBefore(other));
    }
}

Exception in thread "main" java.lang.NullPointerException
    at java.base/java.time.LocalDate.isBefore(LocalDate.java:...)
    ...

2) Сравнение несовместимых типов (ошибка времени выполнения)

import java.time.LocalDate;
import java.time.LocalDateTime;

public class TypeError {
    public static void main(String[] args) {
        LocalDate d = LocalDate.of(2021,5,10);
        LocalDateTime dt = LocalDateTime.of(2021,5,11,0,0);
        // неявное сравнение разных типов может привести к ClassCastException
        // d.isBefore((LocalDate) dt); // компиляция не даст; приведение неверно
    }
}

(компиляция не позволит напрямую сравнить несовместимые типы; требуется согласование типа, например сравнение по дате: d.isBefore(dt.toLocalDate()))

3) Ошибка логики при игнорировании зоны

import java.time.LocalDateTime;
import java.time.ZoneId;
import java.time.ZonedDateTime;

public class ZonePitfall {
    public static void main(String[] args) {
        LocalDateTime ldt = LocalDateTime.of(2021,1,1,0,0);
        ZonedDateTime z1 = ldt.atZone(ZoneId.of("Europe/Moscow"));
        ZonedDateTime z2 = ldt.atZone(ZoneId.of("America/New_York"));
        System.out.println(z1.isBefore(z2));
    }
}

false  // хотя локальные поля одинаковы, мгновения различаются - результат зависит от зоны

4) Ошибка понимания включительно/исключительно: isBefore строгое, поэтому равные моменты дают false.

Изменения и история

Метод isBefore появился вместе с java.time в Java 8 как часть JSR-310. С тех пор сигнатуры и семантика оставались стабильными. Основные изменения вокруг сравнения дат связаны не с методом, а с расширением API: добавлением дополнительных типов хроносемейств (например, японская хроно-реализация) и унификацией интерфейсов ChronoLocalDate/ChronoLocalDateTime/ChronoZonedDateTime. Это позволило применять isBefore к широкому набору типов без изменения самой логики метода.

Расширенные и необычные примеры

Несколько сценариев из практики с пояснениями и результатами.

1) Сортировка коллекции дат с использованием isBefore через Comparator

import java.time.LocalDate;
import java.util.*;

public class SortDates {
    public static void main(String[] args) {
        List list = Arrays.asList(
            LocalDate.of(2021,5,12),
            LocalDate.of(2020,12,1),
            LocalDate.of(2021,1,1)
        );
        list.sort((a,b) -> a.isBefore(b) ? -1 : a.isAfter(b) ? 1 : 0);
        System.out.println(list);
    }
}

[2020-12-01, 2021-01-01, 2021-05-12]

Комментарий: Comparator можно упростить через Comparator.naturalOrder() если тип реализует Comparable.

2) Проверка пересечения временных отрезков (interval overlap)

import java.time.LocalDate;

public class Overlap {
    public static boolean overlaps(LocalDate aStart, LocalDate aEnd, LocalDate bStart, LocalDate bEnd) {
        // отрезки [aStart, aEnd] и [bStart, bEnd], границы включены
        return !aEnd.isBefore(bStart) && !bEnd.isBefore(aStart);
    }

    public static void main(String[] args) {
        LocalDate a1 = LocalDate.of(2021,1,1);
        LocalDate a2 = LocalDate.of(2021,1,10);
        LocalDate b1 = LocalDate.of(2021,1,10);
        LocalDate b2 = LocalDate.of(2021,1,20);
        System.out.println(overlaps(a1, a2, b1, b2));
    }
}

true

Комментарий: isBefore учитывает строгую позицию; для включающих границ применяется отрицание.

3) Сравнение локальных дат и времени через instant для корректного учёта зон

import java.time.*;

public class LocalToInstant {
    public static void main(String[] args) {
        LocalDateTime local = LocalDateTime.of(2021, 3, 28, 2, 30);
        ZonedDateTime zA = local.atZone(ZoneId.of("Europe/Moscow"));
        ZonedDateTime zB = local.atZone(ZoneId.of("Europe/London"));
        // Сравнение по мгновению
        System.out.println(zA.toInstant().isBefore(zB.toInstant()));
        // Альтернатива: isBefore напрямую на ZonedDateTime
        System.out.println(zA.isBefore(zB));
    }
}

false
false

Комментарий: явное приведение к Instant подчёркивает сравнение по абсолютному времени.

4) Работа с нестандартной хронологией (JapaneseChronology)

import java.time.chrono.JapaneseDate;
import java.time.chrono.JapaneseChronology;

public class ChronoExample {
    public static void main(String[] args) {
        JapaneseDate j1 = JapaneseChronology.INSTANCE.date(2019, 5, 1); // Регистр дает японскую дату
        JapaneseDate j2 = JapaneseChronology.INSTANCE.date(2020, 5, 1);
        System.out.println(j1.isBefore(j2));
    }
}

true

Комментарий: isBefore работает для хронологических реализаций, если оба объекта одной хронологии.

5) Безопасное сравнение с Optional и обработкой null

import java.time.LocalDate;
import java.util.Optional;

public class OptionalSafe {
    public static boolean safeIsBefore(Optional a, LocalDate b) {
        return a.map(x -> x.isBefore(b)).orElse(false);
    }

    public static void main(String[] args) {
        Optional maybe = Optional.empty();
        System.out.println(safeIsBefore(maybe, LocalDate.now()));
    }
}

false

Комментарий: позволяет избежать NullPointerException при отсутствии значения.