プログラムの結果がnanになってしまいます。

[ISLe]

リテラルと比較するときしか使えないですからね。
ひっくり返しても代入できてしまうときの主従関係はどうなるのでしょう。
すべての主従関係が統一されていなければ、個人的には読みづらいと感じます。

可読性を落とさずにコンパイルエラーにする方法もあります。

コード:

if (+x == 1) {} /* OK */
if (+x = 1) {} /* コンパイルエラー */

[asd]

リテラルと比較するときしか使えないですからね。
ひっくり返しても代入できてしまうときの主従関係はどうなるのでしょう。
すべての主従関係が統一されていなければ、個人的には読みづらいと感じます。

可読性を落とさずにコンパイルエラーにする方法もあります。

コード:

if (+x == 1) {} /* OK */
if (+x = 1) {} /* コンパイルエラー */

この方法であれば可読性を落とさずに済みますね。
勉強になります＾＾