Python变量作用域解析：为何if块外打印pairs未报错？

先看问题中的代码：

myarray = [1,20,30,44,5,57,8]

def maxProduct(array):
    maxprod = array[0]
    for i in range(len(array)):
        for j in range(i + 1,len(array)):
            if array[i] * array[j] > maxprod:
                maxprod = array[i] * array[j]
                pairs = str(array[i]) + "," + str(array[j])
    
    print(pairs) # **Expected an error but got the output -> 44,57**

maxProduct(myarray)

核心原因分两点： #

• Python没有块级作用域：和C、Java这类语言不同，Python里的if、for代码块不会创建独立的作用域。在这些块内定义的变量，会直接归属到外层的函数/模块作用域中。这里的pairs虽然写在if块里，但实际上是属于maxProduct函数的作用域，并非if块私有。
• 代码执行流程确保pairs被赋值：给定的数组中，44和57的乘积（2508）是所有两两组合里最大的，而且这个值远大于初始的maxprod（数组第一个元素1），所以if条件至少会被触发一次，pairs会被成功赋值。当两层循环全部结束后，pairs已经存在于函数作用域里，print语句自然能正常访问它的值。

反例验证（触发预期错误）： #

如果修改代码让if块完全不执行，比如把初始maxprod设为无穷大：

def maxProduct(array):
    maxprod = float('inf')  # 设为极大值，所有乘积都比它小
    for i in range(len(array)):
        for j in range(i + 1,len(array)):
            if array[i] * array[j] > maxprod:
                maxprod = array[i] * array[j]
                pairs = str(array[i]) + "," + str(array[j])
    
    print(pairs)

这时候运行就会触发NameError: name 'pairs' is not defined，和你最初预期的错误一致。

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