Dart SDK中类型层次结构视图的泛型显示问题解析

在Dart语言开发过程中，类型层次结构(Type Hierarchy)视图是开发者理解类继承关系的重要工具。然而，Dart SDK中当前实现的类型层次结构视图在显示泛型类时存在一些值得探讨的问题，这些问题可能会影响开发者对代码结构的准确理解。

问题背景

当开发者在Dart代码中使用"显示类型层次结构"功能时，系统会展示当前选中类的继承层次。对于泛型类，当前实现会在视图标题中显示具体的类型参数，但在实际搜索和展示子类时却不会考虑这些类型参数的约束关系。

举例来说，假设有一个泛型类GeneralizingAstVisitor<T>，它有两个子类实现：

• _ChildrenVisitor继承自GeneralizingAstVisitor<AstNode?>
• _PushConstVisitor继承自GeneralizingAstVisitor<void>

虽然这两个子类都继承自GeneralizingAstVisitor，但由于类型参数不同，它们在实际使用中并不能互相替代。然而，当前的类型层次结构视图会不加区分地显示所有子类，这可能导致开发者产生误解。

技术分析

当前实现的行为

1. 标题显示：视图标题会显示调用处的具体类型参数，如GeneralizingAstVisitor<AstNode?>。
2. 子类搜索：搜索子类时不考虑类型参数的约束，会显示所有继承自GeneralizingAstVisitor的类，无论其类型参数如何。
3. 显示内容：子类列表中会显示类的声明形式，包括类型参数，但不会显示实际使用的类型参数。

存在的问题

1. 信息不一致：标题显示具体类型参数，但内容却不按此约束过滤，造成认知偏差。
2. 潜在误导：开发者可能误认为显示的子类都可以用当前类型参数实例化。
3. 信息不完整：无法直接从视图中看出子类是如何实例化父类类型参数的。

解决方案探讨

经过Dart开发团队的讨论，提出了几种可能的改进方向：

1. 统一显示类型参数：始终显示类的声明形式，忽略具体实例化的类型参数。

   • 优点：保持一致性，避免误导
   • 缺点：丢失了类型参数传递的信息

2. 显示类型参数传递关系：在子类视图中同时显示声明形式和实际类型参数。

   • 优点：提供更完整的信息
   • 缺点：可能导致显示内容冗长复杂

3. 区分对待超类和子类视图：

   • 超类视图：显示实际类型参数传递
   • 子类视图：仅显示声明形式
   • 优点：在需要的地方提供详细信息
   • 缺点：视图间行为不一致

最终决策

Dart团队最终决定采用第一种方案，即统一显示类型参数声明形式。这一决策基于以下考虑：

1. 避免误导：实际类型参数的显示可能导致开发者错误理解类之间的关系。
2. **保持一致性 类型层次结构视图将始终显示类的声明形式

• 不再的持续优化。通过统一显示类的声明形式而非具体实例化类型，