如何识别type class所属方法的类型？已知该方法不是构造函数

类型结论 #

该方法属于 Type Class 中的实例实现方法，部分开发语境下也可称其为类型类扩展方法。

具体判断依据 #

• 你已经排除了构造函数的可能性：构造函数要求无显式返回值类型声明，且名称必须和所属类名完全一致，该方法两点特征均不匹配。
• Type Class 的核心定位是定义行为约束的接口规范，内部会声明一系列待实现的抽象方法，归属于它的非构造方法本质就是对应类型对接口抽象的具体实现。
• 该类方法还有两个可验证的典型特征：
  • 逻辑仅对绑定到当前 Type Class 的特定数据类型生效，无法作用于未绑定的无关类型
  • 调用时无需手动初始化 Type Class 本身的实例，可直接作用于已绑定该 Type Class 的目标类型变量

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