为什么不能在if语句中声明变量？

为什么？如果没有先声明，没有代码路径可以导致程序将1分配给b。

没错，但是编译器不知道这一点。编译器不执行代码。编译器仅转换为字节码，而不计算表达式。