在 Flask 中直接修改 session 内嵌字典（如 session["basket"][product_id]）不会自动触发持久化，必须显式设置 session.modified = True，否则变更将丢失，导致 KeyError 反复发生。
在 flask 中直接修改 session 内嵌字典（如 `session["basket"][product_id]`）不会自动触发持久化，必须显式设置 `session.modified = true`，否则变更将丢失，导致 keyerror 反复发生。
Flask 的 session 机制默认采用基于签名 Cookie 的客户端存储（SecureCookieSessionInterface），其内部对 session 对象的变更检测是浅层的：仅当 session 字典本身的引用被替换（如 session['basket'] = {...}）或 session.modified = True 被手动设为 True 时，才会将更新写回响应 Cookie。而对嵌套可变对象（如 session['basket'] 是一个 dict）的原地修改（例如 session['basket'][pid] += 1 或 .update()）不会自动标记 session 为已修改，因此后续请求中该变更不可见——这正是你反复触发首个 KeyError 的根本原因：session["basket"] 在下一次请求中“恢复”为空或未初始化状态。
正确的做法是避免深度嵌套的异常捕获逻辑，转而采用清晰、幂等的初始化流程，并始终显式声明变更：
from flask import Flask, session, request
@app.route('/product_to_basket/<int:product_id>')
def add_product_basket(product_id):
# 确保 basket 存在且为 dict
if 'basket' not in session:
session['basket'] = {}
# 确保该 product_id 键存在（初始值为 0，便于累加）
if product_id not in session['basket']:
session['basket'][product_id] = 0
# 安全递增
session['basket'][product_id] += 1
# ⚠️ 关键：显式标记 session 已修改，确保嵌套变更被持久化
session.modified = True
return f"Added {product_id}, basket: {session['basket']}"✅ 优势说明：
- 消除多层 try/except KeyError 嵌套，逻辑更直观、易维护；
- 使用 int 类型转换（<int:product_id>）防止字符串 ID 引发的键不匹配；
- 初始化 session['basket'][product_id] = 0 避免 += 1 对 None 的误操作；
- session.modified = True 是解决本问题的强制要求，不可省略。
⚠️ 注意事项：
- 若使用服务器端 session 后端（如 Redis、SQLAlchemy），虽部分实现会自动检测深层变更，但仍建议统一显式设置 session.modified = True 以保证行为一致性和可移植性；
- 不要依赖 session.get('basket', {}) 后直接修改返回值——因为 get() 返回的是原 dict 引用，但修改它仍不会触发 session 自动标记；
- 开发阶段可启用 app.config['SESSION_COOKIE_SECURE'] = False 和 app.config['SESSION_COOKIE_HTTPONLY'] = False 方便调试 Cookie 内容。
总结：Flask session 的“惰性持久化”设计要求开发者对可变嵌套结构的修改负起显式责任。遵循“先确保结构存在 → 再安全修改 → 最后标记 modified”的三步法，即可彻底规避此类 KeyError 循环陷阱。
