Java DateFormat.parse nghĩ rằng "100 112TH AVE NE" là một ngày

Question

Tôi đang sử dụng mã được bao gồm ở đây để xác định liệu giá trị đã cho có là ngày hợp lệ hay không. Theo một trường hợp cụ thể, nó đánh giá địa chỉ đường phố sau:

100 lần thứ 112 AVE NE

Rõ ràng không phải là một ngày, nhưng Java diễn giải nó như:

Sun Jan 12 00: 00:00 EST 100

Các mã trong câu hỏi:

String DATE_FORMAT = "yyyyMMdd"; 
try { 
    DateFormat dfyyyyMMdd = new SimpleDateFormat(DATE_FORMAT); 
    dfyyyyMMdd.setLenient(false); 
    Date formattedDate; 
    formattedDate = dfyyyyMMdd.parse(aValue); 
    console.debug(String.format("%s = %s","formattedDate",formattedDate)); 
} catch (ParseException e) { 
    // Not a date 
} 

Giao diện điều khiển lợi nhuận:

11: 41: 40,063 TestValues ​​DEBUG | formattedDate = Sun Jan 12 00:00:00 EST 100

Bất kỳ ý tưởng gì đang xảy ra ở đây?

Answer 1

Phương thức parse không xác minh rằng toàn bộ chuỗi đã được sử dụng khi phân tích cú pháp; bạn có thể có rác ngẫu nhiên sau một ngày hợp lệ và mọi thứ hoạt động. Trong trường hợp này, có một chút ngạc nhiên rằng 100 112 có thể được phân tích thành công dưới dạng ngày, nhưng có thể.

Bạn có thể cung cấp ParsePosition để xác minh rằng toàn bộ chuỗi đã được sử dụng khi phân tích cú pháp.

ParsePosition pos = new ParsePosition(0); 
dfyyyyMMdd.parse(aValue, pos); 
if (pos.getIndex() != aValue.length()) { 
    // there's garbage at the end 
} 

Answer 2

Theo documentation, phương pháp phân tích cú pháp có thể KHÔNG sử dụng toàn bộ văn bản của chuỗi -

public Date parse(String source) 
       throws ParseException 

    Parses text from the beginning of the given string to produce a date. 
    The method may not use the entire text of the given string. 

Tôi đã kiểm tra source code cho SimpleDateFormat và thấy rằng nó là phân tích chuỗi chỉ lên với chiều dài của compiledPattern.

Như vậy, chuỗi có dạng -

yyyyMMdd(followed by anything) 

sẽ được phân tích mà không cần bất kỳ lỗi nào.

Vì vậy, ví dụ: nó cũng phân tích cú pháp -

"10000514blabla" --> Tue May 14 00:00:00 EST 1000 
"100 112"  --> Sun Jan 12 00:00:00 EST 100 
"1 112xyz"  --> Wed Jan 12 00:00:00 EST 1