Критерии:
Каждый год, делимый на 4, является високосным, за исключением случаев, когда он делится на 100, если он не делится на 400. Итак:
2004 - leap year - divisible by 4
1900 - not a leap year - divisible by 4, but also divisible by 100
2000 - leap year - divisible by 4, also divisible by 100, but divisible by 400
В феврале 29 дней в високосном году и 28 дней в невисокосном.
30 дней в апреле, июне, сентябре и ноябре
31 день в январе, марте, мае, июле, августе, октябре и декабре
Тест:
Все следующие даты должны пройти проверку:
1976-02-29
2000-02-29
2004-02-29
1999-01-31
Следующие даты не пройдут валидацию:
2015-02-29
2015-04-31
1900-02-29
1999-01-32
2015-02-00
Ассортимент:
Мы будем тестировать даты с 1 января 1000 г. по 31 декабря 2999 г. Технически используемый в настоящее время григорианский календарь вошел в употребление только в 1753 году для Британской империи и в разные годы 1600-х годов для стран Европы, но я не собираюсь беспокоиться об этом.
Регулярное выражение для проверки високосного года:
Годы, кратные 400:
1200|1600|2000|2400|2800
can be shortened to:
(1[26]|2[048])00
if you wanted all years from 1AD to 9999 then this would do it:
(0[48]|[13579][26]|[2468][048])00
if you're happy with accepting 0000 as a valid year then it can be shortened:
([13579][26]|[02468][048])00
Годы, кратные 4:
[12]\d([02468][048]|[13579][26])
Годы, кратные 100:
[12]\d00
Не делится на 100:
[12]\d([1-9]\d|\d[1-9])
Годы, делимые на 100, но не на 400:
((1[1345789])|(2[1235679]))00
Делится на 4, но не на 100:
[12]\d([2468][048]|[13579][26]|0[48])
Високосные годы:
divisible by 400 or (divisible by 4 and not divisible by 100)
((1[26]|2[048])00)|[12]\d([2468][048]|[13579][26]|0[48])
Не делится на 4:
[12]\d([02468][1235679]|[13579][01345789])
Не високосный год:
Not divisible by 4 OR is divisible by 100 but not by 400
([12]\d([02468][1235679]|[13579][01345789]))|(((1[1345789])|(2[1235679]))00)
Действительный месяц и день, кроме февраля (ММ-ДД):
((01|03|05|07|08|10|12)-(0[1-9]|[12]\d|3[01]))|((04|06|09|11)-(0[1-9]|[12]\d|30))
shortened to:
((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30))
Февраль с 28 днями:
02-(0[1-9]|1\d|2[0-8])
Февраль с 29 днями:
02-(0[1-9]|[12]\d)
Действительной датой:
(leap year followed by (valid month-day-excluding-february OR 29-day-february))
OR
(non leap year followed by (valid month-day-excluding-february OR 28-day-february))
((((1[26]|2[048])00)|[12]\d([2468][048]|[13579][26]|0[48]))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|[12]\d))))|((([12]\d([02468][1235679]|[13579][01345789]))|((1[1345789]|2[1235679])00))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|1\d|2[0-8]))))
Итак, у вас есть регулярное выражение для дат между 1 января 1000 и 31 декабря 2999 года в формате ГГГГ-ММ-ДД.
Я подозреваю, что его можно немного сократить, но я оставлю это кому-нибудь другому.
Это будет соответствовать всем действительным датам. Если вы хотите, чтобы он был действителен только тогда, когда он содержит только одну дату и ничего больше, оберните его ^( )$
так:
^(((((1[26]|2[048])00)|[12]\d([2468][048]|[13579][26]|0[48]))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|[12]\d))))|((([12]\d([02468][1235679]|[13579][01345789]))|((1[1345789]|2[1235679])00))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|1\d|2[0-8])))))$
Если вы хотите указать дополнительную дату (например, она может быть пустой или действительной), добавьте ее ^$|
в начале, например:
^$|^(((((1[26]|2[048])00)|[12]\d([2468][048]|[13579][26]|0[48]))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|[12]\d))))|((([12]\d([02468][1235679]|[13579][01345789]))|((1[1345789]|2[1235679])00))-((((0[13578]|1[02])-(0[1-9]|[12]\d|3[01]))|((0[469]|11)-(0[1-9]|[12]\d|30)))|(02-(0[1-9]|1\d|2[0-8])))))$
date("Y-m-d", strtotime("2012-09-12"))=="2012-09-12";
или PHPcheckdate ( int $month , int $day , int $year )
.