Smalltalk中同一类为何不能存在同名方法？

核心原因在于Smalltalk的方法查找存储机制，以及语言设计的底层逻辑： #

• 方法字典的键唯一性：每个Smalltalk类都维护一个方法字典，用方法的**选择器（selector）**作为键存储方法实现。这里的选择器不仅包含方法名，还涵盖参数占位符（比如add:和add:and:就是两个完全不同的选择器）。如果同一类中出现选择器完全相同的方法，后定义的会直接覆盖前一个，系统无法同时保留两个实现——相当于第一个方法的定义完全无效，语言干脆从语法层面禁止这种无意义操作。
• 消息传递的匹配逻辑：Smalltalk是纯消息传递型语言，调用方法本质是给对象发送消息，系统只会通过选择器匹配对应的方法，不会像Java那样通过参数类型、个数区分重载方法。如果允许同一类存在相同选择器的方法，调用时系统根本无法确定执行哪一个，会导致行为歧义，破坏代码的确定性。
• 语言设计的简洁性原则：Smalltalk的设计追求简洁清晰，刻意避免重载带来的复杂性。开发者不需要纠结参数类型匹配的细节，只需要确保每个消息选择器在类中唯一，就能明确调用对应的方法，降低了代码理解和维护的成本。

举个实际例子，如果你尝试在同一类里定义两个完全相同的print方法：

print
    Transcript show: 'Hello'; cr.

print
    Transcript show: 'World'; cr.

第二个方法会直接覆盖第一个，调用obj print永远只会输出World，第一个方法的定义完全无效。

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