src/jdk/internal/dynalink/beans/OverloadedMethod.java

Sat, 07 Nov 2020 10:30:02 +0800

author
aoqi
date
Sat, 07 Nov 2020 10:30:02 +0800
changeset 2605
afbc625eaca7
parent 1490
d85f981c8cf8
permissions
-rw-r--r--

Added tag mips-jdk8u275-b01 for changeset 7c756d901f9a

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation. Oracle designates this
aoqi@0 8 * particular file as subject to the "Classpath" exception as provided
aoqi@0 9 * by Oracle in the LICENSE file that accompanied this code.
aoqi@0 10 *
aoqi@0 11 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 14 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 15 * accompanied this code).
aoqi@0 16 *
aoqi@0 17 * You should have received a copy of the GNU General Public License version
aoqi@0 18 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 20 *
aoqi@0 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 22 * or visit www.oracle.com if you need additional information or have any
aoqi@0 23 * questions.
aoqi@0 24 */
aoqi@0 25
aoqi@0 26 /*
aoqi@0 27 * This file is available under and governed by the GNU General Public
aoqi@0 28 * License version 2 only, as published by the Free Software Foundation.
aoqi@0 29 * However, the following notice accompanied the original version of this
aoqi@0 30 * file, and Oracle licenses the original version of this file under the BSD
aoqi@0 31 * license:
aoqi@0 32 */
aoqi@0 33 /*
aoqi@0 34 Copyright 2009-2013 Attila Szegedi
aoqi@0 35
aoqi@0 36 Licensed under both the Apache License, Version 2.0 (the "Apache License")
aoqi@0 37 and the BSD License (the "BSD License"), with licensee being free to
aoqi@0 38 choose either of the two at their discretion.
aoqi@0 39
aoqi@0 40 You may not use this file except in compliance with either the Apache
aoqi@0 41 License or the BSD License.
aoqi@0 42
aoqi@0 43 If you choose to use this file in compliance with the Apache License, the
aoqi@0 44 following notice applies to you:
aoqi@0 45
aoqi@0 46 You may obtain a copy of the Apache License at
aoqi@0 47
aoqi@0 48 http://www.apache.org/licenses/LICENSE-2.0
aoqi@0 49
aoqi@0 50 Unless required by applicable law or agreed to in writing, software
aoqi@0 51 distributed under the License is distributed on an "AS IS" BASIS,
aoqi@0 52 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
aoqi@0 53 implied. See the License for the specific language governing
aoqi@0 54 permissions and limitations under the License.
aoqi@0 55
aoqi@0 56 If you choose to use this file in compliance with the BSD License, the
aoqi@0 57 following notice applies to you:
aoqi@0 58
aoqi@0 59 Redistribution and use in source and binary forms, with or without
aoqi@0 60 modification, are permitted provided that the following conditions are
aoqi@0 61 met:
aoqi@0 62 * Redistributions of source code must retain the above copyright
aoqi@0 63 notice, this list of conditions and the following disclaimer.
aoqi@0 64 * Redistributions in binary form must reproduce the above copyright
aoqi@0 65 notice, this list of conditions and the following disclaimer in the
aoqi@0 66 documentation and/or other materials provided with the distribution.
aoqi@0 67 * Neither the name of the copyright holder nor the names of
aoqi@0 68 contributors may be used to endorse or promote products derived from
aoqi@0 69 this software without specific prior written permission.
aoqi@0 70
aoqi@0 71 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
aoqi@0 72 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
aoqi@0 73 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
aoqi@0 74 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDER
aoqi@0 75 BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
aoqi@0 76 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
aoqi@0 77 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
aoqi@0 78 BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
aoqi@0 79 WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
aoqi@0 80 OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
aoqi@0 81 ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
aoqi@0 82 */
aoqi@0 83
aoqi@0 84 package jdk.internal.dynalink.beans;
aoqi@0 85
aoqi@0 86 import java.lang.invoke.MethodHandle;
aoqi@0 87 import java.lang.invoke.MethodHandles;
aoqi@0 88 import java.lang.invoke.MethodType;
aoqi@0 89 import java.util.ArrayList;
aoqi@0 90 import java.util.Iterator;
aoqi@0 91 import java.util.List;
aoqi@0 92 import java.util.Map;
aoqi@0 93 import java.util.concurrent.ConcurrentHashMap;
aoqi@0 94 import jdk.internal.dynalink.linker.LinkerServices;
aoqi@0 95 import jdk.internal.dynalink.support.Lookup;
attila@963 96 import jdk.internal.dynalink.support.TypeUtilities;
aoqi@0 97
aoqi@0 98 /**
aoqi@0 99 * Represents a subset of overloaded methods for a certain method name on a certain class. It can be either a fixarg or
aoqi@0 100 * a vararg subset depending on the subclass. The method is for a fixed number of arguments though (as it is generated
aoqi@0 101 * for a concrete call site). As such, all methods in the subset can be invoked with the specified number of arguments
aoqi@0 102 * (exactly matching for fixargs, or having less than or equal fixed arguments, for varargs).
aoqi@0 103 *
aoqi@0 104 * @author Attila Szegedi
aoqi@0 105 */
aoqi@0 106 class OverloadedMethod {
aoqi@0 107 private final Map<ClassString, MethodHandle> argTypesToMethods = new ConcurrentHashMap<>();
aoqi@0 108 private final OverloadedDynamicMethod parent;
aoqi@0 109 private final MethodType callSiteType;
aoqi@0 110 private final MethodHandle invoker;
aoqi@0 111 private final LinkerServices linkerServices;
aoqi@0 112 private final ArrayList<MethodHandle> fixArgMethods;
aoqi@0 113 private final ArrayList<MethodHandle> varArgMethods;
aoqi@0 114
attila@962 115 OverloadedMethod(final List<MethodHandle> methodHandles, final OverloadedDynamicMethod parent, final MethodType callSiteType,
attila@962 116 final LinkerServices linkerServices) {
aoqi@0 117 this.parent = parent;
attila@963 118 final Class<?> commonRetType = getCommonReturnType(methodHandles);
attila@963 119 this.callSiteType = callSiteType.changeReturnType(commonRetType);
aoqi@0 120 this.linkerServices = linkerServices;
aoqi@0 121
aoqi@0 122 fixArgMethods = new ArrayList<>(methodHandles.size());
aoqi@0 123 varArgMethods = new ArrayList<>(methodHandles.size());
aoqi@0 124 final int argNum = callSiteType.parameterCount();
aoqi@0 125 for(MethodHandle mh: methodHandles) {
aoqi@0 126 if(mh.isVarargsCollector()) {
aoqi@0 127 final MethodHandle asFixed = mh.asFixedArity();
aoqi@0 128 if(argNum == asFixed.type().parameterCount()) {
aoqi@0 129 fixArgMethods.add(asFixed);
aoqi@0 130 }
aoqi@0 131 varArgMethods.add(mh);
aoqi@0 132 } else {
aoqi@0 133 fixArgMethods.add(mh);
aoqi@0 134 }
aoqi@0 135 }
aoqi@0 136 fixArgMethods.trimToSize();
aoqi@0 137 varArgMethods.trimToSize();
aoqi@0 138
aoqi@0 139 final MethodHandle bound = SELECT_METHOD.bindTo(this);
aoqi@0 140 final MethodHandle collecting = SingleDynamicMethod.collectArguments(bound, argNum).asType(
aoqi@0 141 callSiteType.changeReturnType(MethodHandle.class));
attila@1239 142 invoker = linkerServices.asTypeLosslessReturn(MethodHandles.foldArguments(
attila@1239 143 MethodHandles.exactInvoker(this.callSiteType), collecting), callSiteType);
aoqi@0 144 }
aoqi@0 145
aoqi@0 146 MethodHandle getInvoker() {
aoqi@0 147 return invoker;
aoqi@0 148 }
aoqi@0 149
aoqi@0 150 private static final MethodHandle SELECT_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(), "selectMethod",
aoqi@0 151 MethodHandle.class, Object[].class);
aoqi@0 152
aoqi@0 153 @SuppressWarnings("unused")
attila@962 154 private MethodHandle selectMethod(final Object[] args) throws NoSuchMethodException {
attila@963 155 final Class<?>[] argTypes = new Class<?>[args.length];
aoqi@0 156 for(int i = 0; i < argTypes.length; ++i) {
aoqi@0 157 final Object arg = args[i];
aoqi@0 158 argTypes[i] = arg == null ? ClassString.NULL_CLASS : arg.getClass();
aoqi@0 159 }
aoqi@0 160 final ClassString classString = new ClassString(argTypes);
aoqi@0 161 MethodHandle method = argTypesToMethods.get(classString);
aoqi@0 162 if(method == null) {
aoqi@0 163 List<MethodHandle> methods = classString.getMaximallySpecifics(fixArgMethods, linkerServices, false);
aoqi@0 164 if(methods.isEmpty()) {
aoqi@0 165 methods = classString.getMaximallySpecifics(varArgMethods, linkerServices, true);
aoqi@0 166 }
aoqi@0 167 switch(methods.size()) {
aoqi@0 168 case 0: {
aoqi@0 169 method = getNoSuchMethodThrower(argTypes);
aoqi@0 170 break;
aoqi@0 171 }
aoqi@0 172 case 1: {
aoqi@0 173 method = SingleDynamicMethod.getInvocation(methods.get(0), callSiteType, linkerServices);
aoqi@0 174 break;
aoqi@0 175 }
aoqi@0 176 default: {
aoqi@0 177 // This is unfortunate - invocation time ambiguity. We can still save the day if
aoqi@0 178 method = getAmbiguousMethodThrower(argTypes, methods);
aoqi@0 179 break;
aoqi@0 180 }
aoqi@0 181 }
aoqi@0 182 // Avoid keeping references to unrelated classes; this ruins the performance a bit, but avoids class loader
aoqi@0 183 // memory leaks.
aoqi@0 184 if(classString.isVisibleFrom(parent.getClassLoader())) {
aoqi@0 185 argTypesToMethods.put(classString, method);
aoqi@0 186 }
aoqi@0 187 }
aoqi@0 188 return method;
aoqi@0 189 }
aoqi@0 190
attila@962 191 private MethodHandle getNoSuchMethodThrower(final Class<?>[] argTypes) {
aoqi@0 192 return adaptThrower(MethodHandles.insertArguments(THROW_NO_SUCH_METHOD, 0, this, argTypes));
aoqi@0 193 }
aoqi@0 194
aoqi@0 195 private static final MethodHandle THROW_NO_SUCH_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(),
aoqi@0 196 "throwNoSuchMethod", void.class, Class[].class);
aoqi@0 197
aoqi@0 198 @SuppressWarnings("unused")
attila@962 199 private void throwNoSuchMethod(final Class<?>[] argTypes) throws NoSuchMethodException {
aoqi@0 200 if(varArgMethods.isEmpty()) {
aoqi@0 201 throw new NoSuchMethodException("None of the fixed arity signatures " + getSignatureList(fixArgMethods) +
aoqi@0 202 " of method " + parent.getName() + " match the argument types " + argTypesString(argTypes));
aoqi@0 203 }
aoqi@0 204 throw new NoSuchMethodException("None of the fixed arity signatures " + getSignatureList(fixArgMethods) +
aoqi@0 205 " or the variable arity signatures " + getSignatureList(varArgMethods) + " of the method " +
aoqi@0 206 parent.getName() + " match the argument types " + argTypesString(argTypes));
aoqi@0 207 }
aoqi@0 208
attila@962 209 private MethodHandle getAmbiguousMethodThrower(final Class<?>[] argTypes, final List<MethodHandle> methods) {
aoqi@0 210 return adaptThrower(MethodHandles.insertArguments(THROW_AMBIGUOUS_METHOD, 0, this, argTypes, methods));
aoqi@0 211 }
aoqi@0 212
attila@962 213 private MethodHandle adaptThrower(final MethodHandle rawThrower) {
aoqi@0 214 return MethodHandles.dropArguments(rawThrower, 0, callSiteType.parameterList()).asType(callSiteType);
aoqi@0 215 }
aoqi@0 216
aoqi@0 217 private static final MethodHandle THROW_AMBIGUOUS_METHOD = Lookup.findOwnSpecial(MethodHandles.lookup(),
aoqi@0 218 "throwAmbiguousMethod", void.class, Class[].class, List.class);
aoqi@0 219
aoqi@0 220 @SuppressWarnings("unused")
attila@962 221 private void throwAmbiguousMethod(final Class<?>[] argTypes, final List<MethodHandle> methods) throws NoSuchMethodException {
aoqi@0 222 final String arity = methods.get(0).isVarargsCollector() ? "variable" : "fixed";
aoqi@0 223 throw new NoSuchMethodException("Can't unambiguously select between " + arity + " arity signatures " +
aoqi@0 224 getSignatureList(methods) + " of the method " + parent.getName() + " for argument types " +
aoqi@0 225 argTypesString(argTypes));
aoqi@0 226 }
aoqi@0 227
attila@962 228 private static String argTypesString(final Class<?>[] classes) {
aoqi@0 229 final StringBuilder b = new StringBuilder().append('[');
aoqi@0 230 appendTypes(b, classes, false);
aoqi@0 231 return b.append(']').toString();
aoqi@0 232 }
aoqi@0 233
attila@962 234 private static String getSignatureList(final List<MethodHandle> methods) {
aoqi@0 235 final StringBuilder b = new StringBuilder().append('[');
aoqi@0 236 final Iterator<MethodHandle> it = methods.iterator();
aoqi@0 237 if(it.hasNext()) {
aoqi@0 238 appendSig(b, it.next());
aoqi@0 239 while(it.hasNext()) {
aoqi@0 240 appendSig(b.append(", "), it.next());
aoqi@0 241 }
aoqi@0 242 }
aoqi@0 243 return b.append(']').toString();
aoqi@0 244 }
aoqi@0 245
attila@962 246 private static void appendSig(final StringBuilder b, final MethodHandle m) {
aoqi@0 247 b.append('(');
aoqi@0 248 appendTypes(b, m.type().parameterArray(), m.isVarargsCollector());
aoqi@0 249 b.append(')');
aoqi@0 250 }
aoqi@0 251
attila@962 252 private static void appendTypes(final StringBuilder b, final Class<?>[] classes, final boolean varArg) {
aoqi@0 253 final int l = classes.length;
aoqi@0 254 if(!varArg) {
aoqi@0 255 if(l > 1) {
aoqi@0 256 b.append(classes[1].getCanonicalName());
aoqi@0 257 for(int i = 2; i < l; ++i) {
aoqi@0 258 b.append(", ").append(classes[i].getCanonicalName());
aoqi@0 259 }
aoqi@0 260 }
aoqi@0 261 } else {
aoqi@0 262 for(int i = 1; i < l - 1; ++i) {
aoqi@0 263 b.append(classes[i].getCanonicalName()).append(", ");
aoqi@0 264 }
aoqi@0 265 b.append(classes[l - 1].getComponentType().getCanonicalName()).append("...");
aoqi@0 266 }
aoqi@0 267 }
attila@963 268
attila@963 269 private static Class<?> getCommonReturnType(final List<MethodHandle> methodHandles) {
attila@963 270 final Iterator<MethodHandle> it = methodHandles.iterator();
attila@963 271 Class<?> retType = it.next().type().returnType();
attila@963 272 while(it.hasNext()) {
attila@963 273 retType = TypeUtilities.getCommonLosslessConversionType(retType, it.next().type().returnType());
attila@963 274 }
attila@963 275 return retType;
attila@963 276 }
aoqi@0 277 }

mercurial