PHP 更高效的字符长度判断方法(转)

今天看到有人说，在做字符串长度判断的时候，有个比strlen效率更高的方法。
即：

$str = ‘aaaaaa’;

if(strlen($str) > 6)

VS

if(!isset($str{6})

晚上自己用例子简单测试下，情况基本属实，特此记录下。
后者效率几乎是前者的3倍。
具体原因是，在PHP中，所有的变量都是用一个结构-zval来保存的，strlen虽然是直接获取其中的len，但是仍然有一次函数调用，而isset是PHP的语法结构，所以更快！
示例：

1 <?php
2   //使用strlen方式
3   $arr = '123456';
4   $sTime = microtime(1);
5   if(strlen($arr) > 6){
6     // echo 1;
7   }
8 
9   echo microtime(1) - $sTime;

输出：

0.00035595893859863

<?php
//使用isset($arr{})方式
  $arr = '123456';
  $sTime = microtime(1);
  if(!isset($arr{6})){
    // echo "1\r\n";
  }
  echo microtime(1) - $sTime;

输出：

0.00019097328186035