Pylance语义高亮中装饰器方法被识别为函数的问题分析

问题背景

在Python开发中，Pylance作为强大的语言服务器，提供了语义高亮功能，能够区分方法(method)和函数(function)并给予不同的颜色标识。然而，当开发者使用装饰器修饰类方法时，Pylance的语义高亮系统会出现一个有趣的现象：被装饰的方法会被错误地识别为普通函数而非类方法。

问题现象重现

考虑以下简单的装饰器示例：

def method_dec(func):
    def inner(self, *args, **kwargs):
        func(self, *args, **kwargs)
        return 1
    return inner

class MyClass:
    @method_dec
    def test1(self, arg: str):
        pass

    def test2(self):
        pass

在使用"Semantic Rainbow"主题时，普通方法test2显示为浅蓝色(方法)，而被装饰的test1却显示为深蓝色(函数)，这与预期行为不符。

技术原理分析

Pylance内部通过检查functionType.shared.methodClass属性来判断一个函数是否是类方法。对于装饰器场景：

1. 装饰器返回的inner函数虽然技术上可以像方法一样工作，但它不是在类体内直接定义的
2. methodClass属性仅在函数直接在类体中定义时才会设置
3. 装饰器语法本质上是先定义函数再应用装饰器的过程

解决方案探索

开发团队尝试了多种类型注解方式，包括：

1. 基础ParamSpec方案
2. 分离Self参数的TypeVar方案
3. 使用Protocol的方案

但这些方案都无法改变Pylance对装饰方法的识别方式。根本原因在于语义高亮系统过度依赖类型系统而非语法分析。

修复方案

Pylance团队最终决定：

1. 不再完全依赖类型系统的methodClass属性
2. 同时考虑函数声明节点的isMethod属性
3. 保持对装饰器返回值的正确处理

这一变更已在2025.2.100预发布版本中实现。

开发者启示

1. 装饰器会改变函数的元信息，影响IDE的识别
2. 类型系统与语法分析各有优势，需要合理结合
3. 运行时行为(如CPython的方法绑定)与静态分析结果可能不同

这个问题展示了静态分析工具在处理Python动态特性时的挑战，也体现了Pylance团队对细节的关注和对开发者体验的重视。