驗(yàn)證日期的正則表達(dá)式加入閏年的判斷以及思路分析(太厲害了)
進(jìn)入正題之前,我們需要澄清兩個(gè)概念:
一,什么是合法的日期范圍?對(duì)于不同的應(yīng)用場(chǎng)景,這個(gè)問題有不同的解釋。這里采納MSDN中的約定:
DateTime 值類型表示值范圍在公元(基督紀(jì)元)0001 年 1 月 1 日午夜 12:00:00 到公元 (C.E.) 9999 年 12 月 31 日晚上 11:59:59 之間的日期和時(shí)間。二,關(guān)于閏年的闡釋。人民教育出版社小學(xué)數(shù)學(xué)室的解釋淺明易懂(mediawiki等都沒說明為什么整百年份必須是400的倍數(shù)時(shí)才是閏年):
關(guān)于公歷閏年是這樣規(guī)定的:地球繞太陽公轉(zhuǎn)一周叫做一回歸年,一回歸年長365日5時(shí)48分 46秒。因此,公歷規(guī)定有平年和閏年,平年一年有365日,比回歸年短0.2422日,四年共短0.9688日,故每四年增加一日,這一年有366日,就 是閏年。但四年增加一日比四個(gè)回歸年又多0.0312日,400年后將多3.12日,故在400年中少設(shè)3個(gè)閏年,也就是在400年中只設(shè)97個(gè)閏年,這 樣公歷年的平均長度與回歸年就相近似了。由此規(guī)定:年份是整百數(shù)的必須是400的倍數(shù)才是閏年,例如1900年、2100年就不是閏年。清楚了以上兩個(gè)概念,我們進(jìn)入正題。
首先需要驗(yàn)證年份,顯然,年份范圍為 0001 - 9999,匹配YYYY的正則表達(dá)式為:
[0-9]{3}[1-9]|[0-9]{2}[1-9][0-9]{1}|[0-9]{1}[1-9][0-9]{2}|[1-9][0-9]{3}其中 [0-9] 也可以表示為 \d,但 \d 不如 [0-9] 直觀,因此下面我將一直采用 [0-9]
用正則表達(dá)式驗(yàn)證日期的難點(diǎn)有二:一是大小月份的天數(shù)不同,二是閏年的考慮。
對(duì)于第一個(gè)難點(diǎn),我們首先不考慮閏年,假設(shè)2月份都是28天,這樣,月份和日期可以分成三種情況:
1、月份為 1, 3, 5, 7, 8, 10, 12,天數(shù)范圍為 01 - 31,匹配MM-DD的正則表達(dá)式為:
(0[13578]|1[02])-(0[1-9]|[12][0-9]|3[01])2、月份為 4, 6, 9, 11,天數(shù)范圍為 01-30,匹配MM-DD的正則表達(dá)式為:
(0[469]|11)-(0[1-9]|[12][0-9]|30)3、月份為 2,考慮平年情況,匹配MM-DD的正則表達(dá)式為:
02-(0[1-9]|[1][0-9]|2[0-8])根據(jù)上面的成果,我們可以得到匹配平年日期格式為YYYY-MM-DD的正則表達(dá)式:
([0-9]{3}[1-9]|[0-9]{2}[1-9][0-9]{1}|[0-9]{1}[1-9][0-9]{2}|[1-9][0-9]{3})-(((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])))
接著我們來解決第二個(gè)難點(diǎn):閏年的考慮。根據(jù)閏年的定義,我們可以將閏年分為兩類:
1、能被4整除但不能被100整除的年份。尋找后兩位的變化規(guī)律,可以很快得到下面的正則匹配:
([0-9]{2})(0[48]|[2468][048]|[13579][26])2、能被400整除的年份。能被400整除的數(shù)肯定能被100整除,因此后兩位肯定是00,我們只要保證前兩位能被4整除即可,相應(yīng)的正則表達(dá)式為:
(0[48]|[2468][048]|[3579][26])00閏年的2月份有29天,因此匹配閏年日期格式為YYYY-MM-DD的正則表達(dá)式為:
(([0-9]{2})(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))-02-29
最后,將平年和閏年的日期驗(yàn)證表達(dá)式合并,我們得到最終的驗(yàn)證日期格式為YYYY-MM-DD的正則表達(dá)式為:
(([0-9]{3}[1-9]|[0-9]{2}[1-9][0-9]{1}|[0-9]{1}[1-9][0-9]{2}|[1-9][0-9]{3})-(((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]{2})(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))-02-29)
DD/MM/YYYY格式的正則驗(yàn)證表達(dá)式為:
(((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]{3}[1-9]|[0-9]{2}[1-9][0-9]{1}|[0-9]{1}[1-9][0-9]{2}|[1-9][0-9]{3}))|(29/02/(([0-9]{2})(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00)))