模块  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)
        将底层成员反映为方法,构造函数或字段对象。 如果基础构件是公开的,它被反射,好像被getMethodgetConstructor ,或getField 否则,它被反映为如果由getDeclaredMethodgetDeclaredConstructor ,或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