C++で 比較の結果が0/1であることは保証されてますか?