Wemake Python风格指南：关于装饰器语法检查的改进思考

背景介绍

Wemake Python风格指南是一个严格的Python代码风格检查工具，它包含了一系列的规则来确保代码的一致性和可读性。其中WPS466规则（NewStyledDecoratorViolation）原本用于检查装饰器是否使用了过于复杂的语法结构。

问题发现

随着Python 3.12引入了新的泛型语法，原有的装饰器检查规则出现了一个边界情况。新语法允许在装饰器中使用泛型类型标注，例如DecoratorClass[T, **P]这样的形式。这种语法实际上是Python 3.12中合法的泛型表示法，而非复杂的装饰器用法。

技术分析

装饰器在Python中是一种强大的元编程工具，它允许开发者在不修改原始函数代码的情况下扩展或修改函数行为。传统的装饰器语法检查主要关注的是装饰器表达式是否过于复杂，例如包含运算符或方法调用等。

然而，Python 3.12引入的泛型语法带来了新的考量。类型提示中的泛型参数（如[T]或[**P]）是类型系统的一部分，它们：

1. 在运行时实际上不会执行任何操作
2. 主要用于静态类型检查器的类型推断
3. 语法上简洁明了，不会影响代码可读性

解决方案

经过讨论，项目决定对WPS466规则进行改进，使其能够：

1. 继续禁止真正复杂的装饰器表达式（如@some.decorator['method'] + other）
2. 但允许类型提示相关的泛型语法（如@decorator[str | int](var1=1)）

这种改进既保持了代码风格的一致性，又适应了现代Python类型系统的发展。

实际应用示例

改进后，以下代码将不再触发违规：

@decorator[str | None, ...](var1=1, var2=2)
def foo() -> str | None: 
    ...

而以下复杂表达式仍会被标记：

@some.decorator['method'] + other
def bar(): ...

总结

这次规则调整展示了风格指南如何平衡严格性和实用性。随着Python语言特性的演进，代码风格工具也需要相应地调整，以确保既能维护代码质量，又不阻碍开发者使用新的语言特性。对于Python开发者来说，理解这些细微但重要的区别有助于编写既符合规范又充分利用语言特性的代码。