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

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

$str = ‘aaaaaa’;

if(strlen($str) > )

VS

if(!isset($str{})

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

 <?php
   //使用strlen方式
   $arr = '';
   $sTime = microtime();
   if(strlen($arr) > ){
     // echo 1;
   }

   echo microtime() - $sTime;

输出：

0.00035595893859863

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

输出：

0.00019097328186035