MethodInfoFunctionInstance.cs 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297
  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 readonly Type _targetType;
  12. private readonly string _name;
  13. private readonly MethodDescriptor[] _methods;
  14. private readonly ClrFunctionInstance? _fallbackClrFunctionInstance;
  15. public MethodInfoFunctionInstance(
  16. Engine engine,
  17. Type targetType,
  18. string name,
  19. MethodDescriptor[] methods,
  20. ClrFunctionInstance? fallbackClrFunctionInstance = null)
  21. : base(engine, engine.Realm, new JsString(name))
  22. {
  23. _targetType = targetType;
  24. _name = name;
  25. _methods = methods;
  26. _fallbackClrFunctionInstance = fallbackClrFunctionInstance;
  27. _prototype = engine.Realm.Intrinsics.Function.PrototypeObject;
  28. }
  29. private static bool IsGenericParameter(object argObj, Type parameterType)
  30. {
  31. if (argObj is null)
  32. {
  33. return false;
  34. }
  35. var result = TypeConverter.IsAssignableToGenericType(argObj.GetType(), parameterType);
  36. if (result.Score < 0)
  37. {
  38. return false;
  39. }
  40. if (parameterType.IsGenericParameter || parameterType.IsGenericType)
  41. {
  42. return true;
  43. }
  44. return false;
  45. }
  46. private static void HandleGenericParameter(object argObj, Type parameterType, Type[] genericArgTypes)
  47. {
  48. if (argObj is null)
  49. {
  50. return;
  51. }
  52. var result = TypeConverter.IsAssignableToGenericType(argObj.GetType(), parameterType);
  53. if (result.Score < 0)
  54. {
  55. return;
  56. }
  57. if (parameterType.IsGenericParameter)
  58. {
  59. var genericParamPosition = parameterType.GenericParameterPosition;
  60. if (genericParamPosition >= 0)
  61. {
  62. genericArgTypes[genericParamPosition] = argObj.GetType();
  63. }
  64. }
  65. else if (parameterType.IsGenericType)
  66. {
  67. // TPC: maybe we can pull the generic parameters from the arguments?
  68. var genericArgs = parameterType.GetGenericArguments();
  69. for (int j = 0; j < genericArgs.Length; ++j)
  70. {
  71. var genericArg = genericArgs[j];
  72. if (genericArg.IsGenericParameter)
  73. {
  74. var genericParamPosition = genericArg.GenericParameterPosition;
  75. if (genericParamPosition >= 0)
  76. {
  77. var givenTypeGenericArgs = result.MatchingGivenType.GetGenericArguments();
  78. genericArgTypes[genericParamPosition] = givenTypeGenericArgs[j];
  79. }
  80. }
  81. }
  82. }
  83. else
  84. {
  85. return;
  86. }
  87. }
  88. private static MethodBase ResolveMethod(MethodBase method, ParameterInfo[] methodParameters, object thisObj, JsValue[] arguments)
  89. {
  90. if (!method.IsGenericMethod)
  91. {
  92. return method;
  93. }
  94. if (!method.IsGenericMethodDefinition)
  95. {
  96. return method;
  97. }
  98. var methodInfo = method as MethodInfo;
  99. if (methodInfo == null)
  100. {
  101. // probably should issue at least a warning here
  102. return method;
  103. }
  104. // TPC: we could also && "(method.Method.IsGenericMethodDefinition)" because we won't create a generic method if that isn't the case
  105. var methodGenericArgs = method.GetGenericArguments();
  106. var genericArgTypes = new Type[methodGenericArgs.Length];
  107. for (var i = 0; i < methodParameters.Length; ++i)
  108. {
  109. var methodParameter = methodParameters[i];
  110. var parameterType = methodParameter.ParameterType;
  111. var argObj = i < arguments.Length ? arguments[i].ToObject() : typeof(object);
  112. HandleGenericParameter(argObj, parameterType, genericArgTypes);
  113. }
  114. for (int i = 0; i < genericArgTypes.Length; ++i)
  115. {
  116. if (genericArgTypes[i] == null)
  117. {
  118. // this is how we're dealing with things like "void" return types - you can't use "void" as a type:
  119. genericArgTypes[i] = typeof(object);
  120. }
  121. }
  122. var genericMethodInfo = methodInfo.MakeGenericMethod(genericArgTypes);
  123. return genericMethodInfo;
  124. }
  125. protected internal override JsValue Call(JsValue thisObject, JsValue[] jsArguments)
  126. {
  127. JsValue[] ArgumentProvider(MethodDescriptor method)
  128. {
  129. if (method.IsExtensionMethod)
  130. {
  131. var jsArgumentsTemp = new JsValue[1 + jsArguments.Length];
  132. jsArgumentsTemp[0] = thisObject;
  133. Array.Copy(jsArguments, 0, jsArgumentsTemp, 1, jsArguments.Length);
  134. return method.HasParams
  135. ? ProcessParamsArrays(jsArgumentsTemp, method)
  136. : jsArgumentsTemp;
  137. }
  138. return method.HasParams
  139. ? ProcessParamsArrays(jsArguments, method)
  140. : jsArguments;
  141. }
  142. var converter = Engine.ClrTypeConverter;
  143. var thisObj = thisObject.ToObject();
  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)) // 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. Type? returnType = null;
  205. if (method.Method is MethodInfo methodInfo)
  206. {
  207. returnType = methodInfo.ReturnType;
  208. }
  209. // todo: cache method info
  210. try
  211. {
  212. if (method.Method.IsGenericMethodDefinition && method.Method is MethodInfo)
  213. {
  214. var genericMethodInfo = resolvedMethod;
  215. var result = genericMethodInfo.Invoke(thisObj, parameters);
  216. return FromObjectWithType(Engine, result, returnType);
  217. }
  218. return FromObjectWithType(Engine, method.Method.Invoke(thisObj, parameters), returnType);
  219. }
  220. catch (TargetInvocationException exception)
  221. {
  222. ExceptionHelper.ThrowMeaningfulException(_engine, exception);
  223. }
  224. }
  225. if (_fallbackClrFunctionInstance is not null)
  226. {
  227. return _fallbackClrFunctionInstance.Call(thisObject, jsArguments);
  228. }
  229. ExceptionHelper.ThrowTypeError(_engine.Realm, "No public methods with the specified arguments were found.");
  230. return null;
  231. }
  232. /// <summary>
  233. /// Reduces a flat list of parameters to a params array, if needed
  234. /// </summary>
  235. private JsValue[] ProcessParamsArrays(JsValue[] jsArguments, MethodDescriptor methodInfo)
  236. {
  237. var parameters = methodInfo.Parameters;
  238. var nonParamsArgumentsCount = parameters.Length - 1;
  239. if (jsArguments.Length < nonParamsArgumentsCount)
  240. {
  241. return jsArguments;
  242. }
  243. var argsToTransform = jsArguments.Skip(nonParamsArgumentsCount);
  244. if (argsToTransform.Length == 1 && argsToTransform[0].IsArray())
  245. {
  246. return jsArguments;
  247. }
  248. var jsArray = Engine.Realm.Intrinsics.Array.Construct(Arguments.Empty);
  249. Engine.Realm.Intrinsics.Array.PrototypeObject.Push(jsArray, argsToTransform);
  250. var newArgumentsCollection = new JsValue[nonParamsArgumentsCount + 1];
  251. for (var j = 0; j < nonParamsArgumentsCount; ++j)
  252. {
  253. newArgumentsCollection[j] = jsArguments[j];
  254. }
  255. newArgumentsCollection[nonParamsArgumentsCount] = jsArray;
  256. return newArgumentsCollection;
  257. }
  258. public override string ToString()
  259. {
  260. return $"function {_targetType}.{_name}() {{ [native code] }}";
  261. }
  262. }
  263. }