Python 3.12中mypy对多行f-string报语法错误的咨询

问题场景 #

我正在使用Python 3.12，近期为项目添加了mypy类型检查。遇到一个奇怪的问题：mypy会对代码中某些中间包含换行符的f-string抛出语法错误，但Python解释器能正常运行该代码且无报错。

报错代码示例 #

name = "Alice"
message = f"Hello, {name
}, welcome!"

mypy报错信息 #

mypy minimal_reproducible_example.py
src/loculus_preprocessing/alice.py:2: error: unterminated string literal (detected at line 2)  [syntax]
Found 1 error in 1 file (errors prevented further checking)

即使添加--python-version 3.12参数也无法解决该问题。我了解使用三引号"""定义多行字符串是推荐做法，但此时代码在解释器中可正常运行，mypy却持续报错。

疑问与解答 #

1. 为何Python 3.12可正常接受的代码，mypy会判定为语法错误？ #

Python 3.12的语法规范允许f-string的表达式部分（{}内部）包含换行，这是合法的语法。但mypy的语法解析逻辑尚未完全适配Python 3.12的这一语法细节，导致误将跨换行的f-string判定为未终止的字符串字面量。

2. 这是mypy的局限性，还是我忽略了Python语法中的潜在问题？ #

这是mypy的局限性。你的代码完全符合Python 3.12的语法要求，Python解释器的正常运行已经证明了这一点。问题出在mypy对新语法的支持滞后，属于工具兼容性问题，而非代码本身的语法错误。

临时解决方案 #

如果需要让mypy通过检查，同时保留类似写法，可选择以下方式：

• 用括号包裹{}内的表达式后换行，让mypy能正确解析：

  message = f"Hello, {
      name
  }, welcome!"
  

• 改用三引号定义多行字符串（更符合常规编码习惯）：

  message = f"""Hello, {name}
  , welcome!"""
  

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