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有点复杂，它有它的 setter、getter 和其他东西，但这些细节与这个问题无关。问题是关于方法的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.util.Date如果您使用的是 Java 6/7，则可以使用和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 Date and Calendar examples 中看到一些例子。也在Java 日历类中。

    • 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