Python代码为何报'局部变量length可能在赋值前被引用'警告？

警告出现的根本原因 #

1. 极端分支下变量未定义触发警告 #

你代码里的length变量仅在for循环内部完成赋值，当输入字符串s的长度≤1时，range(1, len(s))会生成空序列，for循环完全不会执行。函数运行到return length语句时，length从未被定义，不仅会触发静态检查工具的警告，实际运行时还会直接抛出NameError报错。
即便你的业务场景不会传入长度≤1的字符串，静态检查工具也会识别到该潜在风险，因此给出提示。

2. 现有代码同时存在逻辑错误 #

当前写法每次循环都会覆盖length的值，不符合「查找最长双后缀」的需求：只要最后一次循环不满足匹配条件，不管前面有没有找到更长的匹配结果，最终都会返回0。
例如输入s = "aabbaabb"，最长双后缀长度为4，但你的代码循环到i=4时匹配成功，将length赋值为4，后续i=5、6、7次循环不匹配，每次都会把length改回0，最终返回0，结果完全不符合预期。

修正后代码 #

def lds(s):
    max_length = 0  # 提前初始化变量，消除未定义风险
    n = len(s)
    reversed_s = s[::-1]  # 提前完成反转，避免每次循环重复计算
    # 双后缀长度不可能超过字符串总长度的一半，缩小循环范围减少无用计算
    for i in range(1, n//2 + 1):
        if reversed_s[:i] == reversed_s[i:2*i]:
            max_length = i  # 仅匹配成功时更新最长长度
    return max_length

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