当if-else块的两个子句都存在赋值时，为什么变量不被赋值？

当if-else块的两个子句都存在赋值时，变量不被赋值的原因是因为if-else语句中只会执行其中一个子句，而不会同时执行两个子句。具体来说，if-else语句会根据条件判断选择执行if子句或者else子句，而不会同时执行两个子句。

如果在if子句中对变量进行了赋值，而在else子句中也对同一个变量进行了赋值，那么只有在满足if条件时，if子句中的赋值语句才会执行，而else子句中的赋值语句不会执行。同理，如果满足else条件，则if子句中的赋值语句不会执行，而else子句中的赋值语句会执行。

这种行为是为了保证程序的逻辑正确性和一致性。如果if-else语句中两个子句都能执行并且都对同一个变量进行赋值，那么就会导致变量的值不确定，从而引发潜在的错误和不可预测的结果。

因此，在编写if-else语句时，需要注意只在满足条件的子句中对变量进行赋值，或者使用其他逻辑结构来确保变量的赋值行为符合预期。