为何我的if-else语句触发UnboundLocalError错误？

根本错误原因 #

1. 变量作用域隔离：函数find_b内部的b和主程序里的b是完全独立的两个变量——函数内的b是局部变量，和外部全局变量b没有任何关联。你误以为函数能直接操作外部的b，这是核心误解。
2. Python局部变量判定规则：在函数内部，只要对变量执行赋值操作（包括+=这种增量赋值），Python就会默认该变量是局部变量，不管外部有没有同名变量。你的代码中，else分支执行b +=1时，局部变量b还未被定义赋值（仅在if a==1的分支里定义了局部b），因此触发UnboundLocalError。

为什么global能解决（但不推荐） #

用global b声明后，函数内的b会绑定到全局变量b，此时b +=1操作的是全局变量，不会创建局部变量。但这种写法会破坏函数的封装性，让函数依赖外部全局状态，代码耦合性高，属于不良编程习惯。

正确实现方式 #

如果需要让b在多次调用函数时持续累加，应该把当前的b值作为参数传入函数，让函数基于输入返回新值，保持函数的纯功能性：

def find_b(a, current_b):
    if a == 1:
        return 3
    else:
        return current_b + 1

if __name__ == '__main__':
    b = 0  # 初始化累加的初始值
    a = 0
    for i in range(0, 2):
        a += 1
        b = find_b(a, b)
    print(b)

若需要函数维护自身的状态，也可以用闭包实现：

def make_find_b(initial_b):
    b = initial_b
    def find_b(a):
        nonlocal b
        if a == 1:
            b = 3
        else:
            b += 1
        return b
    return find_b

if __name__ == '__main__':
    a = 0
    find_b = make_find_b(0)
    for i in range(0, 2):
        a += 1
        b = find_b(a)
    print(b)

内容的提问来源于stack exchange，提问作者ditto