bootjp · April 2, 2015 06:36
diff --git a/bench.php b/bench.php
 <?php
 $time_start = microtime(true);

 for ($i = 0; $i < 1000; ++$i) {

   if (preg_match("/[0-9]+/", $i)) {
      echo null;
   }
 }

 $time_end = microtime(true);
 $time = $time_end - $time_start;
 echo "{$time} seconds\n";
	<?php
	$time_start = microtime(true);

	for ($i = 0; $i < 1000; ++$i) {

	if (preg_match("/[0-9]+/", $i)) {
	echo null;
	}
	}

	$time_end = microtime(true);
	$time = $time_end - $time_start;
	echo "{$time} seconds\n";