MethodInfoFunctionInstance.cs 11 KB

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