驗證日期加入閏年的判斷

2021-08-30 09:40:31 字數 3290 閱讀 6010

一,什麼是合法的日期範圍?對於不同的應用場景,這個問題有不同的解釋。這裡採納msdn中的約定:

datetime

值型別表示值範圍在公元(**紀元)

0001 年1

月1 日午夜12:00:00

到公元(c.e.) 9999

年12

月31

日晚上11:59:59

之間的日期和時間。

二,關於閏年的闡釋。人民教育出版社小學數學室的解釋淺明易懂(mediawiki等都沒說明為什麼整百年份必須是400的倍數時才是閏年):

關於公曆閏年是這樣規定的:地球繞太陽公轉一周叫做一回歸年,一回歸年長365日5時48分 46秒。因此,公曆規定有平年和閏年,平年一年有365日,比回歸年短0.2422日,四年共短0.9688日,故每四年增加一日,這一年有366日,就 是閏年。但四年增加一日比四個回歸年又多0.0312日,400年後將多3.12日,故在400年中少設3個閏年,也就是在400年中只設97個閏年,這 樣公曆年的平均長度與回歸年就相近似了。由此規定:年份是整百數的必須是400的倍數才是閏年,例如2023年、2023年就不是閏年。

清楚了以上兩個概念,我們進入正題。

首先需要驗證年份,顯然,年份範圍為 0001 - 9999,匹配yyyy的正規表示式為:

[0-9][1-9]|[0-9][1-9][0-9]|[0-9][1-9][0-9]|[1-9][0-9]

其中 [0-9] 也可以表示為 \d,但 \d 不如 [0-9] 直觀,因此下面我將一直採用 [0-9]

用正規表示式驗證日期的難點有二:一是大小月份的天數不同,二是閏年的考慮。

對於第乙個難點,我們首先不考慮閏年,假設2月份都是28天,這樣,月份和日期可以分成三種情況:

1、月份為 1, 3, 5, 7, 8, 10, 12,天數範圍為 01 - 31,匹配mm-dd的正規表示式為:

(0[13578]|1[02])-(0[1-9]|[12][0-9]|3[01])

2、月份為 4, 6, 9, 11,天數範圍為 01-30,匹配mm-dd的正規表示式為:

(0[469]|11)-(0[1-9]|[12][0-9]|30)

3、月份為 2,考慮平年情況,匹配mm-dd的正規表示式為:

02-(0[1-9]|[1][0-9]|2[0-8])

根據上面的成果,我們可以得到匹配平年日期格式為yyyy-mm-dd的正規表示式:

([0-9][1-9]|[0-9][1-9][0-9]|[0-9][1-9][0-9]|[1-9][0-9])-(((0[13578]|1[02])-(0[1-9]|[12][0-9]|3[01]))|((0[469]|11)-(0[1-9]|[12][0-9]|30))|(02-(0[1-9]|[1][0-9]|2[0-8])))

接著我們來解決第二個難點:閏年的考慮。根據閏年的定義,我們可以將閏年分為兩類:

1、能被4整除但不能被100整除的年份。尋找後兩位的變化規律,可以很快得到下面的正則匹配:

([0-9])(0[48]|[2468][048]|[13579][26])

2、能被400整除的年份。能被400整除的數肯定能被100整除,因此後兩位肯定是00,我們只要保證前兩位能被4整除即可,相應的正規表示式為:

(0[48]|[2468][048]|[3579][26])00

2.最強驗證日期的正規表示式,新增了閏年的驗證

這個日期正規表示式支援

yyyy-mm-dd

yyyy/mm/dd

yyyy_mm_dd

yyyy.mm.dd

的形式

match : 

2008-2-29 2008/02/29

not match : 

2008-2-30   2007-2-29

完整的正規表示式如下:

((^((1[8-9]\d)|([2-9]\d))([-\/\._])(10|12|0?[13578])([-\/\._])(3[01]|[12][0-9]|0?[1-9])$)|(^((1[8-9]\d)|([2-9]\d))([-\/\._])(11|0?[469])([-\/\._])(30|[12][0-9]|0?[1-9])$)|(^((1[8-9]\d)|([2-9]\d))([-\/\._])(0?2)([-\/\._])(2[0-8]|1[0-9]|0?[1-9])$)|(^([2468][048]00)([-\/\._])(0?2)([-\/\._])(29)$)|(^([3579][26]00)([-\/\._])(0?2)([-\/\._])(29)$)|(^([1][89][0][48])([-\/\._])(0?2)([-\/\._])(29)$)|(^([2-9][0-9][0][48])([-\/\._])(0?2)([-\/\._])(29)$)|(^([1][89][2468][048])([-\/\._])(0?2)([-\/\._])(29)$)|(^([2-9][0-9][2468][048])([-\/\._])(0?2)([-\/\._])(29)$)|(^([1][89][13579][26])([-\/\._])(0?2)([-\/\._])(29)$)|(^([2-9][0-9][13579][26])([-\/\._])(0?2)([-\/\._])(29)$))

閏年的2月份有29天,因此匹配閏年日期格式為yyyy-mm-dd的正規表示式為:

(([0-9])(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))-02-29

最後,將平年和閏年的日期驗證表示式合併,我們得到最終的驗證日期格式為yyyy-mm-dd的正規表示式為:

(([0-9][1-9]|[0-9][1-9][0-9]|[0-9][1-9][0-9]|[1-9][0-9])-(((0[13578]|1[02])-(0[1-9]|[12][0-9]|3[01]))|((0[469]|11)-(0[1-9]|[12][0-9]|30))|(02-(0[1-9]|[1][0-9]|2[0-8]))))|((([0-9])(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))-02-29)

dd/mm/yyyy格式的正則驗證表示式為:

(((0[1-9]|[12][0-9]|3[01])/((0[13578]|1[02]))|((0[1-9]|[12][0-9]|30)/(0[469]|11))|(0[1-9]|[1][0-9]|2[0-8])/(02))/([0-9][1-9]|[0-9][1-9][0-9]|[0-9][1-9][0-9]|[1-9][0-9]))|(29/02/(([0-9])(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00)))

js驗證日期的正規表示式加入閏年的判斷

進入正題之前,我們需要澄清兩個概念 一,什麼是合法的日期範圍?對於不同的應用場景,這個問題有不同的解釋。這裡採納msdn中的約定 datetime值型別表示值範圍在公元 紀元 0001 年 1 月 1 日午夜 12 00 00 到公元 c.e.9999 年 12 月 31 日晚上 11 59 59 ...

閏年的判斷方法 閏年的來歷

閏年有 公曆 和 農曆 之分 閏年在公曆和農曆中的概念是不一樣的。我們經常討論的閏年,其實是公曆閏年。公曆有閏日的年份叫閏年。農曆有閏月的年份叫閏年。公曆閏年與農曆閏年兩者並不重合,如1995年 2001年農曆是閏年,公曆並不是閏年 而2000年,公曆是閏年,農曆並不是閏年。這裡有乙個1982年 2...

列印日期(二維陣列)(判斷閏年)

列印日期 描述給出年分m和一年中的第n天,算出第n天是幾月幾號。輸入輸入包括兩個整數y 1 y 3000 n 1 n 366 輸出可能有多組測試資料,對於每組資料,按 yyyy mm dd的格式將輸入中對應的日期列印出來。輸入樣例 1 2013 60 2012 300 2011 350 2000 2...