P and L have the same number of parameters, and each parameter in P has the same modifiers as the corresponding parameter in L, or no modifiers if L has an implicitly typed parameter list.

• 相应的参数类型，下称P，是一个代理类型并且具有一个返回值，而该返回值关联一或多个函数类型参数。