パフォーマンスとスケーラビリティに関する簡単な質問です。ユーザー エージェント文字列から Android フォンの正確なモデルを認識し、モデルが特定のリストにある場合はページを呼び出す必要があります。そこで、「stristr」関数と単純な if 条件を次のように使用します。
$ua = $_SERVER['HTTP_USER_AGENT'];
if ( stristr($ua, "Nexus S") || stristr($ua, "GT-I9003") || stristr($ua, "GT-I9000") || stristr($ua, "SGH-T959D") || stristr($ua, "SGH-I897") || stristr($ua, "GT-I9088") || stristr($ua, "GT-I9100") ) {
$page = "android_specific.html";
header('Location: ' . $page);
}
問題は、この比較を行うためのよりエレガントでおそらくより良い (より高速な) 方法はありますか? 私は配列とforサイクルで推測しますか?
よろしくお願いします。