模块  java.base
软件包  java.lang.invoke

Interface MethodHandleInfo

  • public interface MethodHandleInfo
    通过将直接方法句柄分解为其构成符号部分而获得的符号引用。 要破解直接方法句柄，请致电Lookup.revealDirect 。

    直接方法句柄

    直接方法句柄表示方法，构造函数或字段，没有任何插入参数绑定或其他转换。 直接方法句柄引用的方法，构造函数或字段称为其底层成员 。 可以通过以下任何方式获得直接方法句柄：

    破解限制

    给定一个合适的Lookup对象，可以破解任何直接方法句柄来恢复底层方法，构造函数或字段的符号引用。 必须通过Lookup对象完成破解，该对象等同于创建目标方法句柄的对象，或具有足够的访问权限来重新创建等效方法句柄。

    如果底层方法是caller sensitive ，则直接方法句柄将“绑定”到特定调用者类，即用于创建它的查找对象的lookup class 。 即使底层方法是公共的（例如Class.forName ），使用不同的查找类破解此方法句柄也将失败。

    查找对象匹配的要求为程序提供了“快速失败”行为，否则该程序可能会信任来自意外范围的具有符号信息（或调用者绑定）的方法句柄的错误启示。 使用MethodHandles.reflectAs(java.lang.Class<T>, java.lang.invoke.MethodHandle)覆盖此限制。

    参考种类

    Lookup Factory Methods对应于方法，构造函数和字段的所有主要用例。 可以使用小整数区分这些用例，如下所示： reference kinds reference kind descriptive name scope member behavior 1 REF_getField class FT f; (T) this.f; 2 REF_getStatic class or interface static
    FT f; (T) C.f; 3 REF_putField class FT f; this.f = x; 4 REF_putStatic class static
    FT f; C.f = arg; 5 REF_invokeVirtual class T m(A*); (T) this.m(arg*); 6 REF_invokeStatic class or interface static
    T m(A*); (T) C.m(arg*); 7 REF_invokeSpecial class or interface T m(A*); (T) super.m(arg*); 8 REF_newInvokeSpecial class C(A*); new C(arg*); 9 REF_invokeInterface interface T m(A*); (T) this.m(arg*);
    从以下版本开始：
    1.8

    • 方法详细信息

      • getReferenceKind

        int getReferenceKind()
        返回破解方法句柄的引用类型，该句柄依次确定方法句柄的底层成员是构造函数，方法还是字段。 有关定义，请参见table above 。
        结果
        用于访问底层成员的引用类型的整数代码

      • getDeclaringClass

        类<?> getDeclaringClass()
        返回定义了破解方法句柄的基础成员的类。
        结果
        底层成员的声明类

      • getName

        String getName()
        返回已破解方法句柄的基础成员的名称。 如果底层成员是构造函数，则为"<init>" ，否则它是一个简单的方法名称或字段名称。
        结果
        底层成员的简单名称

      • getMethodType

        MethodType getMethodType()
        返回破解的符号引用的名义类型，表示为方法类型。 如果引用是构造函数，则返回类型将为void 。 如果是非静态方法，则方法类型不会提及this参数。 如果是字段并且请求的访问是读取字段，则方法类型将没有参数并返回字段类型。 如果是字段并且请求的访问是写入字段，则方法类型将具有字段类型的一个参数并返回void 。

        请注意，原始直接方法句柄可能包含前导this参数，或者（在构造函数的情况下）将使用构造的类替换void返回类型。 标称类型不包括任何this参数，并且（在构造函数的情况下）将返回void 。

        结果
        底层成员的类型，表示为方法类型

      • reflectAs

        <T extends Member> T reflectAs​(类<T> expected,                               MethodHandles.Lookup lookup)
        将底层成员反映为方法，构造函数或字段对象。 如果基础构件是公开的，它被反射，好像被getMethod ， getConstructor ，或getField 。 否则，它被反映为如果由getDeclaredMethod ， getDeclaredConstructor ，或getDeclaredField 。 底层成员必须可供给定查找对象访问。
        参数类型
        T - 所需的结果类型， Member或子类型
        参数
        expected - 表示所需结果类型的类对象 T
        lookup - 创建此MethodHandleInfo的查找对象，或具有等效访问权限的查找对象
        结果
        对方法，构造函数或字段对象的引用
        异常
        ClassCastException - 如果该成员不是预期类型
        NullPointerException - 如果任一参数为 null
        IllegalArgumentException - 如果给定查找对象无法访问基础成员

      • isVarArgs

        default boolean isVarArgs()
        确定底层成员是否是变量arity方法或构造函数。 这些成员由作为varargs收集器的方法句柄表示。
        实现要求：
        这产生的结果相当于： 
           getReferenceKind() >= REF_invokeVirtual && Modifier.isTransient(getModifiers())
        结果
        true当且仅当基础成员声明为变量arity时。

      • referenceKindToString

        static String referenceKindToString​(int referenceKind)
        返回给定引用类型的描述性名称，如table above中所定义。 省略了传统的前缀“REF_”。
        参数
        referenceKind - 用于访问类成员的一种引用的整数代码
        结果
        一个混合大小写的字符串，如 "getField"
        异常
        IllegalArgumentException - 如果参数不是有效的 reference kind number