为什么嵌套在f-string内推导式中的f-string会报语法错误

核心触发点：f-string的引号匹配限制 #

Python的f-string解析规则有明确约束：

• 解析器会优先匹配f-string的最外层引号边界，替换表达式（即{}包裹的内容）中如果出现和外层f-string完全相同的引号类型，哪怕添加反斜杠转义，也会被解析器识别为外层f-string的结束标记，直接触发语法错误。
• 同时f-string的替换表达式内部不允许出现未转义的反斜杠，转义引号用到的反斜杠本身就违反了这条规则。

两种写法的差异 #

第一种报错写法的问题 #

你外层f-string用单引号f'...'，内层生成器里的f-string也尝试用转义的单引号f\'{key}, {value}\'，存在两个冲突：

1. 反斜杠出现在了f-string的{}替换块内部，违反语法规则
2. 内层单引号会被解析器判定为外层f-string的结束标记，后续的{key}等内容就变成了f-string外部的非法语法，直接抛出SyntaxError。

第二种写法可运行的原因 #

你先把生成器表达式(f'{key}, {value}' for key, value in MORSE_CODE.items())赋值给变量a时，这个生成器的f-string是在全局上下文单独解析的，没有外层f-string的引号冲突限制，语法完全合法。
后续你把a放到外层f-string中打印，只是把生成器对象传入替换块，不需要再解析内层的f-string逻辑，自然不会报错。

解决方案 #

如果要直接在f-string内部嵌套f-string，只需要让内层和外层的f-string用不同类型的引号即可，不需要额外转义：

MORSE_CODE = {'123' : '456', '789' : 'qwe'}
# 外层用单引号，内层f-string用双引号，无冲突可正常运行
print(f'{(f"{key}, {value}" for key, value in MORSE_CODE.items())}')

运行后会直接输出生成器对象的地址，和你赋值给变量再打印的效果完全一致。

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