>>389
正確を期すと
・条件部にはブール型しか受け付けてはいけない
・他の型からブール型へ自動変換(キャスト)されてはいけない

現代のまともなプログラミング言語つまり強い型付け言語ならばこれを満たしており大丈夫