TypeConverter.cs 20 KB

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