Home / Questions / 1971
Accepted
Anonymous Coward
Asked: 2020-01-02 01:14:55 +0800 CST 2020-01-02 01:14:55 +0800 CST

Как проверить достоверность даты?

  • 772

Мне нужно проверить, что дата, введенная в форму, действительна.

У меня дата разделена на год, день и месяц. И я не заинтересован в проверке дат до 1900 года.

Я делаю это с помощью этого кода: 

public class Fecha
{
    int año;
    int mes; // 1 a 12
    int dia; // 1 a 31
}

static int[] diasMes= {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
/**
 *   Comprueba si la fecha es correcta. Se comprueban solo fechas de 1900 
 * o posteriores.
 * @param fecha La fecha a comprobar.
 * @return true si la fecha es correcta, false en otro caso.
 * @throws IllegalArgumentException si el año es menor que 1900.
 */
boolean validaFecha( Fecha fecha)
{
    if ( fecha.año < 1900 ) {
        throw new IllegalArgumentException( 
                "Solo se comprueban fechas del año 1900 o posterior");
    }
    if ( fecha.mes<1 || fecha.mes>12 )
        return false;
    // Para febrero y bisiesto el limite es 29
    if ( fecha.mes==2 && fecha.año%4==0 )
        return fecha.dia>=1 && fecha.dia<=29;
    return fecha.dia>=0 && fecha.dia<=diasMes[fecha.mes-1];
}

Класс, Fechaкоторый я использую, несколько сложнее, у него есть свой сеттер, геттер и другие вещи, но эти детали не имеют отношения к этому вопросу. Вопрос в методе validaFecha.

Реализация правильная? Есть ли способ сделать это со стандартными библиотеками?

java

2 Answers

  1. Best Answer

    Есть ли способ сделать это со стандартными библиотеками?

    В зависимости от используемой версии Java у вас есть доступ к некоторым классам, уже включенным в JDK, без необходимости использования внешней библиотеки (дополнительных файлов JAR).

    • Начиная с Java 8

      Если вы используете Java 8, вы можете использовать класс 1 для построения даты с указанием года, месяца и дня. А именно:java.time.LocalDate

      import java.time.LocalDate;
import java.time.format.DateTimeFormatter;

public class Main {
    public static void main(String[] args) {
        int year = 2016;                   // año
        int month = 1;                     // mes [1,...,12]
        int dayOfMonth = 1;                // día [1,...,31]

        if (year < 1900) {
            throw new IllegalArgumentException("Año inválido.");
        } 

        LocalDate today = LocalDate.of(year, month, dayOfMonth);
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("dd/MM/yyyy");
        System.out.println(formatter.format(today)); // 01/01/2016
    }
}

      Если какое-либо из значений (год, месяц, день) недопустимо, метод LocalDate.ofвыдаст java.time.DateTimeException.

    • Из JDK1.1

      Если вы используете Java 6/7, вы можете использовать классы java.util.Dateи 2 для построения даты с указанием года, месяца и дня. А именно:java.util.Calendar

      import java.text.SimpleDateFormat;
import java.util.Calendar;
import java.util.Date;

public class Main {
    public static void main(String[] args) {
        int year = 2016;                   // año
        int month = 1;                     // mes [1,...,12]
        int dayOfMonth = 1;                // día [1,...,31]

        if (year < 1900) {
            throw new IllegalArgumentException("Año inválido.");
        }

        Calendar calendar = Calendar.getInstance();
        calendar.setLenient(false);
        calendar.set(Calendar.YEAR, year);
        calendar.set(Calendar.MONTH, month - 1); // [0,...,11]
        calendar.set(Calendar.DAY_OF_MONTH, dayOfMonth);
        Date date = calendar.getTime();
        SimpleDateFormat sdf = new SimpleDateFormat("dd/MM/yyyy");
        System.out.println(sdf.format(date)); // 01/01/2016
    }
}

      Необходимо указать calendar.setLenient(false);, чтобы разрешались только значения в соответствующих диапазонах (год, месяц, день). Если какое-либо из этих значений недопустимо, он Calendarвыдаст java.lang.IllegalArgumentException.

    ────────────
    1. Вы можете увидеть некоторые примеры этого и других классов в Java SE 8 Date and Time .
    2. Вы можете увидеть некоторые примеры в примерах даты и календаря Java . Также в Java Calendar Class .

    • 15

  2. Реализация правильная?

    Нет. Основываясь на вашем коде, я бы изменил эту часть:

    if (fecha.mes==2 && fecha.año%4==0)

    Поскольку правило для високосных лет (выделено мной):

    Год считается високосным, если он делится на 4, если он не делится на 100 . Однако, если год делится на 100, а также делится на 400, это также високосный год . Очевидно, что это исключает годы конца века (последний из каждого века, который должен заканчиваться на 00), чей век не кратен 4.

    Это означает:

    • Если год кратен 400, то это високосный год.
    • В противном случае, если год кратен 4, а не 100, это високосный год.

    Самый простой способ адаптировать это в вашем коде:

    if (fecha.mes==2 && dia==29) {
        return fecha.año % 400 == 0 ||
               (fecha.año % 4 == 0 && fecha.año % 100 != 0);
}

    Еще одна ошибка у вас есть в этой части:

    return fecha.dia >= 0 ...

    Который находится в последней строке метода. Должно бытьfecha.dia >=1

    Есть ли способ сделать это со стандартными библиотеками?

    Если вы хотите использовать классы JDK, в дополнение к параметрам, указанным @PaulVargas, вы можете использовать SimpleDateFormatдоступные в любой версии Java (начиная с 1.5, насколько я помню). Вот код:

    boolean validaFecha( Fecha fecha) {
    if ( fecha.año < 1900 ) {
    throw new IllegalArgumentException( 
        "Solo se comprueban fechas del año 1900 o posterior");
    }
    SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd");
    String fechaAValidar = String.format("%d-%d-%d", fecha.año, fecha.mes, fecha.dia);
    boolean result = true;
    try {
        sdf.parse(fechaAValidar);
    } catch (ParseException e) {
        //la excepción es silenciosa
        result = false;
    }
    return result;
}
    • 5