MethodInfoFunction.cs 12 KB

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