PHP更高效的字符长度判断例子

<?php  
	   //使用strlen方式  
	   $arr = &#39;123456&#39;;  
	   $sTime = microtime(1);  
	   if(strlen($arr) > 6){  
	    // echo 1;  
	  }      
	   echo microtime(1) - $sTime;  
	  // 输出：0.00035595893859863  
	 /*-------------------------------------*/ 
	   //使用isset($arr{})方式  
	   $arr = &#39;123456&#39;;  
	   $sTime = microtime(1);  
	    
	   if(!isset($arr{6})){  
	    // echo "1rn";  
	   }  
	   echo microtime(1) - $sTime;  
	// 输出：0.00019097328186035