2
0

MethodInfoFunctionInstance.cs 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289
  1. using System.Globalization;
  2. using System.Linq.Expressions;
  3. using System.Reflection;
  4. using Jint.Extensions;
  5. using Jint.Native;
  6. using Jint.Native.Function;
  7. namespace Jint.Runtime.Interop
  8. {
  9. internal sealed class MethodInfoFunctionInstance : FunctionInstance
  10. {
  11. private static readonly JsString _name = new JsString("Function");
  12. private readonly MethodDescriptor[] _methods;
  13. private readonly ClrFunctionInstance? _fallbackClrFunctionInstance;
  14. public MethodInfoFunctionInstance(Engine engine, MethodDescriptor[] methods)
  15. : base(engine, engine.Realm, _name)
  16. {
  17. _methods = methods;
  18. _prototype = engine.Realm.Intrinsics.Function.PrototypeObject;
  19. }
  20. public MethodInfoFunctionInstance(Engine engine, MethodDescriptor[] methods, ClrFunctionInstance fallbackClrFunctionInstance)
  21. : this(engine, methods)
  22. {
  23. _fallbackClrFunctionInstance = fallbackClrFunctionInstance;
  24. }
  25. private static bool IsGenericParameter(object argObj, Type parameterType)
  26. {
  27. if (argObj is null)
  28. {
  29. return false;
  30. }
  31. var result = TypeConverter.IsAssignableToGenericType(argObj.GetType(), parameterType);
  32. if (result.Score < 0)
  33. {
  34. return false;
  35. }
  36. if (parameterType.IsGenericParameter || parameterType.IsGenericType)
  37. {
  38. return true;
  39. }
  40. return false;
  41. }
  42. private static void HandleGenericParameter(object argObj, Type parameterType, Type[] genericArgTypes)
  43. {
  44. if (argObj is null)
  45. {
  46. return;
  47. }
  48. var result = TypeConverter.IsAssignableToGenericType(argObj.GetType(), parameterType);
  49. if (result.Score < 0)
  50. {
  51. return;
  52. }
  53. if (parameterType.IsGenericParameter)
  54. {
  55. var genericParamPosition = parameterType.GenericParameterPosition;
  56. if (genericParamPosition >= 0)
  57. {
  58. genericArgTypes[genericParamPosition] = argObj.GetType();
  59. }
  60. }
  61. else if (parameterType.IsGenericType)
  62. {
  63. // TPC: maybe we can pull the generic parameters from the arguments?
  64. var genericArgs = parameterType.GetGenericArguments();
  65. for (int j = 0; j < genericArgs.Length; ++j)
  66. {
  67. var genericArg = genericArgs[j];
  68. if (genericArg.IsGenericParameter)
  69. {
  70. var genericParamPosition = genericArg.GenericParameterPosition;
  71. if (genericParamPosition >= 0)
  72. {
  73. var givenTypeGenericArgs = result.MatchingGivenType.GetGenericArguments();
  74. genericArgTypes[genericParamPosition] = givenTypeGenericArgs[j];
  75. }
  76. }
  77. }
  78. }
  79. else
  80. {
  81. return;
  82. }
  83. }
  84. private static MethodBase ResolveMethod(MethodBase method, ParameterInfo[] methodParameters, object thisObj, JsValue[] arguments)
  85. {
  86. if (!method.IsGenericMethod)
  87. {
  88. return method;
  89. }
  90. if (!method.IsGenericMethodDefinition)
  91. {
  92. return method;
  93. }
  94. var methodInfo = method as MethodInfo;
  95. if (methodInfo == null)
  96. {
  97. // probably should issue at least a warning here
  98. return method;
  99. }
  100. // TPC: we could also && "(method.Method.IsGenericMethodDefinition)" because we won't create a generic method if that isn't the case
  101. var methodGenericArgs = method.GetGenericArguments();
  102. var genericArgTypes = new Type[methodGenericArgs.Length];
  103. for (var i = 0; i < methodParameters.Length; ++i)
  104. {
  105. var methodParameter = methodParameters[i];
  106. var parameterType = methodParameter.ParameterType;
  107. var argObj = i < arguments.Length ? arguments[i].ToObject() : typeof(object);
  108. HandleGenericParameter(argObj, parameterType, genericArgTypes);
  109. }
  110. for (int i = 0; i < genericArgTypes.Length; ++i)
  111. {
  112. if (genericArgTypes[i] == null)
  113. {
  114. // this is how we're dealing with things like "void" return types - you can't use "void" as a type:
  115. genericArgTypes[i] = typeof(object);
  116. }
  117. }
  118. var genericMethodInfo = methodInfo.MakeGenericMethod(genericArgTypes);
  119. return genericMethodInfo;
  120. }
  121. protected internal override JsValue Call(JsValue thisObject, JsValue[] jsArguments)
  122. {
  123. JsValue[] ArgumentProvider(MethodDescriptor method)
  124. {
  125. if (method.IsExtensionMethod)
  126. {
  127. var jsArgumentsTemp = new JsValue[1 + jsArguments.Length];
  128. jsArgumentsTemp[0] = thisObject;
  129. Array.Copy(jsArguments, 0, jsArgumentsTemp, 1, jsArguments.Length);
  130. return method.HasParams
  131. ? ProcessParamsArrays(jsArgumentsTemp, method)
  132. : jsArgumentsTemp;
  133. }
  134. return method.HasParams
  135. ? ProcessParamsArrays(jsArguments, method)
  136. : jsArguments;
  137. }
  138. var converter = Engine.ClrTypeConverter;
  139. var thisObj = thisObject.ToObject();
  140. object?[]? parameters = null;
  141. foreach (var (method, arguments, _) in TypeConverter.FindBestMatch(_engine, _methods, ArgumentProvider))
  142. {
  143. var methodParameters = method.Parameters;
  144. if (parameters == null || parameters.Length != methodParameters.Length)
  145. {
  146. parameters = new object[methodParameters.Length];
  147. }
  148. var argumentsMatch = true;
  149. var resolvedMethod = ResolveMethod(method.Method, methodParameters, thisObj, arguments);
  150. // TPC: if we're concerned about cost of MethodInfo.GetParameters() - we could only invoke it if this ends up being a generic method (i.e. they will be different in that scenario)
  151. methodParameters = resolvedMethod.GetParameters();
  152. for (var i = 0; i < parameters.Length; i++)
  153. {
  154. var methodParameter = methodParameters[i];
  155. var parameterType = methodParameter.ParameterType;
  156. var argument = arguments.Length > i ? arguments[i] : null;
  157. if (typeof(JsValue).IsAssignableFrom(parameterType))
  158. {
  159. parameters[i] = argument;
  160. }
  161. else if (argument is null)
  162. {
  163. // optional
  164. parameters[i] = System.Type.Missing;
  165. }
  166. else if (IsGenericParameter(argument.ToObject(), parameterType)) // don't think we need the condition preface of (argument == null) because of earlier condition
  167. {
  168. parameters[i] = argument.ToObject();
  169. }
  170. else if (parameterType == typeof(JsValue[]) && argument.IsArray())
  171. {
  172. // Handle specific case of F(params JsValue[])
  173. var arrayInstance = argument.AsArray();
  174. var len = TypeConverter.ToInt32(arrayInstance.Get(CommonProperties.Length, this));
  175. var result = new JsValue[len];
  176. for (uint k = 0; k < len; k++)
  177. {
  178. result[k] = arrayInstance.TryGetValue(k, out var value) ? value : Undefined;
  179. }
  180. parameters[i] = result;
  181. }
  182. else
  183. {
  184. if (!ReflectionExtensions.TryConvertViaTypeCoercion(parameterType, _engine.Options.Interop.ValueCoercion, argument, out parameters[i])
  185. && !converter.TryConvert(argument.ToObject(), parameterType, CultureInfo.InvariantCulture, out parameters[i]))
  186. {
  187. argumentsMatch = false;
  188. break;
  189. }
  190. if (parameters[i] is LambdaExpression lambdaExpression)
  191. {
  192. parameters[i] = lambdaExpression.Compile();
  193. }
  194. }
  195. }
  196. if (!argumentsMatch)
  197. {
  198. continue;
  199. }
  200. Type? returnType = null;
  201. if (method.Method is MethodInfo methodInfo)
  202. {
  203. returnType = methodInfo.ReturnType;
  204. }
  205. // todo: cache method info
  206. try
  207. {
  208. if (method.Method.IsGenericMethodDefinition && method.Method is MethodInfo)
  209. {
  210. var genericMethodInfo = resolvedMethod;
  211. var result = genericMethodInfo.Invoke(thisObj, parameters);
  212. return FromObjectWithType(Engine, result, returnType);
  213. }
  214. return FromObjectWithType(Engine, method.Method.Invoke(thisObj, parameters), returnType);
  215. }
  216. catch (TargetInvocationException exception)
  217. {
  218. ExceptionHelper.ThrowMeaningfulException(_engine, exception);
  219. }
  220. }
  221. if (_fallbackClrFunctionInstance is not null)
  222. {
  223. return _fallbackClrFunctionInstance.Call(thisObject, jsArguments);
  224. }
  225. ExceptionHelper.ThrowTypeError(_engine.Realm, "No public methods with the specified arguments were found.");
  226. return null;
  227. }
  228. /// <summary>
  229. /// Reduces a flat list of parameters to a params array, if needed
  230. /// </summary>
  231. private JsValue[] ProcessParamsArrays(JsValue[] jsArguments, MethodDescriptor methodInfo)
  232. {
  233. var parameters = methodInfo.Parameters;
  234. var nonParamsArgumentsCount = parameters.Length - 1;
  235. if (jsArguments.Length < nonParamsArgumentsCount)
  236. {
  237. return jsArguments;
  238. }
  239. var argsToTransform = jsArguments.Skip(nonParamsArgumentsCount);
  240. if (argsToTransform.Length == 1 && argsToTransform[0].IsArray())
  241. {
  242. return jsArguments;
  243. }
  244. var jsArray = Engine.Realm.Intrinsics.Array.Construct(Arguments.Empty);
  245. Engine.Realm.Intrinsics.Array.PrototypeObject.Push(jsArray, argsToTransform);
  246. var newArgumentsCollection = new JsValue[nonParamsArgumentsCount + 1];
  247. for (var j = 0; j < nonParamsArgumentsCount; ++j)
  248. {
  249. newArgumentsCollection[j] = jsArguments[j];
  250. }
  251. newArgumentsCollection[nonParamsArgumentsCount] = jsArray;
  252. return newArgumentsCollection;
  253. }
  254. }
  255. }