如何在C#这类标称类型系统中编码TypeScript式结构多态？

结构多态类似鸭子类型，但仅在静态类型检查阶段生效，不会引发运行时错误。TypeScript中的典型示例如下：

interface Pet {
  name: string;
}
class Dog {
  name: string;
}
let pet: Pet;
// OK, 基于结构类型检查允许赋值
pet = new Dog();

在这个示例里，Dog类无需显式实现Pet接口，只要两者结构（拥有name字符串字段）匹配，Dog实例就能被赋值给Pet类型变量。

C#中的近似特性与局限 #

C#属于标称类型系统，默认不支持上述通用结构多态，但存在部分近似特性：

• LINQ语法是一个典型案例：from x in value select x + 1; 仅要求value对象具备Select<int>方法，无需显式实现IEnumerable<int>，且检查在编译阶段完成。不过这种特性仅针对LINQ场景，无法扩展到通用的结构多态表达。

模拟结构多态的可行思路 #

• 可参考《Encoding HKT in TypeScript》中的编码方式来实现模拟。
• Unity DOTS中的实体查询（或其他ECS实现）是一种受限版本的结构多态：仅支持字段为非结构体原始类型的结构体，通过类型编码键值，将值类型视为组件类型来完成结构匹配。

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