日期正则

借鉴：日期正则表达式（包括闰年）

---

格式要求

YYYY/MM/DD hh:mm:ss

---

最简单的匹配

[0-9]{4}/(0[0-9]|1[0-2])/([0-2][0-9]|3[01])(\\s)+([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]

• YYYY: [0-9]{4}
• MM: (0[0-9]|1[0-2])
• DD: ([0-2][0-9]|3[01])
• at least one SAPCE: (\\s)+
• hh:mm:ss: ([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]

不足：
* 没有闰年，以及月份30, 31这样的判断
* YYYY的合法规定是0001-9999这样子的

---

准确匹配

YYYY

0001-9999

第3位为0 [0-9]{3}[1-9]
第2位为0 [0-9]{2}[1-9][0-9]{1}
第1位为0 [0-9]{1}[1-9][0-9]{2}
开头不是0 [1-9][0-9]{3}

综上

[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}

MM/DD

需要平年（看天数是否符合，2月都是28）
闰年只考虑yyyy-02-29
最后平年|闰年就可以匹配了

平年

2月都是28天，在考虑29的情况

31天的 1, 3, 5, 7, 8, 10, 12：01-31

MM: 0[13578]|1[02]
DD:0[1-9]|[12][0-9]|3[01]

30天的 4，6，9，11：01-30

MM: 0[469]|11
DD:0[1-9]|[12][0-9]|30

2月 01：28

MM: 02
DD:0[1-9]|1[0-9]|2[0-8]

综上 平年的时间格式 以上3个 | 连接

PING = (((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])))

闰年 （只需要|xxxx-02-29）

能被4整除但不能被100整除的年份。寻找后两位的变化规律，可以很快得到下面的正则匹配

MM: ([0-9]{2})(0[48]|[2468][048]|[13579][26])

能被400整除的年份。能被400整除的数肯定能被100整除，因此后两位肯定是00，我们只要保证前两位能被4整除即可

MM: (0[48]|[2468][048]|[3579][26])00
综上 闰年时间格式 (MM1|MM2)/02/29
RUN: (([0-9]{2})(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))/02/29

YYYY/MM/DD最终结果

(((([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))

space hh:mm:ss

这个不变

([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]

最终结果

YYYY/MM/DD hh:mm:ss
(((([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))(\\s)+([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9])

#include <boost/regex.hpp>
#include <boost/algorithm/string.hpp>     

bool isTimeLegal(string TimeLine)
{
    // yyyy/MM/dd HH:mm:ss   是否比上一次大
    //regex reg("[0-9]{4}/(0[0-9]|1[0-2])/([0-2][0-9]|3[01])(\\s)+([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]");  // 基本匹配  仅格式(闰年，月份，未考虑）

    // 年0001-9999 yyyy  ： [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}
    // 平年的（2月28） MM/dd :  30 天的  31 天的  28 天的 三个或者  (((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])))
    // 闰年 2.29 (([0-9]{2})(0[48]|[2468][048]|[13579][26])|((0[48]|[2468][048]|[3579][26])00))/02/29
    // 空格 (\\s)+
    // 时间： ([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]
    regex reg ("(((([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))(\\s)+([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9])");
    bool result = regex_match(TimeLine,reg);
    return result;           
}   

---

正则表达式说明

符号	说明
$	匹配输入字符串的结束位置
^	匹配输入字符串的开始位置
\	将下一个字符标记为一个特殊字符、或一个原义字符、或一个 向后引用、或一个八进制转义符。例如，’n’ 匹配字符 “n”。’\n’ 匹配一个换行符。序列 ‘\’ 匹配 “\” 而 “(” 则匹配 “(“。
?	匹配前面的子表达式零次或一次。例如，”do(es)?” 可以匹配 “do” 或 “does” 中的”do” 。? 等价于 {0,1}。
{n}	n 是一个非负整数。匹配确定的 n 次。例如，’o{2}’ 不能匹配 “Bob” 中的 ‘o’，但是能匹配 “food” 中的两个 o。
{n,}	n 是一个非负整数。至少匹配n 次。例如，’o{2,}’ 不能匹配 “Bob” 中的 ‘o’，但能匹配 “foooood” 中的所有 o。’o{1,}’ 等价于 ‘o+’。’o{0,}’ 则等价于 ‘o*’。
{n,m}	m 和 n 均为非负整数，其中n <= m。最少匹配 n 次且最多匹配 m 次。例如，”o{1,3}” 将匹配 “fooooood” 中的前三个 o。’o{0,1}’ 等价于 ‘o?’。请注意在逗号和两个数之间不能有空格。
*	匹配前面的子表达式零次或多次。例如，zo* 能匹配 “z” 以及 “zoo”。* 等价于{0,}。
+	匹配前面的子表达式一次或多次。例如，’zo+’ 能匹配 “zo” 以及 “zoo”，但不能匹配 “z”。+ 等价于 {1,}。
?	当该字符紧跟在任何一个其他限制符 (*, +, ?, {n}, {n,}, {n,m}) 后面时，匹配模式是非贪婪的。非贪婪模式尽可能少的匹配所搜索的字符串，而默认的贪婪模式则尽可能多的匹配所搜索的字符串。例如，对于字符串 “oooo”，’o+?’ 将匹配单个 “o”，而 ‘o+’ 将匹配所有 ‘o’。
x|y	匹配 x 或 y。例如，’z
[xyz]	字符集合。匹配所包含的任意一个字符。例如， ‘[abc]’ 可以匹配 “plain” 中的 ‘a’。
[^xyz]	负值字符集合。匹配未包含的任意字符。例如， ‘[^abc]’ 可以匹配 “plain” 中的’p’
[a-z]	字符范围。匹配指定范围内的任意字符。例如，’[a-z]’ 可以匹配 ‘a’ 到 ‘z’ 范围内的任意小写字母字符。
[^a-z]	负值字符范围。匹配任何不在指定范围内的任意字符。例如，’[^a-z]’ 可以匹配任何不在 ‘a’ 到 ‘z’ 范围内的任意字符。