早速本題なのですが
頭から詰められている(添え字の0から順に格納されている)配列を作成した場合、
if(0<count($arr)) or if(isset($arr[0]))
どちらがいいでしょうか?
理由も添えて回答頂けると助かります。

この質問をするに至った経緯が日単位で数千~数万のアクセスが想定される環境があり、
"少しでも最適化したい。"となった際に意見が出たので……。
勿論、この他にもベストなチェックがあればご教授下さい。

追記:
秒間100PVほどアクセスがある可能性が有ります。
サーバースペックについてはお話しできませんが、それを想定されたスペックではあります。