scanf.cpp 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626
  1. /*
  2. * Copyright (c) 2021, the SerenityOS developers.
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/Assertions.h>
  7. #include <AK/Format.h>
  8. #include <AK/GenericLexer.h>
  9. #include <AK/StdLibExtras.h>
  10. #include <ctype.h>
  11. #include <stdarg.h>
  12. #include <stdio.h>
  13. #include <stdlib.h>
  14. #include <string.h>
  15. enum class LengthModifier {
  16. None,
  17. Default,
  18. Char,
  19. Short,
  20. Long,
  21. LongLong,
  22. IntMax,
  23. Size,
  24. PtrDiff,
  25. LongDouble,
  26. };
  27. enum class ConversionSpecifier {
  28. Unspecified,
  29. Decimal,
  30. Integer,
  31. Octal,
  32. Unsigned,
  33. Hex,
  34. Floating,
  35. String,
  36. UseScanList,
  37. Character,
  38. Pointer,
  39. OutputNumberOfBytes,
  40. Invalid,
  41. };
  42. enum class ReadKind {
  43. Normal,
  44. Octal,
  45. Hex,
  46. Infer,
  47. };
  48. template<typename T, typename ApT, ReadKind kind = ReadKind::Normal>
  49. struct ReadElementConcrete {
  50. bool operator()(GenericLexer&, va_list)
  51. {
  52. return false;
  53. }
  54. };
  55. template<typename ApT, ReadKind kind>
  56. struct ReadElementConcrete<int, ApT, kind> {
  57. bool operator()(GenericLexer& lexer, va_list* ap)
  58. {
  59. lexer.ignore_while(isspace);
  60. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  61. long value = 0;
  62. char* endptr = nullptr;
  63. auto nptr = lexer.remaining().characters_without_null_termination();
  64. if constexpr (kind == ReadKind::Normal)
  65. value = strtol(nptr, &endptr, 10);
  66. if constexpr (kind == ReadKind::Octal)
  67. value = strtol(nptr, &endptr, 8);
  68. if constexpr (kind == ReadKind::Hex)
  69. value = strtol(nptr, &endptr, 16);
  70. if constexpr (kind == ReadKind::Infer)
  71. value = strtol(nptr, &endptr, 0);
  72. if (!endptr)
  73. return false;
  74. if (endptr == nptr)
  75. return false;
  76. auto diff = endptr - nptr;
  77. VERIFY(diff > 0);
  78. lexer.ignore((size_t)diff);
  79. if (ptr)
  80. *ptr = value;
  81. return true;
  82. }
  83. };
  84. template<typename ApT, ReadKind kind>
  85. struct ReadElementConcrete<char, ApT, kind> {
  86. bool operator()(GenericLexer& lexer, va_list* ap)
  87. {
  88. static_assert(kind == ReadKind::Normal, "Can't read a non-normal character");
  89. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  90. if (lexer.is_eof())
  91. return false;
  92. auto ch = lexer.consume();
  93. if (ptr)
  94. *ptr = ch;
  95. return true;
  96. }
  97. };
  98. template<typename ApT, ReadKind kind>
  99. struct ReadElementConcrete<unsigned, ApT, kind> {
  100. bool operator()(GenericLexer& lexer, va_list* ap)
  101. {
  102. lexer.ignore_while(isspace);
  103. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  104. unsigned long value = 0;
  105. char* endptr = nullptr;
  106. auto nptr = lexer.remaining().characters_without_null_termination();
  107. if constexpr (kind == ReadKind::Normal)
  108. value = strtoul(nptr, &endptr, 10);
  109. if constexpr (kind == ReadKind::Octal)
  110. value = strtoul(nptr, &endptr, 8);
  111. if constexpr (kind == ReadKind::Hex)
  112. value = strtoul(nptr, &endptr, 16);
  113. if constexpr (kind == ReadKind::Infer)
  114. value = strtoul(nptr, &endptr, 0);
  115. if (!endptr)
  116. return false;
  117. if (endptr == nptr)
  118. return false;
  119. auto diff = endptr - nptr;
  120. VERIFY(diff > 0);
  121. lexer.ignore((size_t)diff);
  122. if (ptr)
  123. *ptr = value;
  124. return true;
  125. }
  126. };
  127. template<typename ApT, ReadKind kind>
  128. struct ReadElementConcrete<long long, ApT, kind> {
  129. bool operator()(GenericLexer& lexer, va_list* ap)
  130. {
  131. lexer.ignore_while(isspace);
  132. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  133. long long value = 0;
  134. char* endptr = nullptr;
  135. auto nptr = lexer.remaining().characters_without_null_termination();
  136. if constexpr (kind == ReadKind::Normal)
  137. value = strtoll(nptr, &endptr, 10);
  138. if constexpr (kind == ReadKind::Octal)
  139. value = strtoll(nptr, &endptr, 8);
  140. if constexpr (kind == ReadKind::Hex)
  141. value = strtoll(nptr, &endptr, 16);
  142. if constexpr (kind == ReadKind::Infer)
  143. value = strtoll(nptr, &endptr, 0);
  144. if (!endptr)
  145. return false;
  146. if (endptr == nptr)
  147. return false;
  148. auto diff = endptr - nptr;
  149. VERIFY(diff > 0);
  150. lexer.ignore((size_t)diff);
  151. if (ptr)
  152. *ptr = value;
  153. return true;
  154. }
  155. };
  156. template<typename ApT, ReadKind kind>
  157. struct ReadElementConcrete<unsigned long long, ApT, kind> {
  158. bool operator()(GenericLexer& lexer, va_list* ap)
  159. {
  160. lexer.ignore_while(isspace);
  161. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  162. unsigned long long value = 0;
  163. char* endptr = nullptr;
  164. auto nptr = lexer.remaining().characters_without_null_termination();
  165. if constexpr (kind == ReadKind::Normal)
  166. value = strtoull(nptr, &endptr, 10);
  167. if constexpr (kind == ReadKind::Octal)
  168. value = strtoull(nptr, &endptr, 8);
  169. if constexpr (kind == ReadKind::Hex)
  170. value = strtoull(nptr, &endptr, 16);
  171. if constexpr (kind == ReadKind::Infer)
  172. value = strtoull(nptr, &endptr, 0);
  173. if (!endptr)
  174. return false;
  175. if (endptr == nptr)
  176. return false;
  177. auto diff = endptr - nptr;
  178. VERIFY(diff > 0);
  179. lexer.ignore((size_t)diff);
  180. if (ptr)
  181. *ptr = value;
  182. return true;
  183. }
  184. };
  185. template<typename ApT, ReadKind kind>
  186. struct ReadElementConcrete<float, ApT, kind> {
  187. bool operator()(GenericLexer& lexer, va_list* ap)
  188. {
  189. lexer.ignore_while(isspace);
  190. auto* ptr = ap ? va_arg(*ap, ApT*) : nullptr;
  191. double value = 0;
  192. char* endptr = nullptr;
  193. auto nptr = lexer.remaining().characters_without_null_termination();
  194. if constexpr (kind == ReadKind::Normal)
  195. value = strtod(nptr, &endptr);
  196. else
  197. return false;
  198. if (!endptr)
  199. return false;
  200. if (endptr == nptr)
  201. return false;
  202. auto diff = endptr - nptr;
  203. VERIFY(diff > 0);
  204. lexer.ignore((size_t)diff);
  205. if (ptr)
  206. *ptr = value;
  207. return true;
  208. }
  209. };
  210. template<typename T, ReadKind kind>
  211. struct ReadElement {
  212. bool operator()(LengthModifier length_modifier, GenericLexer& input_lexer, va_list* ap)
  213. {
  214. switch (length_modifier) {
  215. default:
  216. case LengthModifier::None:
  217. VERIFY_NOT_REACHED();
  218. case LengthModifier::Default:
  219. return ReadElementConcrete<T, T, kind> {}(input_lexer, ap);
  220. case LengthModifier::Char:
  221. return ReadElementConcrete<T, char, kind> {}(input_lexer, ap);
  222. case LengthModifier::Short:
  223. return ReadElementConcrete<T, short, kind> {}(input_lexer, ap);
  224. case LengthModifier::Long:
  225. if constexpr (IsSame<T, int>)
  226. return ReadElementConcrete<T, long, kind> {}(input_lexer, ap);
  227. if constexpr (IsSame<T, unsigned>)
  228. return ReadElementConcrete<T, unsigned, kind> {}(input_lexer, ap);
  229. if constexpr (IsSame<T, float>)
  230. return ReadElementConcrete<int, double, kind> {}(input_lexer, ap);
  231. return false;
  232. case LengthModifier::LongLong:
  233. if constexpr (IsSame<T, int>)
  234. return ReadElementConcrete<long long, long long, kind> {}(input_lexer, ap);
  235. if constexpr (IsSame<T, unsigned>)
  236. return ReadElementConcrete<unsigned long long, unsigned long long, kind> {}(input_lexer, ap);
  237. if constexpr (IsSame<T, float>)
  238. return ReadElementConcrete<long long, double, kind> {}(input_lexer, ap);
  239. return false;
  240. case LengthModifier::IntMax:
  241. return ReadElementConcrete<T, intmax_t, kind> {}(input_lexer, ap);
  242. case LengthModifier::Size:
  243. return ReadElementConcrete<T, size_t, kind> {}(input_lexer, ap);
  244. case LengthModifier::PtrDiff:
  245. return ReadElementConcrete<T, ptrdiff_t, kind> {}(input_lexer, ap);
  246. case LengthModifier::LongDouble:
  247. return ReadElementConcrete<T, long double, kind> {}(input_lexer, ap);
  248. }
  249. }
  250. };
  251. template<>
  252. struct ReadElement<char*, ReadKind::Normal> {
  253. ReadElement(StringView scan_set = {}, bool invert = false)
  254. : scan_set(scan_set.is_null() ? " \t\n\f\r" : scan_set)
  255. , invert(scan_set.is_null() ? true : invert)
  256. , was_null(scan_set.is_null())
  257. {
  258. }
  259. bool operator()(LengthModifier length_modifier, GenericLexer& input_lexer, va_list* ap)
  260. {
  261. // FIXME: Implement wide strings and such.
  262. if (length_modifier != LengthModifier::Default)
  263. return false;
  264. if (was_null)
  265. input_lexer.ignore_while(isspace);
  266. auto* ptr = ap ? va_arg(*ap, char*) : nullptr;
  267. auto str = input_lexer.consume_while([this](auto c) { return this->matches(c); });
  268. if (str.is_empty())
  269. return false;
  270. memcpy(ptr, str.characters_without_null_termination(), str.length());
  271. ptr[str.length()] = 0;
  272. return true;
  273. }
  274. private:
  275. bool matches(char c) const
  276. {
  277. return invert ^ scan_set.contains(c);
  278. }
  279. const StringView scan_set;
  280. bool invert { false };
  281. bool was_null { false };
  282. };
  283. template<>
  284. struct ReadElement<void*, ReadKind::Normal> {
  285. bool operator()(LengthModifier length_modifier, GenericLexer& input_lexer, va_list* ap)
  286. {
  287. if (length_modifier != LengthModifier::Default)
  288. return false;
  289. input_lexer.ignore_while(isspace);
  290. auto* ptr = ap ? va_arg(*ap, void**) : nullptr;
  291. auto str = input_lexer.consume_while([this](auto c) { return this->should_consume(c); });
  292. if (count != 8) {
  293. fail:;
  294. for (size_t i = 0; i < count; ++i)
  295. input_lexer.retreat();
  296. return false;
  297. }
  298. char buf[9] { 0 };
  299. memcpy(buf, str.characters_without_null_termination(), 8);
  300. buf[8] = 0;
  301. char* endptr = nullptr;
  302. auto value = strtoull(buf, &endptr, 16);
  303. if (endptr != &buf[8])
  304. goto fail;
  305. memcpy(ptr, &value, sizeof(value));
  306. return true;
  307. }
  308. private:
  309. bool should_consume(char c)
  310. {
  311. if (count == 8)
  312. return false;
  313. if (!isxdigit(c))
  314. return false;
  315. ++count;
  316. return true;
  317. }
  318. size_t count { 0 };
  319. };
  320. extern "C" int vsscanf(const char* input, const char* format, va_list ap)
  321. {
  322. GenericLexer format_lexer { format };
  323. GenericLexer input_lexer { input };
  324. int elements_matched = 0;
  325. va_list copy;
  326. __builtin_va_copy(copy, ap);
  327. while (!format_lexer.is_eof()) {
  328. format_lexer.ignore_while(isspace);
  329. if (!format_lexer.next_is('%')) {
  330. read_one_literal:;
  331. input_lexer.ignore_while(isspace);
  332. if (format_lexer.is_eof())
  333. break;
  334. auto next_char = format_lexer.consume();
  335. if (!input_lexer.consume_specific(next_char))
  336. return elements_matched;
  337. continue;
  338. }
  339. if (format_lexer.next_is("%%")) {
  340. format_lexer.ignore();
  341. goto read_one_literal;
  342. }
  343. format_lexer.ignore(); // '%'
  344. bool suppress_assignment = false;
  345. if (format_lexer.next_is('*')) {
  346. suppress_assignment = true;
  347. format_lexer.ignore();
  348. }
  349. // Parse width specification
  350. [[maybe_unused]] int width_specifier = 0;
  351. if (format_lexer.next_is(isdigit)) {
  352. auto width_digits = format_lexer.consume_while([](char c) { return isdigit(c); });
  353. width_specifier = width_digits.to_int().value();
  354. // FIXME: Actually use width specifier
  355. }
  356. bool invert_scanlist = false;
  357. StringView scanlist;
  358. LengthModifier length_modifier { LengthModifier::None };
  359. ConversionSpecifier conversion_specifier { ConversionSpecifier::Unspecified };
  360. reread_lookahead:;
  361. auto format_lookahead = format_lexer.peek();
  362. if (length_modifier == LengthModifier::None) {
  363. switch (format_lookahead) {
  364. case 'h':
  365. if (format_lexer.peek(1) == 'h') {
  366. format_lexer.consume(2);
  367. length_modifier = LengthModifier::Char;
  368. } else {
  369. format_lexer.consume(1);
  370. length_modifier = LengthModifier::Short;
  371. }
  372. break;
  373. case 'l':
  374. if (format_lexer.peek(1) == 'l') {
  375. format_lexer.consume(2);
  376. length_modifier = LengthModifier::LongLong;
  377. } else {
  378. format_lexer.consume(1);
  379. length_modifier = LengthModifier::Long;
  380. }
  381. break;
  382. case 'j':
  383. format_lexer.consume();
  384. length_modifier = LengthModifier::IntMax;
  385. break;
  386. case 'z':
  387. format_lexer.consume();
  388. length_modifier = LengthModifier::Size;
  389. break;
  390. case 't':
  391. format_lexer.consume();
  392. length_modifier = LengthModifier::PtrDiff;
  393. break;
  394. case 'L':
  395. format_lexer.consume();
  396. length_modifier = LengthModifier::LongDouble;
  397. break;
  398. default:
  399. length_modifier = LengthModifier::Default;
  400. break;
  401. }
  402. goto reread_lookahead;
  403. }
  404. if (conversion_specifier == ConversionSpecifier::Unspecified) {
  405. switch (format_lookahead) {
  406. case 'd':
  407. format_lexer.consume();
  408. conversion_specifier = ConversionSpecifier::Decimal;
  409. break;
  410. case 'i':
  411. format_lexer.consume();
  412. conversion_specifier = ConversionSpecifier::Integer;
  413. break;
  414. case 'o':
  415. format_lexer.consume();
  416. conversion_specifier = ConversionSpecifier::Octal;
  417. break;
  418. case 'u':
  419. format_lexer.consume();
  420. conversion_specifier = ConversionSpecifier::Unsigned;
  421. break;
  422. case 'x':
  423. format_lexer.consume();
  424. conversion_specifier = ConversionSpecifier::Hex;
  425. break;
  426. case 'a':
  427. case 'e':
  428. case 'f':
  429. case 'g':
  430. format_lexer.consume();
  431. conversion_specifier = ConversionSpecifier::Floating;
  432. break;
  433. case 's':
  434. format_lexer.consume();
  435. conversion_specifier = ConversionSpecifier::String;
  436. break;
  437. case '[':
  438. format_lexer.consume();
  439. scanlist = format_lexer.consume_until(']');
  440. if (scanlist.starts_with('^')) {
  441. scanlist = scanlist.substring_view(1);
  442. invert_scanlist = true;
  443. }
  444. conversion_specifier = ConversionSpecifier::UseScanList;
  445. break;
  446. case 'c':
  447. format_lexer.consume();
  448. conversion_specifier = ConversionSpecifier::Character;
  449. break;
  450. case 'p':
  451. format_lexer.consume();
  452. conversion_specifier = ConversionSpecifier::Pointer;
  453. break;
  454. case 'n':
  455. format_lexer.consume();
  456. conversion_specifier = ConversionSpecifier::OutputNumberOfBytes;
  457. break;
  458. case 'C':
  459. format_lexer.consume();
  460. length_modifier = LengthModifier::Long;
  461. conversion_specifier = ConversionSpecifier::Character;
  462. break;
  463. case 'S':
  464. format_lexer.consume();
  465. length_modifier = LengthModifier::Long;
  466. conversion_specifier = ConversionSpecifier::String;
  467. break;
  468. default:
  469. format_lexer.consume();
  470. conversion_specifier = ConversionSpecifier::Invalid;
  471. break;
  472. }
  473. }
  474. auto* ap_or_null = !suppress_assignment ? (va_list*)&copy : nullptr;
  475. // Now try to read.
  476. switch (conversion_specifier) {
  477. case ConversionSpecifier::Invalid:
  478. case ConversionSpecifier::Unspecified:
  479. default:
  480. // "undefined behavior", let's be nice and crash.
  481. dbgln("Invalid conversion specifier {} in scanf!", (int)conversion_specifier);
  482. VERIFY_NOT_REACHED();
  483. case ConversionSpecifier::Decimal:
  484. if (!ReadElement<int, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  485. format_lexer.consume_all();
  486. else
  487. ++elements_matched;
  488. break;
  489. case ConversionSpecifier::Integer:
  490. if (!ReadElement<int, ReadKind::Infer> {}(length_modifier, input_lexer, ap_or_null))
  491. format_lexer.consume_all();
  492. else
  493. ++elements_matched;
  494. break;
  495. case ConversionSpecifier::Octal:
  496. if (!ReadElement<unsigned, ReadKind::Octal> {}(length_modifier, input_lexer, ap_or_null))
  497. format_lexer.consume_all();
  498. else
  499. ++elements_matched;
  500. break;
  501. case ConversionSpecifier::Unsigned:
  502. if (!ReadElement<unsigned, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  503. format_lexer.consume_all();
  504. else
  505. ++elements_matched;
  506. break;
  507. case ConversionSpecifier::Hex:
  508. if (!ReadElement<unsigned, ReadKind::Hex> {}(length_modifier, input_lexer, ap_or_null))
  509. format_lexer.consume_all();
  510. else
  511. ++elements_matched;
  512. break;
  513. case ConversionSpecifier::Floating:
  514. if (!ReadElement<float, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  515. format_lexer.consume_all();
  516. else
  517. ++elements_matched;
  518. break;
  519. case ConversionSpecifier::String:
  520. if (!ReadElement<char*, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  521. format_lexer.consume_all();
  522. else
  523. ++elements_matched;
  524. break;
  525. case ConversionSpecifier::UseScanList:
  526. if (!ReadElement<char*, ReadKind::Normal> { scanlist, invert_scanlist }(length_modifier, input_lexer, ap_or_null))
  527. format_lexer.consume_all();
  528. else
  529. ++elements_matched;
  530. break;
  531. case ConversionSpecifier::Character:
  532. if (!ReadElement<char, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  533. format_lexer.consume_all();
  534. else
  535. ++elements_matched;
  536. break;
  537. case ConversionSpecifier::Pointer:
  538. if (!ReadElement<void*, ReadKind::Normal> {}(length_modifier, input_lexer, ap_or_null))
  539. format_lexer.consume_all();
  540. else
  541. ++elements_matched;
  542. break;
  543. case ConversionSpecifier::OutputNumberOfBytes: {
  544. input_lexer.ignore_while(isspace);
  545. if (!suppress_assignment) {
  546. auto* ptr = va_arg(copy, int*);
  547. *ptr = input_lexer.tell();
  548. }
  549. break;
  550. }
  551. }
  552. }
  553. va_end(copy);
  554. return elements_matched;
  555. }