Scala中如何准确获取变量的声明类型？WeakTypeTag提取结果异常

你观察到的三个类型输出不符合预期，是Scala语言设计规则、反射机制边界、以及长期维护遗留问题共同作用的结果，并非完全是反射库的随机故障：

• 关于t1 = TypeTag[String]：这个结果本身是符合规则的。x1是普通val变量，编译器对它的默认类型推导就是String，x1.type只是依附于这个实例存在的窄化单例子类型，不是变量的默认声明类型，所以拿到String类型的Tag是正确的。
• 关于t2 = TypeTag[String]：这个结果是Scala泛型推断的自动单例拓宽规则触发的。当你把一个单例类型的值传给没有任何上界约束的泛型方法inferWeak时，编译器会默认把窄化的单例类型拓宽为它对应的抽象父类型（也就是String），不会保留单例的特殊结构。而TypeTag/WeakTypeTag是直接绑定到泛型方法最终推断出的类型参数T上的，根本不会回头去读你传入变量的原始声明类型，所以最终生成的Tag自然就是拓宽后的String，和x1的Tag看起来完全一致。
• 关于t3 = WeakTypeTag[T3]：这个结果是WeakTypeTag的设计边界导致的。你定义的T3是指向路径依赖单例类型x1.type的本地类型别名，属于典型的弱类型范畴——这类类型无法脱离它所在的编译期局部作用域，拆成全局可独立解析的类型结构，根本没有办法生成强的、可跨作用域传递的TypeTag。WeakTypeTag遇到这类无法完全展开的局部路径类型时，只会保留你写的类型别名的符号引用，不会强行展开成内部的依赖类型结构，既不会报编译错误，也不会生成完整的类型树结构。

要绕开这些规则拿到变量的真实编译期声明类型，可以按场景选择以下方案：

• 给泛型方法添加单例类型上界约束。把inferWeak的方法签名调整为def inferWeak[T <: Singleton](v: T)(implicit ev: WeakTypeTag[T]) = ev，这个标记会明确告诉编译器：当前泛型参数需要保留单例结构，不要触发自动类型拓宽。调整之后再传入x2，就能拿到完整的x1.type单例类型Tag，不会被无差别拓宽成String。
• 绕开泛型传参的类型推断路径，直接在声明位置绑定类型Tag。通过传值给泛型方法取类型的路径，天生会受各种类型自动调整规则的干扰，如果你要拿某个变量的精确声明类型，应该直接用字面类型参数生成Tag，而不是把值传进去反向推断：

  // 直接引用字面类型生成Tag，不经过值传参的推断流程
  val t2 = WeakTypeTag[x2.type]
  val t3 = WeakTypeTag[T3]
  

  这种方式拿到的Tag和你写的静态声明类型是完全对齐的，不会被编译器悄悄修改。
• 涉及动态遍历变量声明类型的场景，尽量不要依赖Scala 2.x的运行时反射。正如你观察到的，Scala 2.x的反射库长期处于维护停滞状态，对路径依赖类型、单例类型这类后期加入的语言特性的支持存在长期的兼容性缺陷，运行时反射拿到的类型结果经常会出现结构缺失、类型截断的问题，这类场景更推荐使用编译期绑定的类型证据，不要寄希望于运行时反射能准确还原所有静态类型信息。

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