1. 概述
在 Java 中，方法签名只是整个方法定义的一个子集。因此，对于“方法签名到底包含哪些元素”这个问题，很容易产生混淆。
本篇文章将深入探讨 Java 方法签名的构成及其在编程中的实际影响。
2. 方法签名的定义
Java 中的方法支持重载（overloading），也就是说，同一个类中可以有多个同名但参数不同的方法。为了让编译器能够准确地将调用绑定到对应的方法上，Java 中的方法签名必须唯一标识一个方法。
根据 Oracle 官方文档 的定义，方法签名只包含方法名和参数类型列表。也就是说，以下这些内容 不属于方法签名 的一部分：
- 修饰符（如
public、static） - 返回值类型
- 参数名
- 异常声明（
throws） - 方法体
我们可以通过下面的示例来验证这一点。
3. 重载中的常见错误
来看一段合法的重载代码：
public void print() {
System.out.println("Signature is: print()");
}
public void print(int parameter) {
System.out.println("Signature is: print(int)");
}
这两个方法可以共存，因为它们的参数类型不同，编译器能明确地进行静态绑定。
但如果尝试通过改变返回值类型来重载：
public int print() {
System.out.println("Signature is: print()");
return 0;
}
编译器会报错：method is already defined in class。✅ 说明返回值类型不是方法签名的一部分。
再试试通过改变修饰符来重载：
private final void print() {
System.out.println("Signature is: print()");
}
同样报错。❌ 修饰符也不影响方法签名。
再试下通过改变异常声明：
public void print() throws IllegalStateException {
System.out.println("Signature is: print()");
throw new IllegalStateException();
}
还是报错。❌ 异常声明也不属于方法签名。
最后测试一下改变参数名：
public void print(int anotherParameter) {
System.out.println("Signature is: print(int)");
}
依旧报错。❌ 参数名不影响方法签名。
4. 泛型与类型擦除的影响
当方法使用泛型参数时，由于类型擦除（type erasure）的存在，可能会导致方法签名冲突。
举个例子：
public class OverloadingErrors<T extends Serializable> {
public void printElement(T t) {
System.out.println("Signature is: printElement(T)");
}
public void printElement(Serializable o) {
System.out.println("Signature is: printElement(Serializable)");
}
}
虽然看起来这两个方法签名不同，但由于类型擦除，T 在编译后会被替换为它的上界 Serializable，结果就和第二个方法冲突了。❌ 编译器会报错。
同样的情况也会出现在没有上界时，泛型参数会被擦除为 Object。
5. 参数列表与多态
方法签名只看参数类型，不看继承关系。因此，我们可以对参数为父类或子类的方法进行重载。
⚠️ 但要注意，Java 在静态绑定时会综合考虑多态、自动装箱、类型提升等因素，这可能会导致方法绑定出乎意料。
例如：
public Number sum(Integer term1, Integer term2) {
System.out.println("Adding integers");
return term1 + term2;
}
public Number sum(Number term1, Number term2) {
System.out.println("Adding numbers");
return term1.doubleValue() + term2.doubleValue();
}
public Number sum(Object term1, Object term2) {
System.out.println("Adding objects");
return term1.hashCode() + term2.hashCode();
}
这三者可以共存。但调用时，Java 会自动选择最匹配的方法。
以下调用都会绑定到 sum(Integer, Integer)：
obj.sum(Integer.valueOf(2), Integer.valueOf(3));
obj.sum(2, 3);
obj.sum(2, 0x1);
而以下调用会绑定到 sum(Number, Number)：
obj.sum(2.0d, 3.0d);
obj.sum(Float.valueOf(2), Float.valueOf(3));
如果参数类型不一致，比如：
obj.sum(2, "John");
Java 会自动向上转型，最终绑定到 sum(Object, Object)。
✅ 如需改变默认绑定，可以显式转型：
obj.sum((Object) 2, (Object) 3);
obj.sum((Number) 2, (Number) 3);
6. 可变参数（Varargs）对签名的影响
可变参数本质上是数组，因此会影响方法的签名和绑定。
例如：
public Number sum(Object term1, Object term2) {
System.out.println("Adding objects");
return term1.hashCode() + term2.hashCode();
}
public Number sum(Object term1, Object... term2) {
System.out.println("Adding variable arguments: " + term2.length);
int result = term1.hashCode();
for (Object o : term2) {
result += o.hashCode();
}
return result;
}
这两个方法可以共存，因为它们的签名不同：
sum(Object, Object)sum(Object, Object[])
但要注意，如果你再定义一个：
public Number sum(Object term1, Object[] term2) {
// ...
}
❌ 就会和 varargs 版本冲突，编译报错。
7. 总结
在 Java 中，方法签名只由方法名和参数类型列表组成。以下这些内容不是方法签名的一部分：
- ✅ 返回值类型
- ✅ 修饰符
- ✅ 参数名
- ✅ 异常声明
我们还了解了：
- 类型擦除会改变泛型方法的实际签名，可能导致重载冲突
- Java 在静态绑定时会综合使用多态、自动装箱和类型提升
- 可变参数本质上是数组，会影响方法签名
- 可以通过显式类型转换改变默认绑定
如需查看文中完整代码示例，请访问：GitHub 项目地址。