R语言S4面向对象系统是否存在类与类型的区分？

S4作为R的强类型泛函式面向对象系统，确实存在类（class）与类型（type）的明确区分，这一点和S3系统有显著差异，也和Java、Kotlin这类传统封装式语言的区分逻辑不同。

核心概念差异 #

• 类（Class）：是用户通过setClass()定义的抽象结构模板，用于约束对象的组成（槽位slots）与行为规则。它是S4的核心定义单元，比如：

  # 定义一个Person类，包含name（字符型）和age（数值型）槽位
  setClass("Person", slots = list(name = "character", age = "numeric"))
  

  这里的"Person"就是一个S4类，任何属于该类的对象必须严格符合槽位的类型要求。

• 类型（Type）：是R底层对对象的原生存储分类，可通过typeof()函数查看，比如character、numeric、list等。所有S4类的实例，其底层类型统一为"S4"——也就是说，S4类是上层的抽象定义，而类型是R对该对象的底层归类。

与S3系统的关键区别 #

S3系统没有严格的类定义机制，所谓的“类”只是附加在对象上的一个属性（可通过class()随意赋值），和底层类型的边界极其模糊：比如你可以给一个普通数值向量手动添加"Person"类，它的typeof()依然是"double"，S3不会对对象结构做任何强制约束。

而S4的类是强约束的，必须通过setClass()预先定义结构，对象的类与底层类型完全分离：类是用户定义的抽象结构，类型是R原生的存储标识，二者各司其职。

与Java/Kotlin等语言的差异 #

Java这类传统OOP语言中，类与类型几乎是一一绑定的——类的实例的类型就是该类本身。但S4中，所有S4对象的底层类型都是"S4"，不同的S4类只是上层的抽象区分，底层共享同一原生类型。

内容的提问来源于stack exchange，提问作者J. Mini