Java中重载是编译期行为，非关键字，仅凭参数列表（类型、数量、顺序）区分，返回值不参与；Python靠@overload+类型提示实现开发期契约，运行时无重载；C#支持完整编译期重载，但需注意可选参数干扰。
Java 中的 overload 不是关键字，而是编译期行为
Java 没有 overload 关键字，方法重载是通过编译器根据参数类型、数量、顺序自动匹配实现的。它只发生在同一个类中，且返回值类型不参与区分——哪怕两个方法仅返回值不同，编译会直接报错 method xxx() is already defined。
常见错误现象：写完两个“看起来不同”的方法却提示重复定义，大概率是只改了返回值，或参数只是做了自动装箱/拆箱（比如 int 和 Integer 在重载中可能被模糊处理，尤其在旧 JDK 版本里）。
- 必须保证参数列表（类型+数量+顺序）有可分辨差异，例如：
print(String)和print(String, int) - 避免依赖隐式转换做重载判断，比如
print(int)和print(long)同时存在时，传5会匹配前者；但传5L才走后者 - 泛型擦除后无法形成重载，
list(List<string>)</string>和list(List<integer>)</integer>编译不通过
Python 没有传统意义上的方法重载，得靠 @overload + 类型提示
Python 运行时是动态的，同名方法定义会覆盖前一个。所谓“重载”只是开发期给类型检查器（如 mypy）看的契约，实际运行仍只有一个方法体。不加 typing.overload 装饰器，只写多个同名函数，最后一个会生效，前面的被丢弃。
使用场景：提供清晰的 API 提示，让 IDE 或静态检查工具能识别不同入参对应的不同行为逻辑，但具体分支还得手动用 isinstance 或 len(args) 判断。
- 每个
@overload声明必须紧跟一个真实实现（无装饰器），且实现函数不能有类型提示（否则 mypy 报错） - 所有
@overload声明需连续排列，中间不能插入其他语句 - 运行时调用不会触发任何重载分发，全靠你在实现函数里自己 if-else
from typing import overload
<p>class Calculator:
@overload
def add(self, a: int, b: int) -> int: ...
@overload
def add(self, a: str, b: str) -> str: ...</p><pre class="brush:php;toolbar:false;">def add(self, a, b):
if isinstance(a, str):
return a + b
return a + b
C# 的 overload 最接近直觉，但要注意可选参数和命名参数干扰
C# 支持完整的编译期重载，也允许用可选参数（void Log(string msg, bool debug = false)）模拟部分重载效果。但两者混用容易引发歧义：如果同时存在 Log(string) 和 Log(string, bool)，再加一个 Log(string, bool = true)，编译器可能因调用时参数不足而无法确定该选哪个。
- 重载解析优先选择“最具体”的匹配，比如
object和string都可接受时，string版本胜出 - 避免让重载方法之间产生“隐式转换链”，例如同时提供
Process(int)、Process(long)、Process(double)，传5.0f可能意外匹配double版本 - 构造函数也支持重载，但若写了带参构造，编译器不再自动生成无参构造，这点常被忽略
重载不是多态，别指望它解决运行时类型分发问题
重载决定于编译时的静态类型，不是对象实际类型。比如父类引用指向子类实例：Animal a = new Dog(); a.speak();，如果 speak() 有多个重载版本，选哪个取决于 a 的声明类型（Animal），而不是 Dog。真要按运行时类型分发，得用 virtual / override（C#）、@Override（Java）或鸭子类型（Python）。
最容易被忽略的一点：当重载遇上继承，子类新增的重载方法对父类引用不可见。父类变量调用时，只能看到父类中定义的那些重载签名，即使子类里写了更贴切的版本。
