线性方程绘图项目遇TypeError：无法解包NoneType对象求助

你遇到的这个错误本质是因为solve_eq()函数在大部分场景下都会返回None，导致你尝试解包solx, soly时直接失败。问题核心出在你用正则表达式解析sympy求解结果的方式上——这完全是多此一举，而且你的正则存在诸多局限性。

问题根源拆解 #

1. 正则表达式的局限性：你写的正则r'^{x: (\d+), y: (\d+)}'只能匹配正整数的解，但sympy返回的解可能是负数（比如x: -3）、浮点数（比如x: 2.5）甚至分数形式，这些情况都会导致正则匹配失败，函数没有返回值（即默认返回None）。
2. 没必要解析字符串：sympy的solve()函数返回的本身就是一个字典（比如{x: -3, y: -2}），你可以直接通过键来获取x和y的解，完全不需要把它转成字符串再用正则提取。

修复后的核心代码 #

把原来的正则部分彻底删掉，直接利用sympy返回的字典获取解，同时增加异常处理避免无解或无穷多解的情况：

# 修复后的方程求解器
def solve_eq():
    x = simp.Symbol('x')
    y = simp.Symbol('y')
    eq = (a1 * x + b1 * y + c1, a2 * x + b2 * y + c2)
    sol = simp.solve(eq, (x, y))
    
    # 检查是否存在唯一解
    if isinstance(sol, dict) and x in sol and y in sol:
        return sol[x], sol[y]
    else:
        print("方程无解或存在无穷多解")
        return None, None

额外的优化与修正 #

1. 绘图参数错误修正：原plot()函数里调用Linear_eq时参数传错了，第一个方程应该对应c_con1，第二个对应c_con2，修正后代码：

def plot():
    solx, soly = solve_eq()
    Linear_eq(a_con1, c_con1, 'r')
    Linear_eq(a_con2, c_con2, 'b')
    if solx is not None and soly is not None:
        plt.annotate(f'({solx},{soly})', (float(solx), float(soly)))
    plt.legend()  # 添加图例让图表更清晰
    plt.show()

2. 避免滥用全局变量：你的代码大量依赖全局变量，这会让代码难以维护和调试。建议把a1, b1, c1等参数直接传递给对应函数，比如修改solve_eq()接收参数而不是读取全局变量。
3. 输入校验逻辑优化：原有的check_errors_eq1()和check_errors_eq2()强制转int/float的逻辑不合理，sympy的sympify()可以处理分数、符号等合法输入，你可以改成捕获sympify的异常来判断输入是否有效。

测试示例 #

当你输入有唯一解的方程时，比如第一个方程a1=1, b1=-1, c1=1（对应x - y +1=0 → y=x+1），第二个方程a2=2, b2=1, c2=-5（对应2x + y -5=0 → y=-2x+5），代码会正确求解出x=4/3、y=7/3，并绘制出两条直线和交点标注。

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