MethodInfoFunctionInstance.cs 11 KB

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