Javac之关于方法的选择

15.12. Method Invocation Expressions

15.12.1. Compile-Time Step 1: Determine Class or Interface to Search

15.12.2. Compile-Time Step 2: Determine Method Signature

15.12.2.1. Identify Potentially Applicable Methods

15.12.2.2. Phase 1: Identify Matching Arity Methods Applicable by Subtyping

15.12.2.3. Phase 2: Identify Matching Arity Methods Applicable by Method Invocation Conversion

15.12.2.4. Phase 3: Identify Applicable Variable Arity Methods

15.12.2.5. Choosing the Most Specific Method

15.12.2.6. Method Result and Throws Types

15.12.2.7. Inferring Type Arguments Based on Actual Arguments

15.12.2.8. Inferring Unresolved Type Arguments

15.12.3. Compile-Time Step 3: Is the Chosen Method Appropriate?

15.12.4. Run-Time Evaluation of Method Invocation

15.12.4.1. Compute Target Reference (If Necessary)

15.12.4.2. Evaluate Arguments

15.12.4.3. Check Accessibility of Type and Method

15.12.4.4. Locate Method to Invoke

15.12.4.5. Create Frame, Synchronize, Transfer Control

方法调用的形式主要有5种：

MethodInvocation:
    MethodName ( ArgumentList_opt )
    Primary . NonWildTypeArguments_opt Identifier ( ArgumentList_opt )
    super . NonWildTypeArguments_opt Identifier ( ArgumentList_opt )
    ClassName . super . NonWildTypeArguments_opt Identifier ( ArgumentList_opt )
    TypeName . NonWildTypeArguments Identifier ( ArgumentList_opt )

举个例子如下：

class A{
	public void test(){}
}

public class TestMethodInvocation extends A{

	public void m1(){}
	public static void m2(){}

	public void test(){
		m1();
		A a = new TestMethodInvocation();
		a.test();
		super.test();
		TestMethodInvocation.m2();
	}

	class C{
		public void m(){
			// It is a compile-time error if C is not a lexically enclosing class of the current class.
			TestMethodInvocation.super.test();
		}
	}
}