format_ut.cpp 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351
  1. #include <library/cpp/testing/gtest/gtest.h>
  2. #include <library/cpp/yt/string/format.h>
  3. #include <library/cpp/yt/compact_containers/compact_vector.h>
  4. #include <util/generic/hash_set.h>
  5. #include <limits>
  6. namespace NYT {
  7. namespace {
  8. ////////////////////////////////////////////////////////////////////////////////
  9. struct TWithCustomFlags
  10. {
  11. [[maybe_unused]]
  12. friend void FormatValue(TStringBuilderBase* builder, const TWithCustomFlags&, TStringBuf spec)
  13. {
  14. if (spec.Contains('R')) {
  15. builder->AppendString("R");
  16. }
  17. if (spec.Contains('N')) {
  18. builder->AppendString("N");
  19. }
  20. builder->AppendString("P");
  21. }
  22. };
  23. ////////////////////////////////////////////////////////////////////////////////
  24. } // namespace
  25. ////////////////////////////////////////////////////////////////////////////////
  26. template <>
  27. struct TFormatArg<TWithCustomFlags>
  28. {
  29. [[maybe_unused]] static constexpr std::array ConversionSpecifiers = {
  30. 'v',
  31. };
  32. [[maybe_unused]] static constexpr std::array FlagSpecifiers = {
  33. 'R', 'N',
  34. };
  35. };
  36. ////////////////////////////////////////////////////////////////////////////////
  37. namespace {
  38. // Some compile-time sanity checks.
  39. static_assert(CFormattable<int>);
  40. static_assert(CFormattable<double>);
  41. static_assert(CFormattable<void*>);
  42. static_assert(CFormattable<const char*>);
  43. static_assert(CFormattable<TStringBuf>);
  44. static_assert(CFormattable<TString>);
  45. static_assert(CFormattable<std::span<int>>);
  46. static_assert(CFormattable<std::vector<int>>);
  47. static_assert(CFormattable<std::array<int, 5>>);
  48. // N.B. TCompactVector<int, 1> is not buildable on Windows
  49. static_assert(CFormattable<TCompactVector<int, 2>>);
  50. static_assert(CFormattable<std::set<int>>);
  51. static_assert(CFormattable<std::map<int, int>>);
  52. static_assert(CFormattable<std::multimap<int, int>>);
  53. static_assert(CFormattable<THashSet<int>>);
  54. static_assert(CFormattable<THashMap<int, int>>);
  55. static_assert(CFormattable<THashMultiSet<int>>);
  56. static_assert(CFormattable<std::pair<int, int>>);
  57. static_assert(CFormattable<std::optional<int>>);
  58. static_assert(CFormattable<TDuration>);
  59. static_assert(CFormattable<TInstant>);
  60. struct TUnformattable
  61. { };
  62. static_assert(!CFormattable<TUnformattable>);
  63. static_assert(!CFormattable<std::variant<TUnformattable>>);
  64. static_assert(CFormattable<TWithCustomFlags>);
  65. ////////////////////////////////////////////////////////////////////////////////
  66. TEST(TFormatTest, Nothing)
  67. {
  68. EXPECT_EQ("abc", Format("a%nb%nc", 1, 2));
  69. }
  70. TEST(TFormatTest, Verbatim)
  71. {
  72. EXPECT_EQ("", Format(""));
  73. EXPECT_EQ("test", Format("test"));
  74. EXPECT_EQ("%", Format("%%"));
  75. EXPECT_EQ("%hello%world%", Format("%%hello%%world%%"));
  76. }
  77. TEST(TFormatTest, MultipleArgs)
  78. {
  79. EXPECT_EQ("2+2=4", Format("%v+%v=%v", 2, 2, 4));
  80. }
  81. TEST(TFormatTest, Strings)
  82. {
  83. EXPECT_EQ("test", Format("%s", "test"));
  84. EXPECT_EQ("test", Format("%s", TStringBuf("test")));
  85. EXPECT_EQ("test", Format("%s", TString("test")));
  86. EXPECT_EQ(" abc", Format("%6s", TString("abc")));
  87. EXPECT_EQ("abc ", Format("%-6s", TString("abc")));
  88. EXPECT_EQ(" abc", Format("%10v", TString("abc")));
  89. EXPECT_EQ("abc ", Format("%-10v", TString("abc")));
  90. EXPECT_EQ("abc", Format("%2s", TString("abc")));
  91. EXPECT_EQ("abc", Format("%-2s", TString("abc")));
  92. EXPECT_EQ("abc", Format("%0s", TString("abc")));
  93. EXPECT_EQ("abc", Format("%-0s", TString("abc")));
  94. EXPECT_EQ(100, std::ssize(Format("%100v", "abc")));
  95. }
  96. TEST(TFormatTest, DecIntegers)
  97. {
  98. EXPECT_EQ("123", Format("%d", 123));
  99. EXPECT_EQ("123", Format("%v", 123));
  100. EXPECT_EQ("042", Format("%03d", 42));
  101. EXPECT_EQ("42", Format("%01d", 42));
  102. EXPECT_EQ("2147483647", Format("%d", std::numeric_limits<i32>::max()));
  103. EXPECT_EQ("-2147483648", Format("%d", std::numeric_limits<i32>::min()));
  104. EXPECT_EQ("0", Format("%u", 0U));
  105. EXPECT_EQ("0", Format("%v", 0U));
  106. EXPECT_EQ("4294967295", Format("%u", std::numeric_limits<ui32>::max()));
  107. EXPECT_EQ("4294967295", Format("%v", std::numeric_limits<ui32>::max()));
  108. EXPECT_EQ("9223372036854775807", Format("%" PRId64, std::numeric_limits<i64>::max()));
  109. EXPECT_EQ("9223372036854775807", Format("%v", std::numeric_limits<i64>::max()));
  110. EXPECT_EQ("-9223372036854775808", Format("%" PRId64, std::numeric_limits<i64>::min()));
  111. EXPECT_EQ("-9223372036854775808", Format("%v", std::numeric_limits<i64>::min()));
  112. EXPECT_EQ("0", Format("%" PRIu64, 0ULL));
  113. EXPECT_EQ("0", Format("%v", 0ULL));
  114. EXPECT_EQ("18446744073709551615", Format("%" PRIu64, std::numeric_limits<ui64>::max()));
  115. EXPECT_EQ("18446744073709551615", Format("%v", std::numeric_limits<ui64>::max()));
  116. }
  117. TEST(TFormatTest, HexIntegers)
  118. {
  119. EXPECT_EQ("7b", Format("%x", 123));
  120. EXPECT_EQ("7B", Format("%X", 123));
  121. EXPECT_EQ("02a", Format("%03x", 42));
  122. EXPECT_EQ("2a", Format("%01x", 42));
  123. EXPECT_EQ("7fffffff", Format("%x", std::numeric_limits<i32>::max()));
  124. EXPECT_EQ("-80000000", Format("%x", std::numeric_limits<i32>::min()));
  125. EXPECT_EQ("0", Format("%x", 0U));
  126. EXPECT_EQ("0", Format("%X", 0U));
  127. EXPECT_EQ("ffffffff", Format("%x", std::numeric_limits<ui32>::max()));
  128. EXPECT_EQ("7fffffffffffffff", Format("%x", std::numeric_limits<i64>::max()));
  129. EXPECT_EQ("-8000000000000000", Format("%x", std::numeric_limits<i64>::min()));
  130. EXPECT_EQ("0", Format("%x", 0ULL));
  131. EXPECT_EQ("ffffffffffffffff", Format("%x", std::numeric_limits<ui64>::max()));
  132. }
  133. TEST(TFormatTest, Floats)
  134. {
  135. EXPECT_EQ("3.14", Format("%.2f", 3.1415F));
  136. EXPECT_EQ("3.14", Format("%.2v", 3.1415F));
  137. EXPECT_EQ("3.14", Format("%.2lf", 3.1415));
  138. EXPECT_EQ("3.14", Format("%.2v", 3.1415));
  139. EXPECT_EQ(TString(std::to_string(std::numeric_limits<double>::max())),
  140. Format("%lF", std::numeric_limits<double>::max()));
  141. }
  142. TEST(TFormatTest, Bool)
  143. {
  144. EXPECT_EQ("True", Format("%v", true));
  145. EXPECT_EQ("False", Format("%v", false));
  146. EXPECT_EQ("true", Format("%lv", true));
  147. EXPECT_EQ("false", Format("%lv", false));
  148. }
  149. TEST(TFormatTest, Quotes)
  150. {
  151. EXPECT_EQ("\"True\"", Format("%Qv", true));
  152. EXPECT_EQ("'False'", Format("%qv", false));
  153. EXPECT_EQ("'\\\'\"'", Format("%qv", "\'\""));
  154. EXPECT_EQ("\"\\x01\"", Format("%Qv", "\x1"));
  155. EXPECT_EQ("'\\x1b'", Format("%qv", '\x1b'));
  156. EXPECT_EQ("'\\\\'", Format("%qv", '\\'));
  157. EXPECT_EQ("'\\n'", Format("%qv", '\n'));
  158. EXPECT_EQ("'\\t'", Format("%qv", '\t'));
  159. EXPECT_EQ("'\\\''", Format("%qv", '\''));
  160. EXPECT_EQ("\"'\"", Format("%Qv", '\''));
  161. EXPECT_EQ("'\"'", Format("%qv", '\"'));
  162. EXPECT_EQ("\"\\\"\"", Format("%Qv", '\"'));
  163. }
  164. TEST(TFormatTest, Escape)
  165. {
  166. EXPECT_EQ("\'\"", Format("%hv", "\'\""));
  167. EXPECT_EQ("\\x01", Format("%hv", "\x1"));
  168. EXPECT_EQ("\\x1b", Format("%hv", '\x1b'));
  169. EXPECT_EQ("\\\\", Format("%hv", '\\'));
  170. EXPECT_EQ("\\n", Format("%hv", '\n'));
  171. EXPECT_EQ("\\t", Format("%hv", '\t'));
  172. EXPECT_EQ("\'", Format("%hv", '\''));
  173. }
  174. TEST(TFormatTest, Nullable)
  175. {
  176. EXPECT_EQ("1", Format("%v", std::make_optional<int>(1)));
  177. EXPECT_EQ("<null>", Format("%v", std::nullopt));
  178. EXPECT_EQ("<null>", Format("%v", std::optional<int>()));
  179. EXPECT_EQ("3.14", Format("%.2f", std::optional<double>(3.1415)));
  180. }
  181. TEST(TFormatTest, Pointers)
  182. {
  183. {
  184. auto ptr = reinterpret_cast<void*>(0x12345678);
  185. EXPECT_EQ("0x12345678", Format("%p", ptr));
  186. EXPECT_EQ("0x12345678", Format("%v", ptr));
  187. EXPECT_EQ("12345678", Format("%x", ptr));
  188. EXPECT_EQ("12345678", Format("%X", ptr));
  189. }
  190. {
  191. auto ptr = reinterpret_cast<void*>(0x12345678abcdefab);
  192. EXPECT_EQ("0x12345678abcdefab", Format("%p", ptr));
  193. EXPECT_EQ("0x12345678abcdefab", Format("%v", ptr));
  194. EXPECT_EQ("12345678abcdefab", Format("%x", ptr));
  195. EXPECT_EQ("12345678ABCDEFAB", Format("%X", ptr));
  196. }
  197. }
  198. TEST(TFormatTest, Tuples)
  199. {
  200. EXPECT_EQ("{}", Format("%v", std::tuple()));
  201. EXPECT_EQ("{1, 2, 3}", Format("%v", std::tuple(1, 2, 3)));
  202. EXPECT_EQ("{1, 2}", Format("%v", std::pair(1, 2)));
  203. }
  204. TEST(TFormatTest, CompactIntervalView)
  205. {
  206. EXPECT_EQ("[]", Format("%v", MakeCompactIntervalView(std::vector<int>{})));
  207. EXPECT_EQ("[1]", Format("%v", MakeCompactIntervalView(std::vector<int>{1})));
  208. EXPECT_EQ("[0, 2-4, 7]", Format("%v", MakeCompactIntervalView(std::vector<int>{0, 2, 3, 4, 7})));
  209. }
  210. TEST(TFormatTest, LazyMultiValueFormatter)
  211. {
  212. int i = 1;
  213. TString s = "hello";
  214. std::vector<int> range{1, 2, 3};
  215. auto lazyFormatter = MakeLazyMultiValueFormatter(
  216. "int: %v, string: %v, range: %v",
  217. i,
  218. s,
  219. MakeFormattableView(range, TDefaultFormatter{}));
  220. EXPECT_EQ("int: 1, string: hello, range: [1, 2, 3]", Format("%v", lazyFormatter));
  221. }
  222. TEST(TFormatTest, VectorArg)
  223. {
  224. std::vector<TString> params = {"a", "b", "c"};
  225. EXPECT_EQ(FormatVector("a is %v, b is %v, c is %v", params), "a is a, b is b, c is c");
  226. }
  227. TEST(TFormatTest, RuntimeFormat)
  228. {
  229. TString format = "Hello %v";
  230. EXPECT_EQ(Format(TRuntimeFormat(format), "World"), "Hello World");
  231. }
  232. TEST(TFormatTest, CustomFlagsSimple)
  233. {
  234. EXPECT_EQ(Format("%v", TWithCustomFlags{}), TString("P"));
  235. EXPECT_EQ(Format("%Rv", TWithCustomFlags{}), TString("RP"));
  236. EXPECT_EQ(Format("%Nv", TWithCustomFlags{}), TString("NP"));
  237. EXPECT_EQ(Format("%RNv", TWithCustomFlags{}), TString("RNP"));
  238. EXPECT_EQ(Format("%NRv", TWithCustomFlags{}), TString("RNP"));
  239. }
  240. TEST(TFormatTest, CustomFlagsCollection)
  241. {
  242. constexpr int elementCount = 5;
  243. auto toCollection = [] (TString pattern) {
  244. TString ret = "[";
  245. for (int i = 0; i < elementCount - 1; ++i) {
  246. ret += pattern + ", ";
  247. }
  248. ret += pattern + "]";
  249. return ret;
  250. };
  251. std::vector vec(elementCount, TWithCustomFlags{});
  252. EXPECT_EQ(Format("%v", vec), toCollection("P"));
  253. EXPECT_EQ(Format("%Rv", vec), toCollection("RP"));
  254. EXPECT_EQ(Format("%Nv", vec), toCollection("NP"));
  255. EXPECT_EQ(Format("%RNv", vec), toCollection("RNP"));
  256. EXPECT_EQ(Format("%NRv", vec), toCollection("RNP"));
  257. }
  258. TEST(TFormatTest, CustomFlagsCollectionTwoLevels)
  259. {
  260. constexpr int elementCount1 = 5;
  261. constexpr int elementCount2 = 3;
  262. auto toCollection = [] (int count, TString pattern) {
  263. TString ret = "[";
  264. for (int i = 0; i < count - 1; ++i) {
  265. ret += pattern + ", ";
  266. }
  267. ret += pattern + "]";
  268. return ret;
  269. };
  270. auto toCollectionD2 = [&] (TString pattern) {
  271. return toCollection(elementCount2, toCollection(elementCount1, std::move(pattern)));
  272. };
  273. std::vector vec(elementCount1, TWithCustomFlags{});
  274. std::array<decltype(vec), elementCount2> arr;
  275. std::ranges::fill(arr, vec);
  276. EXPECT_EQ(Format("%v", arr), toCollectionD2("P"));
  277. EXPECT_EQ(Format("%Rv", arr), toCollectionD2("RP"));
  278. EXPECT_EQ(Format("%Nv", arr), toCollectionD2("NP"));
  279. EXPECT_EQ(Format("%RNv", arr), toCollectionD2("RNP"));
  280. EXPECT_EQ(Format("%NRv", arr), toCollectionD2("RNP"));
  281. }
  282. TEST(TFormatTest, ManyEscapes)
  283. {
  284. EXPECT_EQ("a%b%c%d%e%f%g", Format("%v%%%v%%%v%%%v%%%v%%%v%%%g", "a", "b", "c", "d", "e", "f", "g"));
  285. }
  286. ////////////////////////////////////////////////////////////////////////////////
  287. } // namespace
  288. } // namespace NYT