TypeConverter.cs 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Globalization;
  4. using System.Linq;
  5. using System.Runtime.CompilerServices;
  6. using Esprima.Ast;
  7. using Jint.Extensions;
  8. using Jint.Native;
  9. using Jint.Native.Number;
  10. using Jint.Native.Number.Dtoa;
  11. using Jint.Native.Object;
  12. using Jint.Native.String;
  13. using Jint.Native.Symbol;
  14. using Jint.Pooling;
  15. using Jint.Runtime.Interop;
  16. namespace Jint.Runtime
  17. {
  18. [Flags]
  19. public enum Types
  20. {
  21. None = 0,
  22. Undefined = 1,
  23. Null = 2,
  24. Boolean = 4,
  25. String = 8,
  26. Number = 16,
  27. Symbol = 64,
  28. Object = 128
  29. }
  30. [Flags]
  31. internal enum InternalTypes
  32. {
  33. // should not be used, used for empty match
  34. None = 0,
  35. Undefined = 1,
  36. Null = 2,
  37. // primitive types range start
  38. Boolean = 4,
  39. String = 8,
  40. Number = 16,
  41. Integer = 32,
  42. Symbol = 64,
  43. // primitive types range end
  44. Object = 128,
  45. // internal usage
  46. ObjectEnvironmentRecord = 512,
  47. RequiresCloning = 1024,
  48. Primitive = Boolean | String | Number | Integer | Symbol,
  49. InternalFlags = ObjectEnvironmentRecord | RequiresCloning
  50. }
  51. public static class TypeConverter
  52. {
  53. // how many decimals to check when determining if double is actually an int
  54. private const double DoubleIsIntegerTolerance = double.Epsilon * 100;
  55. internal static readonly string[] intToString = new string[1024];
  56. private static readonly string[] charToString = new string[256];
  57. static TypeConverter()
  58. {
  59. for (var i = 0; i < intToString.Length; ++i)
  60. {
  61. intToString[i] = i.ToString();
  62. }
  63. for (var i = 0; i < charToString.Length; ++i)
  64. {
  65. var c = (char) i;
  66. charToString[i] = c.ToString();
  67. }
  68. }
  69. /// <summary>
  70. /// https://tc39.es/ecma262/#sec-toprimitive
  71. /// </summary>
  72. public static JsValue ToPrimitive(JsValue input, Types preferredType = Types.None)
  73. {
  74. if (!(input is ObjectInstance oi))
  75. {
  76. return input;
  77. }
  78. var hint = preferredType switch
  79. {
  80. Types.String => JsString.StringString,
  81. Types.Number => JsString.NumberString,
  82. _ => JsString.DefaultString
  83. };
  84. var exoticToPrim = oi.GetMethod(GlobalSymbolRegistry.ToPrimitive);
  85. if (exoticToPrim is object)
  86. {
  87. var str = exoticToPrim.Call(oi, new JsValue[] { hint });
  88. if (str.IsPrimitive())
  89. {
  90. return str;
  91. }
  92. if (str.IsObject())
  93. {
  94. return ExceptionHelper.ThrowTypeError<JsValue>(oi.Engine, "Cannot convert object to primitive value");
  95. }
  96. }
  97. return OrdinaryToPrimitive(oi, preferredType == Types.None ? Types.Number : preferredType);
  98. }
  99. /// <summary>
  100. /// https://tc39.es/ecma262/#sec-ordinarytoprimitive
  101. /// </summary>
  102. internal static JsValue OrdinaryToPrimitive(ObjectInstance input, Types hint = Types.None)
  103. {
  104. JsString property1;
  105. JsString property2;
  106. if (hint == Types.String)
  107. {
  108. property1 = (JsString) "toString";
  109. property2 = (JsString) "valueOf";
  110. }
  111. else if (hint == Types.Number)
  112. {
  113. property1 = (JsString) "valueOf";
  114. property2 = (JsString) "toString";
  115. }
  116. else
  117. {
  118. return ExceptionHelper.ThrowTypeError<JsValue>(input.Engine);
  119. }
  120. if (input.Get(property1) is ICallable method1)
  121. {
  122. var val = method1.Call(input, Arguments.Empty);
  123. if (val.IsPrimitive())
  124. {
  125. return val;
  126. }
  127. }
  128. if (input.Get(property2) is ICallable method2)
  129. {
  130. var val = method2.Call(input, Arguments.Empty);
  131. if (val.IsPrimitive())
  132. {
  133. return val;
  134. }
  135. }
  136. return ExceptionHelper.ThrowTypeError<JsValue>(input.Engine);
  137. }
  138. /// <summary>
  139. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.2
  140. /// </summary>
  141. public static bool ToBoolean(JsValue o)
  142. {
  143. var type = o._type & ~InternalTypes.InternalFlags;
  144. switch (type)
  145. {
  146. case InternalTypes.Boolean:
  147. return ((JsBoolean) o)._value;
  148. case InternalTypes.Undefined:
  149. case InternalTypes.Null:
  150. return false;
  151. case InternalTypes.Integer:
  152. return (int) ((JsNumber) o)._value != 0;
  153. case InternalTypes.Number:
  154. var n = ((JsNumber) o)._value;
  155. return n != 0 && !double.IsNaN(n);
  156. case InternalTypes.String:
  157. return !((JsString) o).IsNullOrEmpty();
  158. default:
  159. return true;
  160. }
  161. }
  162. /// <summary>
  163. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.3
  164. /// </summary>
  165. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  166. public static double ToNumber(JsValue o)
  167. {
  168. return o.IsNumber()
  169. ? ((JsNumber) o)._value
  170. : ToNumberUnlikely(o);
  171. }
  172. private static double ToNumberUnlikely(JsValue o)
  173. {
  174. var type = o._type & ~InternalTypes.InternalFlags;
  175. return type switch
  176. {
  177. InternalTypes.Undefined => double.NaN,
  178. InternalTypes.Null => 0,
  179. InternalTypes.Object when o is IPrimitiveInstance p => ToNumber(ToPrimitive(p.PrimitiveValue, Types.Number)),
  180. InternalTypes.Boolean => (((JsBoolean) o)._value ? 1 : 0),
  181. InternalTypes.String => ToNumber(o.ToString()),
  182. InternalTypes.Symbol =>
  183. // TODO proper TypeError would require Engine instance and a lot of API changes
  184. ExceptionHelper.ThrowTypeErrorNoEngine<double>("Cannot convert a Symbol value to a number"),
  185. _ => ToNumber(ToPrimitive(o, Types.Number))
  186. };
  187. }
  188. private static double ToNumber(string input)
  189. {
  190. // eager checks to save time and trimming
  191. if (string.IsNullOrEmpty(input))
  192. {
  193. return 0;
  194. }
  195. char first = input[0];
  196. if (input.Length == 1 && first >= '0' && first <= '9')
  197. {
  198. // simple constant number
  199. return first - '0';
  200. }
  201. var s = StringPrototype.TrimEx(input);
  202. if (s.Length == 0)
  203. {
  204. return 0;
  205. }
  206. if (s.Length == 8 || s.Length == 9)
  207. {
  208. if ("+Infinity" == s || "Infinity" == s)
  209. {
  210. return double.PositiveInfinity;
  211. }
  212. if ("-Infinity" == s)
  213. {
  214. return double.NegativeInfinity;
  215. }
  216. }
  217. // todo: use a common implementation with JavascriptParser
  218. try
  219. {
  220. if (s.Length > 2 && s[0] == '0' && char.IsLetter(s[1]))
  221. {
  222. int fromBase = 0;
  223. if (s[1] == 'x' || s[1] == 'X')
  224. {
  225. fromBase = 16;
  226. }
  227. if (s[1] == 'o' || s[1] == 'O')
  228. {
  229. fromBase = 8;
  230. }
  231. if (s[1] == 'b' || s[1] == 'B')
  232. {
  233. fromBase = 2;
  234. }
  235. if (fromBase > 0)
  236. {
  237. return Convert.ToInt32(s.Substring(2), fromBase);
  238. }
  239. }
  240. var start = s[0];
  241. if (start != '+' && start != '-' && start != '.' && !char.IsDigit(start))
  242. {
  243. return double.NaN;
  244. }
  245. double n = double.Parse(s,
  246. NumberStyles.AllowDecimalPoint | NumberStyles.AllowLeadingSign |
  247. NumberStyles.AllowLeadingWhite | NumberStyles.AllowTrailingWhite |
  248. NumberStyles.AllowExponent, CultureInfo.InvariantCulture);
  249. if (s.StartsWith("-") && n == 0)
  250. {
  251. return -0.0;
  252. }
  253. return n;
  254. }
  255. catch (OverflowException)
  256. {
  257. return s.StartsWith("-") ? double.NegativeInfinity : double.PositiveInfinity;
  258. }
  259. catch
  260. {
  261. return double.NaN;
  262. }
  263. }
  264. /// <summary>
  265. /// https://tc39.es/ecma262/#sec-tolength
  266. /// </summary>
  267. public static ulong ToLength(JsValue o)
  268. {
  269. var len = ToInteger(o);
  270. if (len <= 0)
  271. {
  272. return 0;
  273. }
  274. return (ulong) Math.Min(len, NumberConstructor.MaxSafeInteger);
  275. }
  276. /// <summary>
  277. /// https://tc39.es/ecma262/#sec-tointegerorinfinity
  278. /// </summary>
  279. public static double ToIntegerOrInfinity(JsValue argument)
  280. {
  281. var number = ToNumber(argument);
  282. if (double.IsNaN(number) || number == 0)
  283. {
  284. return 0;
  285. }
  286. if (double.IsInfinity(number))
  287. {
  288. return number;
  289. }
  290. var integer = (long) Math.Floor(Math.Abs(number));
  291. if (number < 0)
  292. {
  293. integer *= -1;
  294. }
  295. return integer;
  296. }
  297. /// <summary>
  298. /// https://tc39.es/ecma262/#sec-tointeger
  299. /// </summary>
  300. public static double ToInteger(JsValue o)
  301. {
  302. var number = ToNumber(o);
  303. if (double.IsNaN(number))
  304. {
  305. return 0;
  306. }
  307. if (number == 0 || double.IsInfinity(number))
  308. {
  309. return number;
  310. }
  311. return (long) number;
  312. }
  313. internal static double ToInteger(string o)
  314. {
  315. var number = ToNumber(o);
  316. if (double.IsNaN(number))
  317. {
  318. return 0;
  319. }
  320. if (number == 0 || double.IsInfinity(number))
  321. {
  322. return number;
  323. }
  324. return (long) number;
  325. }
  326. /// <summary>
  327. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.5
  328. /// </summary>
  329. public static int ToInt32(JsValue o)
  330. {
  331. return o._type == InternalTypes.Integer
  332. ? o.AsInteger()
  333. : (int) (uint) ToNumber(o);
  334. }
  335. /// <summary>
  336. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.6
  337. /// </summary>
  338. public static uint ToUint32(JsValue o)
  339. {
  340. return o._type == InternalTypes.Integer
  341. ? (uint) o.AsInteger()
  342. : (uint) ToNumber(o);
  343. }
  344. /// <summary>
  345. /// http://www.ecma-international.org/ecma-262/5.1/#sec-9.7
  346. /// </summary>
  347. public static ushort ToUint16(JsValue o)
  348. {
  349. return o._type == InternalTypes.Integer
  350. ? (ushort) (uint) o.AsInteger()
  351. : (ushort) (uint) ToNumber(o);
  352. }
  353. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  354. internal static string ToString(long i)
  355. {
  356. return i >= 0 && i < intToString.Length
  357. ? intToString[i]
  358. : i.ToString();
  359. }
  360. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  361. internal static string ToString(int i)
  362. {
  363. return i >= 0 && i < intToString.Length
  364. ? intToString[i]
  365. : i.ToString();
  366. }
  367. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  368. internal static string ToString(uint i)
  369. {
  370. return i < (uint) intToString.Length
  371. ? intToString[i]
  372. : i.ToString();
  373. }
  374. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  375. internal static string ToString(char c)
  376. {
  377. return c >= 0 && c < charToString.Length
  378. ? charToString[c]
  379. : c.ToString();
  380. }
  381. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  382. internal static string ToString(ulong i)
  383. {
  384. return i >= 0 && i < (ulong) intToString.Length
  385. ? intToString[i]
  386. : i.ToString();
  387. }
  388. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  389. internal static string ToString(double d)
  390. {
  391. if (d > long.MinValue && d < long.MaxValue && Math.Abs(d % 1) <= DoubleIsIntegerTolerance)
  392. {
  393. // we are dealing with integer that can be cached
  394. return ToString((long) d);
  395. }
  396. using var stringBuilder = StringBuilderPool.Rent();
  397. // we can create smaller array as we know the format to be short
  398. return NumberPrototype.NumberToString(d, new DtoaBuilder(17), stringBuilder.Builder);
  399. }
  400. /// <summary>
  401. /// http://www.ecma-international.org/ecma-262/6.0/#sec-topropertykey
  402. /// </summary>
  403. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  404. public static JsValue ToPropertyKey(JsValue o)
  405. {
  406. const InternalTypes stringOrSymbol = InternalTypes.String | InternalTypes.Symbol;
  407. return (o._type & stringOrSymbol) != 0
  408. ? o
  409. : ToPropertyKeyNonString(o);
  410. }
  411. [MethodImpl(MethodImplOptions.NoInlining)]
  412. private static JsValue ToPropertyKeyNonString(JsValue o)
  413. {
  414. const InternalTypes stringOrSymbol = InternalTypes.String | InternalTypes.Symbol;
  415. var primitive = ToPrimitive(o, Types.String);
  416. return (primitive._type & stringOrSymbol) != 0
  417. ? primitive
  418. : ToStringNonString(primitive);
  419. }
  420. /// <summary>
  421. /// http://www.ecma-international.org/ecma-262/6.0/#sec-tostring
  422. /// </summary>
  423. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  424. public static string ToString(JsValue o)
  425. {
  426. return o.IsString() ? o.ToString() : ToStringNonString(o);
  427. }
  428. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  429. internal static JsString ToJsString(JsValue o)
  430. {
  431. if (o is JsString s)
  432. {
  433. return s;
  434. }
  435. return JsString.Create(ToStringNonString(o));
  436. }
  437. private static string ToStringNonString(JsValue o)
  438. {
  439. var type = o._type & ~InternalTypes.InternalFlags;
  440. return type switch
  441. {
  442. InternalTypes.Boolean => ((JsBoolean) o)._value ? "true" : "false",
  443. InternalTypes.Integer => ToString((int) ((JsNumber) o)._value),
  444. InternalTypes.Number => ToString(((JsNumber) o)._value),
  445. InternalTypes.Symbol => ExceptionHelper.ThrowTypeErrorNoEngine<string>("Cannot convert a Symbol value to a string"),
  446. InternalTypes.Undefined => Undefined.Text,
  447. InternalTypes.Null => Null.Text,
  448. InternalTypes.Object when o is IPrimitiveInstance p => ToString(ToPrimitive(p.PrimitiveValue, Types.String)),
  449. InternalTypes.Object when o is IObjectWrapper p => p.Target?.ToString(),
  450. _ => ToString(ToPrimitive(o, Types.String))
  451. };
  452. }
  453. [MethodImpl(MethodImplOptions.AggressiveInlining)]
  454. public static ObjectInstance ToObject(Engine engine, JsValue value)
  455. {
  456. if (value is ObjectInstance oi)
  457. {
  458. return oi;
  459. }
  460. return ToObjectNonObject(engine, value);
  461. }
  462. private static ObjectInstance ToObjectNonObject(Engine engine, JsValue value)
  463. {
  464. var type = value._type & ~InternalTypes.InternalFlags;
  465. return type switch
  466. {
  467. InternalTypes.Boolean => engine.Boolean.Construct((JsBoolean) value),
  468. InternalTypes.Number => engine.Number.Construct((JsNumber) value),
  469. InternalTypes.Integer => engine.Number.Construct((JsNumber) value),
  470. InternalTypes.String => engine.String.Construct(value.ToString()),
  471. InternalTypes.Symbol => engine.Symbol.Construct((JsSymbol) value),
  472. InternalTypes.Null => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert undefined or null to object"),
  473. InternalTypes.Undefined => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert undefined or null to object"),
  474. _ => ExceptionHelper.ThrowTypeError<ObjectInstance>(engine, "Cannot convert given item to object")
  475. };
  476. }
  477. [MethodImpl(MethodImplOptions.NoInlining)]
  478. internal static void CheckObjectCoercible(
  479. Engine engine,
  480. JsValue o,
  481. Node sourceNode,
  482. string referenceName)
  483. {
  484. if (!engine.Options.ReferenceResolver.CheckCoercible(o))
  485. {
  486. ThrowMemberNullOrUndefinedError(engine, o, sourceNode, referenceName);
  487. }
  488. }
  489. [MethodImpl(MethodImplOptions.NoInlining)]
  490. private static void ThrowMemberNullOrUndefinedError(
  491. Engine engine,
  492. JsValue o,
  493. Node sourceNode,
  494. string referencedName)
  495. {
  496. referencedName ??= "unknown";
  497. var message = $"Cannot read property '{referencedName}' of {o}";
  498. throw new JavaScriptException(engine.TypeError, message).SetCallstack(engine, sourceNode.Location);
  499. }
  500. public static void CheckObjectCoercible(Engine engine, JsValue o)
  501. {
  502. if (o._type < InternalTypes.Boolean)
  503. {
  504. ExceptionHelper.ThrowTypeError(engine);
  505. }
  506. }
  507. internal static IEnumerable<Tuple<MethodDescriptor, JsValue[]>> FindBestMatch(
  508. Engine engine,
  509. MethodDescriptor[] methods,
  510. Func<MethodDescriptor, JsValue[]> argumentProvider)
  511. {
  512. List<Tuple<MethodDescriptor, JsValue[]>> matchingByParameterCount = null;
  513. foreach (var m in methods)
  514. {
  515. var parameterInfos = m.Parameters;
  516. var arguments = argumentProvider(m);
  517. if (arguments.Length <= parameterInfos.Length
  518. && arguments.Length >= parameterInfos.Length - m.ParameterDefaultValuesCount)
  519. {
  520. if (methods.Length == 0 && arguments.Length == 0)
  521. {
  522. yield return new Tuple<MethodDescriptor, JsValue[]>(m, arguments);
  523. yield break;
  524. }
  525. matchingByParameterCount ??= new List<Tuple<MethodDescriptor, JsValue[]>>();
  526. matchingByParameterCount.Add(new Tuple<MethodDescriptor, JsValue[]>(m, arguments));
  527. }
  528. }
  529. if (matchingByParameterCount == null)
  530. {
  531. yield break;
  532. }
  533. List<Tuple<int, Tuple<MethodDescriptor, JsValue[]>>> scoredList = null;
  534. foreach (var tuple in matchingByParameterCount)
  535. {
  536. var score = 0;
  537. var parameters = tuple.Item1.Parameters;
  538. var arguments = tuple.Item2;
  539. for (var i = 0; i < arguments.Length; i++)
  540. {
  541. var jsValue = arguments[i];
  542. var arg = jsValue.ToObject();
  543. var argType = arg?.GetType();
  544. var paramType = parameters[i].ParameterType;
  545. if (arg == null)
  546. {
  547. if (!TypeIsNullable(paramType))
  548. {
  549. score -= 10000;
  550. }
  551. }
  552. else if (paramType == typeof(JsValue))
  553. {
  554. // JsValue is convertible to. But it is still not a perfect match
  555. score -= 1;
  556. }
  557. else if (argType != paramType)
  558. {
  559. // check if we can do conversion from int value to enum
  560. if (paramType.IsEnum &&
  561. jsValue is JsNumber jsNumber
  562. && jsNumber.IsInteger()
  563. && Enum.IsDefined(paramType, jsNumber.AsInteger()))
  564. {
  565. // OK
  566. }
  567. else
  568. {
  569. if (paramType.IsAssignableFrom(argType))
  570. {
  571. score -= 10;
  572. }
  573. else
  574. {
  575. if (argType.GetOperatorOverloadMethods()
  576. .Any(m => paramType.IsAssignableFrom(m.ReturnType) &&
  577. (m.Name == "op_Implicit" ||
  578. m.Name == "op_Explicit")))
  579. {
  580. score -= 100;
  581. }
  582. else
  583. {
  584. score -= 1000;
  585. }
  586. }
  587. }
  588. }
  589. }
  590. if (score == 0)
  591. {
  592. yield return Tuple.Create(tuple.Item1, arguments);
  593. yield break;
  594. }
  595. else
  596. {
  597. scoredList ??= new List<Tuple<int, Tuple<MethodDescriptor, JsValue[]>>>();
  598. scoredList.Add(Tuple.Create(score, tuple));
  599. }
  600. }
  601. if (scoredList != null)
  602. {
  603. foreach (var item in scoredList.OrderByDescending(x => x.Item1))
  604. {
  605. yield return item.Item2;
  606. }
  607. }
  608. }
  609. internal static bool TypeIsNullable(Type type)
  610. {
  611. return !type.IsValueType || Nullable.GetUnderlyingType(type) != null;
  612. }
  613. }
  614. }