MethodInfoFunctionInstance.cs 11 KB

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