PHP日期时间

PHP日期时间：
	<?php
	//获得本地化时间戳
	//mktime()函数根据当前参数返回时间戳，若不传参数返回当前时间戳
	$time=mktime(12,36,22,9,1,2016);
	echo "2016年9月1日12时36分22秒时间戳为：".$time;
	echo "\n";

	//获得当前时间戳
	//time()函数获取当前的时间戳
	$now_time=time();
	echo "当前时间戳为：".$now_time."\n";

	//获取当前日期时间
	//通过date()函数获取当前的日期时间
	$date=date(DATE_W3C);
	echo "当前日期时间为：".$date."\n";

	//格式化日期时间
	$date2=date('Y-m-d H:i:s',time());
	echo "格式化日期时间：".$date2;

	//获取日期信息
	$date3=getdate();
	print_r($date3);
	echo "当前日期：".$date3['year']."-".$date3['mon'].'-'.$date3['mday'];
	echo "当前时间：".$date3['hours'].":".$date3['minutes'].":".$date3['seconds'];
	echo "\n";

	//检验日期有效性
	//通过checkdate()函数来检验日期的合法性，拥有3个参数：month,day,year
	$year=2019;
	$month=12;
	$day=16;
	$day2=35;
	echo "2019-12-16是否合法：".checkdate($month,$day,$year)."\n";
	echo "2019-12-35是否合法：";
	var_dump(checkdate($month,$day2,$year));

	//显示本地化的日期时间：
	//在美国使用friday表示星期五，我国：“星期五”，虽然都是一个含义但表达的方式却不同，这时就需要设置本地化环境
	//通过使用setlocale()和strftime()函数来设置本地化环境和格式化输出日期和时间
	setlocale(LC_ALL,"en_Us");
	echo "美国格式：".strftime("%A")."\n";
	setlocale(LC_ALL,"chs");
	echo "中国格式：".strftime("%A")."\n";

	//将任何英文文本的日期时间解析为时间戳
	//strtotime()
	echo strtotime("now");
	echo "\n";
	echo strtotime("21 May 2019");
	echo "\n";
	echo strtotime("2019-07-26 19:07:00");

	//日期时间比较
	//在php中日期时间是无法直接比较的，必须先转换为时间戳再求差进行比较
	echo "\n";
	$day1="2016-09-01 12:00:00";
	$day2="2019-07-26 19:12:00";
	if(strtotime($day1)-strtotime($day2)<0){
		//小于0说明$day1的时间在前面
		echo date($day1)."在前面";
	}else{
		echo date($day1)."在后面";
	}

	//计算页面脚本的运行时间
	//time()函数只返回unix到当前的秒数不够精确，程序的运行应该以毫秒为单位。
	//php提供了一个更精确的函数microtime(true/false)
	//函数以msec sec的格式返回一个字符串，sec是从unix几元起到现在的描述,msec为微秒部分。
	//如果输入参数为true，microtime()将返回一个浮点数。
	$start=microtime(true);
	$add=0;
	for($i=0;$i<9000000;$i++){
		$add+=$i;
	}
	echo "1000000累加和为：".$i;
	$end=microtime(true);
	echo "程序运行时间：".(floor(($end-$start)*100))."ms";