- microtime: documentation ( source)
- number_format: documentation ( source)
<?php
$count = 100000;
$a = array();
for ($i = 0; $i < $count; $i++) {
if ($i % 2) {
$a['key_' . $i] = 'ok';
}
}
$time = microtime(true);
$result = 0;
for ($i = 0; $i < $count; $i++) {
if (array_key_exists('key_' . $i, $a)) {
++$result;
}
}
$time = microtime(true) - $time;
echo number_format($time, 3) . ' seconds and returned ' . $result . "\n";