meta_any.cpp 39 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404
  1. #include <algorithm>
  2. #include <array>
  3. #include <cstddef>
  4. #include <memory>
  5. #include <utility>
  6. #include <gtest/gtest.h>
  7. #include <entt/core/hashed_string.hpp>
  8. #include <entt/meta/factory.hpp>
  9. #include <entt/meta/meta.hpp>
  10. #include <entt/meta/resolve.hpp>
  11. #include "../../common/config.h"
  12. #include "../../common/linter.hpp"
  13. #include "../../common/non_comparable.h"
  14. struct clazz {
  15. void member(int i) {
  16. value = i;
  17. }
  18. static char func() {
  19. return 'c';
  20. }
  21. operator int() const {
  22. return value;
  23. }
  24. int value{0};
  25. };
  26. struct empty {
  27. empty() = default;
  28. empty(const empty &) = default;
  29. empty &operator=(const empty &) = default;
  30. virtual ~empty() {
  31. ++destructor_counter;
  32. }
  33. static void destroy(empty &) {
  34. ++destroy_counter;
  35. }
  36. inline static int destroy_counter = 0; // NOLINT
  37. inline static int destructor_counter = 0; // NOLINT
  38. };
  39. struct fat: empty {
  40. fat()
  41. : value{.0, .0, .0, .0} {}
  42. fat(double v1, double v2, double v3, double v4)
  43. : value{v1, v2, v3, v4} {}
  44. ~fat() override = default;
  45. fat(const fat &) = default;
  46. fat &operator=(const fat &) = default;
  47. bool operator==(const fat &other) const {
  48. return (value == other.value);
  49. }
  50. std::array<double, 4u> value{};
  51. };
  52. enum class enum_class : unsigned short int {
  53. foo = 0u,
  54. bar = 1u
  55. };
  56. struct unmanageable {
  57. unmanageable()
  58. : value{std::make_unique<int>(3)} {}
  59. ~unmanageable() = default;
  60. unmanageable(const unmanageable &) = delete;
  61. unmanageable(unmanageable &&) = delete;
  62. unmanageable &operator=(const unmanageable &) = delete;
  63. unmanageable &operator=(unmanageable &&) = delete;
  64. std::unique_ptr<int> value;
  65. };
  66. struct MetaAny: ::testing::Test {
  67. void SetUp() override {
  68. using namespace entt::literals;
  69. entt::meta<empty>()
  70. .type("empty"_hs)
  71. .dtor<empty::destroy>();
  72. entt::meta<fat>()
  73. .type("fat"_hs)
  74. .base<empty>()
  75. .dtor<fat::destroy>();
  76. entt::meta<clazz>()
  77. .type("clazz"_hs)
  78. .data<&clazz::value>("value"_hs)
  79. .func<&clazz::member>("member"_hs)
  80. .func<clazz::func>("func"_hs)
  81. .conv<int>();
  82. empty::destroy_counter = 0;
  83. empty::destructor_counter = 0;
  84. }
  85. void TearDown() override {
  86. entt::meta_reset();
  87. }
  88. };
  89. using MetaAnyDeathTest = MetaAny;
  90. TEST_F(MetaAny, SBO) {
  91. entt::meta_any any{'c'};
  92. ASSERT_TRUE(any);
  93. ASSERT_EQ(any.policy(), entt::meta_any_policy::owner);
  94. ASSERT_FALSE(any.try_cast<std::size_t>());
  95. ASSERT_EQ(any.cast<char>(), 'c');
  96. ASSERT_NE(any.data(), nullptr);
  97. ASSERT_EQ(any, entt::meta_any{'c'});
  98. ASSERT_NE(entt::meta_any{'h'}, any);
  99. }
  100. TEST_F(MetaAny, NoSBO) {
  101. const fat instance{.1, .2, .3, .4};
  102. entt::meta_any any{instance};
  103. ASSERT_TRUE(any);
  104. ASSERT_EQ(any.policy(), entt::meta_any_policy::owner);
  105. ASSERT_FALSE(any.try_cast<std::size_t>());
  106. ASSERT_EQ(any.cast<fat>(), instance);
  107. ASSERT_NE(any.data(), nullptr);
  108. ASSERT_EQ(any, entt::meta_any{instance});
  109. ASSERT_NE(any, fat{});
  110. }
  111. TEST_F(MetaAny, Empty) {
  112. entt::meta_any any{};
  113. ASSERT_FALSE(any);
  114. ASSERT_FALSE(any.type());
  115. ASSERT_FALSE(any.try_cast<std::size_t>());
  116. ASSERT_EQ(any.data(), nullptr);
  117. ASSERT_EQ(any, entt::meta_any{});
  118. ASSERT_NE(entt::meta_any{'c'}, any);
  119. ASSERT_FALSE(any.as_ref());
  120. ASSERT_FALSE(any.as_sequence_container());
  121. ASSERT_FALSE(any.as_associative_container());
  122. ASSERT_FALSE(std::as_const(any).as_ref());
  123. ASSERT_FALSE(std::as_const(any).as_sequence_container());
  124. ASSERT_FALSE(std::as_const(any).as_associative_container());
  125. }
  126. TEST_F(MetaAny, SBOInPlaceTypeConstruction) {
  127. entt::meta_any any{std::in_place_type<int>, 3};
  128. ASSERT_TRUE(any);
  129. ASSERT_FALSE(any.try_cast<std::size_t>());
  130. ASSERT_EQ(any.cast<int>(), 3);
  131. ASSERT_NE(any.data(), nullptr);
  132. ASSERT_EQ(any, (entt::meta_any{std::in_place_type<int>, 3}));
  133. ASSERT_EQ(any, entt::meta_any{3});
  134. ASSERT_NE(entt::meta_any{1}, any);
  135. }
  136. TEST_F(MetaAny, SBOAsRefConstruction) {
  137. int value = 1;
  138. int compare = 3;
  139. auto any = entt::forward_as_meta(value);
  140. ASSERT_TRUE(any);
  141. ASSERT_EQ(any.policy(), entt::meta_any_policy::ref);
  142. ASSERT_EQ(any.type(), entt::resolve<int>());
  143. ASSERT_FALSE(any.try_cast<std::size_t>());
  144. ASSERT_EQ(any.cast<int &>(), 1);
  145. ASSERT_EQ(any.cast<const int &>(), 1);
  146. ASSERT_EQ(any.cast<int>(), 1);
  147. ASSERT_EQ(any.data(), &value);
  148. ASSERT_EQ(std::as_const(any).data(), &value);
  149. ASSERT_EQ(any, entt::forward_as_meta(value));
  150. ASSERT_NE(any, entt::forward_as_meta(compare));
  151. ASSERT_NE(any, entt::meta_any{3});
  152. ASSERT_EQ(entt::meta_any{1}, any);
  153. any = entt::forward_as_meta(value);
  154. ASSERT_TRUE(any);
  155. ASSERT_EQ(any.type(), entt::resolve<int>());
  156. ASSERT_EQ(std::as_const(any).data(), &value);
  157. auto other = any.as_ref();
  158. ASSERT_TRUE(other);
  159. ASSERT_EQ(any.type(), entt::resolve<int>());
  160. ASSERT_EQ(any.cast<int>(), 1);
  161. ASSERT_EQ(other.data(), any.data());
  162. }
  163. TEST_F(MetaAny, SBOAsConstRefConstruction) {
  164. const int value = 1;
  165. int compare = 3;
  166. auto any = entt::forward_as_meta(value);
  167. ASSERT_TRUE(any);
  168. ASSERT_EQ(any.policy(), entt::meta_any_policy::cref);
  169. ASSERT_EQ(any.type(), entt::resolve<int>());
  170. ASSERT_FALSE(any.try_cast<std::size_t>());
  171. ASSERT_EQ(any.cast<const int &>(), 1);
  172. ASSERT_EQ(any.cast<int>(), 1);
  173. ASSERT_EQ(any.data(), nullptr);
  174. ASSERT_EQ(std::as_const(any).data(), &value);
  175. ASSERT_EQ(any, entt::forward_as_meta(value));
  176. ASSERT_NE(any, entt::forward_as_meta(compare));
  177. ASSERT_NE(any, entt::meta_any{3});
  178. ASSERT_EQ(entt::meta_any{1}, any);
  179. any = entt::forward_as_meta(std::as_const(value));
  180. ASSERT_TRUE(any);
  181. ASSERT_EQ(any.type(), entt::resolve<int>());
  182. ASSERT_EQ(std::as_const(any).data(), &value);
  183. auto other = any.as_ref();
  184. ASSERT_TRUE(other);
  185. ASSERT_EQ(any.type(), entt::resolve<int>());
  186. ASSERT_EQ(any.cast<int>(), 1);
  187. ASSERT_EQ(other.data(), any.data());
  188. }
  189. ENTT_DEBUG_TEST_F(MetaAnyDeathTest, SBOAsConstRefConstruction) {
  190. const int value = 1;
  191. auto any = entt::forward_as_meta(value);
  192. ASSERT_TRUE(any);
  193. ASSERT_DEATH([[maybe_unused]] auto &elem = any.cast<int &>(), "");
  194. }
  195. TEST_F(MetaAny, SBOCopyConstruction) {
  196. const entt::meta_any any{3};
  197. entt::meta_any other{any};
  198. ASSERT_TRUE(any);
  199. ASSERT_TRUE(other);
  200. ASSERT_FALSE(other.try_cast<std::size_t>());
  201. ASSERT_EQ(other.cast<int>(), 3);
  202. ASSERT_EQ(other, entt::meta_any{3});
  203. ASSERT_NE(other, entt::meta_any{0});
  204. }
  205. TEST_F(MetaAny, SBOCopyAssignment) {
  206. const entt::meta_any any{3};
  207. entt::meta_any other{1};
  208. other = any;
  209. ASSERT_TRUE(any);
  210. ASSERT_TRUE(other);
  211. ASSERT_FALSE(other.try_cast<std::size_t>());
  212. ASSERT_EQ(other.cast<int>(), 3);
  213. ASSERT_EQ(other, entt::meta_any{3});
  214. ASSERT_NE(other, entt::meta_any{0});
  215. }
  216. TEST_F(MetaAny, SBOMoveConstruction) {
  217. entt::meta_any any{3};
  218. entt::meta_any other{std::move(any)};
  219. test::is_initialized(any);
  220. ASSERT_FALSE(any);
  221. ASSERT_TRUE(other);
  222. ASSERT_FALSE(other.try_cast<std::size_t>());
  223. ASSERT_EQ(other.cast<int>(), 3);
  224. ASSERT_EQ(other, entt::meta_any{3});
  225. ASSERT_NE(other, entt::meta_any{0});
  226. }
  227. TEST_F(MetaAny, SBOMoveAssignment) {
  228. entt::meta_any any{3};
  229. entt::meta_any other{1};
  230. other = std::move(any);
  231. test::is_initialized(any);
  232. ASSERT_FALSE(any);
  233. ASSERT_TRUE(other);
  234. ASSERT_FALSE(other.try_cast<std::size_t>());
  235. ASSERT_EQ(other.cast<int>(), 3);
  236. ASSERT_EQ(other, entt::meta_any{3});
  237. ASSERT_NE(other, entt::meta_any{0});
  238. }
  239. TEST_F(MetaAny, SBODirectAssignment) {
  240. entt::meta_any any{};
  241. any = 3;
  242. ASSERT_FALSE(any.try_cast<std::size_t>());
  243. ASSERT_EQ(any.cast<int>(), 3);
  244. ASSERT_EQ(any, entt::meta_any{3});
  245. ASSERT_NE(entt::meta_any{0}, any);
  246. }
  247. TEST_F(MetaAny, SBOAssignValue) {
  248. entt::meta_any any{3};
  249. const entt::meta_any other{1};
  250. const entt::meta_any invalid{empty{}};
  251. ASSERT_TRUE(any);
  252. ASSERT_EQ(any.cast<int>(), 3);
  253. ASSERT_TRUE(any.assign(other));
  254. ASSERT_FALSE(any.assign(invalid));
  255. ASSERT_EQ(any.cast<int>(), 1);
  256. }
  257. TEST_F(MetaAny, SBOConvertAssignValue) {
  258. entt::meta_any any{3};
  259. const entt::meta_any other{1.5};
  260. const entt::meta_any invalid{empty{}};
  261. ASSERT_TRUE(any);
  262. ASSERT_EQ(any.cast<int>(), 3);
  263. ASSERT_TRUE(any.assign(other));
  264. ASSERT_FALSE(any.assign(invalid));
  265. ASSERT_EQ(any.cast<int>(), 1);
  266. }
  267. TEST_F(MetaAny, SBOAsRefAssignValue) {
  268. int value = 3;
  269. entt::meta_any any{entt::forward_as_meta(value)};
  270. const entt::meta_any other{1};
  271. const entt::meta_any invalid{empty{}};
  272. ASSERT_TRUE(any);
  273. ASSERT_EQ(any.cast<int>(), 3);
  274. ASSERT_TRUE(any.assign(other));
  275. ASSERT_FALSE(any.assign(invalid));
  276. ASSERT_EQ(any.cast<int>(), 1);
  277. ASSERT_EQ(value, 1);
  278. }
  279. TEST_F(MetaAny, SBOAsConstRefAssignValue) {
  280. const int value = 3;
  281. entt::meta_any any{entt::forward_as_meta(value)};
  282. const entt::meta_any other{1};
  283. const entt::meta_any invalid{empty{}};
  284. ASSERT_TRUE(any);
  285. ASSERT_EQ(any.cast<int>(), 3);
  286. ASSERT_FALSE(any.assign(other));
  287. ASSERT_FALSE(any.assign(invalid));
  288. ASSERT_EQ(any.cast<int>(), 3);
  289. ASSERT_EQ(value, 3);
  290. }
  291. TEST_F(MetaAny, SBOTransferValue) {
  292. entt::meta_any any{3};
  293. ASSERT_TRUE(any);
  294. ASSERT_EQ(any.cast<int>(), 3);
  295. ASSERT_TRUE(any.assign(1));
  296. ASSERT_FALSE(any.assign(empty{}));
  297. ASSERT_EQ(any.cast<int>(), 1);
  298. }
  299. TEST_F(MetaAny, SBOTransferConstValue) {
  300. const int value = 1;
  301. entt::meta_any any{3};
  302. ASSERT_TRUE(any);
  303. ASSERT_EQ(any.cast<int>(), 3);
  304. ASSERT_TRUE(any.assign(entt::forward_as_meta(value)));
  305. ASSERT_EQ(any.cast<int>(), 1);
  306. }
  307. TEST_F(MetaAny, SBOConvertTransferValue) {
  308. entt::meta_any any{3};
  309. ASSERT_TRUE(any);
  310. ASSERT_EQ(any.cast<int>(), 3);
  311. ASSERT_TRUE(any.assign(1.5));
  312. ASSERT_FALSE(any.assign(empty{}));
  313. ASSERT_EQ(any.cast<int>(), 1);
  314. }
  315. TEST_F(MetaAny, SBOAsRefTransferValue) {
  316. int value = 3;
  317. entt::meta_any any{entt::forward_as_meta(value)};
  318. ASSERT_TRUE(any);
  319. ASSERT_EQ(any.cast<int>(), 3);
  320. ASSERT_TRUE(any.assign(1));
  321. ASSERT_FALSE(any.assign(empty{}));
  322. ASSERT_EQ(any.cast<int>(), 1);
  323. ASSERT_EQ(value, 1);
  324. }
  325. TEST_F(MetaAny, SBOAsConstRefTransferValue) {
  326. const int value = 3;
  327. entt::meta_any any{entt::forward_as_meta(value)};
  328. ASSERT_TRUE(any);
  329. ASSERT_EQ(any.cast<int>(), 3);
  330. ASSERT_FALSE(any.assign(1));
  331. ASSERT_FALSE(any.assign(empty{}));
  332. ASSERT_EQ(any.cast<int>(), 3);
  333. ASSERT_EQ(value, 3);
  334. }
  335. TEST_F(MetaAny, NoSBOInPlaceTypeConstruction) {
  336. const fat instance{.1, .2, .3, .4};
  337. entt::meta_any any{std::in_place_type<fat>, instance};
  338. ASSERT_TRUE(any);
  339. ASSERT_FALSE(any.try_cast<std::size_t>());
  340. ASSERT_EQ(any.cast<fat>(), instance);
  341. ASSERT_NE(any.data(), nullptr);
  342. ASSERT_EQ(any, (entt::meta_any{std::in_place_type<fat>, instance}));
  343. ASSERT_EQ(any, entt::meta_any{instance});
  344. ASSERT_NE(entt::meta_any{fat{}}, any);
  345. }
  346. TEST_F(MetaAny, NoSBOAsRefConstruction) {
  347. fat instance{.1, .2, .3, .4};
  348. auto any = entt::forward_as_meta(instance);
  349. ASSERT_TRUE(any);
  350. ASSERT_EQ(any.policy(), entt::meta_any_policy::ref);
  351. ASSERT_EQ(any.type(), entt::resolve<fat>());
  352. ASSERT_FALSE(any.try_cast<std::size_t>());
  353. ASSERT_EQ(any.cast<fat &>(), instance);
  354. ASSERT_EQ(any.cast<const fat &>(), instance);
  355. ASSERT_EQ(any.cast<fat>(), instance);
  356. ASSERT_EQ(any.data(), &instance);
  357. ASSERT_EQ(std::as_const(any).data(), &instance);
  358. ASSERT_EQ(any, entt::forward_as_meta(instance));
  359. ASSERT_EQ(any, entt::meta_any{instance});
  360. ASSERT_NE(entt::meta_any{fat{}}, any);
  361. any = entt::forward_as_meta(instance);
  362. ASSERT_TRUE(any);
  363. ASSERT_EQ(any.type(), entt::resolve<fat>());
  364. ASSERT_EQ(std::as_const(any).data(), &instance);
  365. auto other = any.as_ref();
  366. ASSERT_TRUE(other);
  367. ASSERT_EQ(any.type(), entt::resolve<fat>());
  368. ASSERT_EQ(any, entt::meta_any{instance});
  369. ASSERT_EQ(other.data(), any.data());
  370. }
  371. TEST_F(MetaAny, NoSBOAsConstRefConstruction) {
  372. const fat instance{.1, .2, .3, .4};
  373. auto any = entt::forward_as_meta(instance);
  374. ASSERT_TRUE(any);
  375. ASSERT_EQ(any.policy(), entt::meta_any_policy::cref);
  376. ASSERT_EQ(any.type(), entt::resolve<fat>());
  377. ASSERT_FALSE(any.try_cast<std::size_t>());
  378. ASSERT_EQ(any.cast<const fat &>(), instance);
  379. ASSERT_EQ(any.cast<fat>(), instance);
  380. ASSERT_EQ(any.data(), nullptr);
  381. ASSERT_EQ(std::as_const(any).data(), &instance);
  382. ASSERT_EQ(any, entt::forward_as_meta(instance));
  383. ASSERT_EQ(any, entt::meta_any{instance});
  384. ASSERT_NE(entt::meta_any{fat{}}, any);
  385. any = entt::forward_as_meta(std::as_const(instance));
  386. ASSERT_TRUE(any);
  387. ASSERT_EQ(any.type(), entt::resolve<fat>());
  388. ASSERT_EQ(std::as_const(any).data(), &instance);
  389. auto other = any.as_ref();
  390. ASSERT_TRUE(other);
  391. ASSERT_EQ(any.type(), entt::resolve<fat>());
  392. ASSERT_EQ(any, entt::meta_any{instance});
  393. ASSERT_EQ(other.data(), any.data());
  394. }
  395. ENTT_DEBUG_TEST_F(MetaAnyDeathTest, NoSBOAsConstRefConstruction) {
  396. const fat instance{.1, .2, .3, .4};
  397. auto any = entt::forward_as_meta(instance);
  398. ASSERT_TRUE(any);
  399. ASSERT_DEATH([[maybe_unused]] auto &elem = any.cast<fat &>(), "");
  400. }
  401. TEST_F(MetaAny, NoSBOCopyConstruction) {
  402. const fat instance{.1, .2, .3, .4};
  403. const entt::meta_any any{instance};
  404. entt::meta_any other{any};
  405. ASSERT_TRUE(any);
  406. ASSERT_TRUE(other);
  407. ASSERT_FALSE(other.try_cast<std::size_t>());
  408. ASSERT_EQ(other.cast<fat>(), instance);
  409. ASSERT_EQ(other, entt::meta_any{instance});
  410. ASSERT_NE(other, fat{});
  411. }
  412. TEST_F(MetaAny, NoSBOCopyAssignment) {
  413. const fat instance{.1, .2, .3, .4};
  414. const entt::meta_any any{instance};
  415. entt::meta_any other{3};
  416. other = any;
  417. ASSERT_TRUE(any);
  418. ASSERT_TRUE(other);
  419. ASSERT_FALSE(other.try_cast<std::size_t>());
  420. ASSERT_EQ(other.cast<fat>(), instance);
  421. ASSERT_EQ(other, entt::meta_any{instance});
  422. ASSERT_NE(other, fat{});
  423. }
  424. TEST_F(MetaAny, NoSBOMoveConstruction) {
  425. const fat instance{.1, .2, .3, .4};
  426. entt::meta_any any{instance};
  427. entt::meta_any other{std::move(any)};
  428. test::is_initialized(any);
  429. ASSERT_FALSE(any);
  430. ASSERT_TRUE(other);
  431. ASSERT_FALSE(other.try_cast<std::size_t>());
  432. ASSERT_EQ(other.cast<fat>(), instance);
  433. ASSERT_EQ(other, entt::meta_any{instance});
  434. ASSERT_NE(other, fat{});
  435. }
  436. TEST_F(MetaAny, NoSBOMoveAssignment) {
  437. const fat instance{.1, .2, .3, .4};
  438. entt::meta_any any{instance};
  439. entt::meta_any other{3};
  440. other = std::move(any);
  441. test::is_initialized(any);
  442. ASSERT_FALSE(any);
  443. ASSERT_TRUE(other);
  444. ASSERT_FALSE(other.try_cast<std::size_t>());
  445. ASSERT_EQ(other.cast<fat>(), instance);
  446. ASSERT_EQ(other, entt::meta_any{instance});
  447. ASSERT_NE(other, fat{});
  448. }
  449. TEST_F(MetaAny, NoSBODirectAssignment) {
  450. const fat instance{.1, .2, .3, .4};
  451. entt::meta_any any{};
  452. any = instance;
  453. ASSERT_FALSE(any.try_cast<std::size_t>());
  454. ASSERT_EQ(any.cast<fat>(), instance);
  455. ASSERT_EQ(any, (entt::meta_any{fat{.1, .2, .3, .4}}));
  456. ASSERT_NE(any, fat{});
  457. }
  458. TEST_F(MetaAny, NoSBOAssignValue) {
  459. entt::meta_any any{fat{.1, .2, .3, .4}};
  460. const entt::meta_any other{fat{.0, .1, .2, .3}};
  461. const entt::meta_any invalid{'c'};
  462. const void *addr = std::as_const(any).data();
  463. ASSERT_TRUE(any);
  464. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  465. ASSERT_TRUE(any.assign(other));
  466. ASSERT_FALSE(any.assign(invalid));
  467. ASSERT_EQ(any.cast<const fat &>(), (fat{.0, .1, .2, .3}));
  468. ASSERT_EQ(addr, std::as_const(any).data());
  469. }
  470. TEST_F(MetaAny, NoSBOConvertAssignValue) {
  471. entt::meta_any any{empty{}};
  472. const entt::meta_any other{fat{.0, .1, .2, .3}};
  473. const entt::meta_any invalid{'c'};
  474. const void *addr = std::as_const(any).data();
  475. ASSERT_TRUE(any);
  476. ASSERT_TRUE(any.assign(other));
  477. ASSERT_FALSE(any.assign(invalid));
  478. ASSERT_EQ(addr, std::as_const(any).data());
  479. }
  480. TEST_F(MetaAny, NoSBOAsRefAssignValue) {
  481. fat instance{.1, .2, .3, .4};
  482. entt::meta_any any{entt::forward_as_meta(instance)};
  483. const entt::meta_any other{fat{.0, .1, .2, .3}};
  484. const entt::meta_any invalid{'c'};
  485. ASSERT_TRUE(any);
  486. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  487. ASSERT_TRUE(any.assign(other));
  488. ASSERT_FALSE(any.assign(invalid));
  489. ASSERT_EQ(any.cast<const fat &>(), (fat{.0, .1, .2, .3}));
  490. ASSERT_EQ(instance, (fat{.0, .1, .2, .3}));
  491. }
  492. TEST_F(MetaAny, NoSBOAsConstRefAssignValue) {
  493. const fat instance{.1, .2, .3, .4};
  494. entt::meta_any any{entt::forward_as_meta(instance)};
  495. const entt::meta_any other{fat{.0, .1, .2, .3}};
  496. const entt::meta_any invalid{'c'};
  497. ASSERT_TRUE(any);
  498. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  499. ASSERT_FALSE(any.assign(other));
  500. ASSERT_FALSE(any.assign(invalid));
  501. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  502. ASSERT_EQ(instance, (fat{.1, .2, .3, .4}));
  503. }
  504. TEST_F(MetaAny, NoSBOTransferValue) {
  505. entt::meta_any any{fat{.1, .2, .3, .4}};
  506. const void *addr = std::as_const(any).data();
  507. ASSERT_TRUE(any);
  508. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  509. ASSERT_TRUE(any.assign(fat{.0, .1, .2, .3}));
  510. ASSERT_FALSE(any.assign('c'));
  511. ASSERT_EQ(any.cast<const fat &>(), (fat{.0, .1, .2, .3}));
  512. ASSERT_EQ(addr, std::as_const(any).data());
  513. }
  514. TEST_F(MetaAny, NoSBOTransferConstValue) {
  515. const fat instance{.0, .1, .2, .3};
  516. entt::meta_any any{fat{.1, .2, .3, .4}};
  517. const void *addr = std::as_const(any).data();
  518. ASSERT_TRUE(any);
  519. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  520. ASSERT_TRUE(any.assign(entt::forward_as_meta(instance)));
  521. ASSERT_EQ(any.cast<const fat &>(), (fat{.0, .1, .2, .3}));
  522. ASSERT_EQ(addr, std::as_const(any).data());
  523. }
  524. TEST_F(MetaAny, NoSBOConvertTransferValue) {
  525. entt::meta_any any{empty{}};
  526. const void *addr = std::as_const(any).data();
  527. ASSERT_TRUE(any);
  528. ASSERT_TRUE(any.assign(fat{.0, .1, .2, .3}));
  529. ASSERT_FALSE(any.assign('c'));
  530. ASSERT_EQ(addr, std::as_const(any).data());
  531. }
  532. TEST_F(MetaAny, NoSBOAsRefTransferValue) {
  533. fat instance{.1, .2, .3, .4};
  534. entt::meta_any any{entt::forward_as_meta(instance)};
  535. const void *addr = std::as_const(any).data();
  536. ASSERT_TRUE(any);
  537. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  538. ASSERT_TRUE(any.assign(fat{.0, .1, .2, .3}));
  539. ASSERT_FALSE(any.assign('c'));
  540. ASSERT_EQ(any.cast<const fat &>(), (fat{.0, .1, .2, .3}));
  541. ASSERT_EQ(instance, (fat{.0, .1, .2, .3}));
  542. ASSERT_EQ(addr, std::as_const(any).data());
  543. }
  544. TEST_F(MetaAny, NoSBOAsConstRefTransferValue) {
  545. const fat instance{.1, .2, .3, .4};
  546. entt::meta_any any{entt::forward_as_meta(instance)};
  547. const void *addr = std::as_const(any).data();
  548. ASSERT_TRUE(any);
  549. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  550. ASSERT_FALSE(any.assign(fat{.0, .1, .2, .3}));
  551. ASSERT_FALSE(any.assign('c'));
  552. ASSERT_EQ(any.cast<const fat &>(), (fat{.1, .2, .3, .4}));
  553. ASSERT_EQ(instance, (fat{.1, .2, .3, .4}));
  554. ASSERT_EQ(addr, std::as_const(any).data());
  555. }
  556. TEST_F(MetaAny, VoidInPlaceTypeConstruction) {
  557. entt::meta_any any{std::in_place_type<void>};
  558. ASSERT_TRUE(any);
  559. ASSERT_EQ(any.policy(), entt::meta_any_policy::owner);
  560. ASSERT_FALSE(any.try_cast<char>());
  561. ASSERT_EQ(any.data(), nullptr);
  562. ASSERT_EQ(any.type(), entt::resolve<void>());
  563. ASSERT_EQ(any, entt::meta_any{std::in_place_type<void>});
  564. ASSERT_NE(entt::meta_any{3}, any);
  565. }
  566. TEST_F(MetaAny, VoidCopyConstruction) {
  567. const entt::meta_any any{std::in_place_type<void>};
  568. entt::meta_any other{any};
  569. ASSERT_TRUE(any);
  570. ASSERT_TRUE(other);
  571. ASSERT_FALSE(other.try_cast<std::size_t>());
  572. ASSERT_EQ(any.type(), entt::resolve<void>());
  573. ASSERT_EQ(other, entt::meta_any{std::in_place_type<void>});
  574. }
  575. TEST_F(MetaAny, VoidCopyAssignment) {
  576. const entt::meta_any any{std::in_place_type<void>};
  577. entt::meta_any other{std::in_place_type<void>};
  578. other = any;
  579. ASSERT_TRUE(any);
  580. ASSERT_TRUE(other);
  581. ASSERT_FALSE(other.try_cast<std::size_t>());
  582. ASSERT_EQ(any.type(), entt::resolve<void>());
  583. ASSERT_EQ(other, entt::meta_any{std::in_place_type<void>});
  584. }
  585. TEST_F(MetaAny, VoidMoveConstruction) {
  586. entt::meta_any any{std::in_place_type<void>};
  587. const entt::meta_any other{std::move(any)};
  588. test::is_initialized(any);
  589. ASSERT_FALSE(any);
  590. ASSERT_TRUE(other);
  591. ASSERT_EQ(other.type(), entt::resolve<void>());
  592. ASSERT_EQ(other, entt::meta_any{std::in_place_type<void>});
  593. }
  594. TEST_F(MetaAny, VoidMoveAssignment) {
  595. entt::meta_any any{std::in_place_type<void>};
  596. entt::meta_any other{std::in_place_type<void>};
  597. other = std::move(any);
  598. test::is_initialized(any);
  599. ASSERT_FALSE(any);
  600. ASSERT_TRUE(other);
  601. ASSERT_EQ(other.type(), entt::resolve<void>());
  602. ASSERT_EQ(other, entt::meta_any{std::in_place_type<void>});
  603. }
  604. TEST_F(MetaAny, SBOMoveInvalidate) {
  605. entt::meta_any any{3};
  606. entt::meta_any other{std::move(any)};
  607. const entt::meta_any valid = std::move(other);
  608. test::is_initialized(any);
  609. test::is_initialized(other);
  610. ASSERT_FALSE(any);
  611. ASSERT_FALSE(other);
  612. ASSERT_TRUE(valid);
  613. }
  614. TEST_F(MetaAny, NoSBOMoveInvalidate) {
  615. const fat instance{.1, .2, .3, .4};
  616. entt::meta_any any{instance};
  617. entt::meta_any other{std::move(any)};
  618. const entt::meta_any valid = std::move(other);
  619. test::is_initialized(any);
  620. test::is_initialized(other);
  621. ASSERT_FALSE(any);
  622. ASSERT_FALSE(other);
  623. ASSERT_TRUE(valid);
  624. }
  625. TEST_F(MetaAny, VoidMoveInvalidate) {
  626. entt::meta_any any{std::in_place_type<void>};
  627. entt::meta_any other{std::move(any)};
  628. const entt::meta_any valid = std::move(other);
  629. test::is_initialized(any);
  630. test::is_initialized(other);
  631. ASSERT_FALSE(any);
  632. ASSERT_FALSE(other);
  633. ASSERT_TRUE(valid);
  634. }
  635. TEST_F(MetaAny, SBODestruction) {
  636. {
  637. entt::meta_any any{std::in_place_type<empty>};
  638. any.emplace<empty>();
  639. any = empty{};
  640. entt::meta_any other{std::move(any)};
  641. any = std::move(other);
  642. }
  643. ASSERT_EQ(empty::destroy_counter, 3);
  644. ASSERT_EQ(empty::destructor_counter, 6);
  645. }
  646. TEST_F(MetaAny, NoSBODestruction) {
  647. {
  648. entt::meta_any any{std::in_place_type<fat>, 1., 2., 3., 4.};
  649. any.emplace<fat>(1., 2., 3., 4.);
  650. any = fat{1., 2., 3., 4.};
  651. entt::meta_any other{std::move(any)};
  652. any = std::move(other);
  653. }
  654. ASSERT_EQ(fat::destroy_counter, 3);
  655. ASSERT_EQ(empty::destructor_counter, 4);
  656. }
  657. TEST_F(MetaAny, VoidDestruction) {
  658. // just let asan tell us if everything is ok here
  659. [[maybe_unused]] const entt::meta_any any{std::in_place_type<void>};
  660. }
  661. TEST_F(MetaAny, Emplace) {
  662. entt::meta_any any{};
  663. any.emplace<int>(3);
  664. ASSERT_TRUE(any);
  665. ASSERT_FALSE(any.try_cast<std::size_t>());
  666. ASSERT_EQ(any.cast<int>(), 3);
  667. ASSERT_NE(any.data(), nullptr);
  668. ASSERT_EQ(any, (entt::meta_any{std::in_place_type<int>, 3}));
  669. ASSERT_EQ(any, entt::meta_any{3});
  670. ASSERT_NE(entt::meta_any{1}, any);
  671. }
  672. TEST_F(MetaAny, EmplaceVoid) {
  673. entt::meta_any any{};
  674. any.emplace<void>();
  675. ASSERT_TRUE(any);
  676. ASSERT_EQ(any.data(), nullptr);
  677. ASSERT_EQ(any.type(), entt::resolve<void>());
  678. ASSERT_EQ(any, (entt::meta_any{std::in_place_type<void>}));
  679. }
  680. TEST_F(MetaAny, Reset) {
  681. entt::meta_any any{3};
  682. ASSERT_TRUE(any);
  683. ASSERT_EQ(any.type(), entt::resolve<int>());
  684. any.reset();
  685. ASSERT_FALSE(any);
  686. ASSERT_EQ(any.type(), entt::meta_type{});
  687. }
  688. TEST_F(MetaAny, SBOSwap) {
  689. entt::meta_any lhs{'c'};
  690. entt::meta_any rhs{3};
  691. std::swap(lhs, rhs);
  692. ASSERT_FALSE(lhs.try_cast<char>());
  693. ASSERT_EQ(lhs.cast<int>(), 3);
  694. ASSERT_FALSE(rhs.try_cast<int>());
  695. ASSERT_EQ(rhs.cast<char>(), 'c');
  696. }
  697. TEST_F(MetaAny, NoSBOSwap) {
  698. entt::meta_any lhs{fat{.1, .2, .3, .4}};
  699. entt::meta_any rhs{fat{.4, .3, .2, .1}};
  700. std::swap(lhs, rhs);
  701. ASSERT_EQ(lhs.cast<fat>(), (fat{.4, .3, .2, .1}));
  702. ASSERT_EQ(rhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  703. }
  704. TEST_F(MetaAny, VoidSwap) {
  705. entt::meta_any lhs{std::in_place_type<void>};
  706. entt::meta_any rhs{std::in_place_type<void>};
  707. const auto *pre = lhs.data();
  708. std::swap(lhs, rhs);
  709. ASSERT_EQ(pre, lhs.data());
  710. }
  711. TEST_F(MetaAny, SBOWithNoSBOSwap) {
  712. entt::meta_any lhs{fat{.1, .2, .3, .4}};
  713. entt::meta_any rhs{'c'};
  714. std::swap(lhs, rhs);
  715. ASSERT_FALSE(lhs.try_cast<fat>());
  716. ASSERT_EQ(lhs.cast<char>(), 'c');
  717. ASSERT_FALSE(rhs.try_cast<char>());
  718. ASSERT_EQ(rhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  719. }
  720. TEST_F(MetaAny, SBOWithEmptySwap) {
  721. entt::meta_any lhs{'c'};
  722. entt::meta_any rhs{};
  723. std::swap(lhs, rhs);
  724. ASSERT_FALSE(lhs);
  725. ASSERT_EQ(rhs.cast<char>(), 'c');
  726. std::swap(lhs, rhs);
  727. ASSERT_FALSE(rhs);
  728. ASSERT_EQ(lhs.cast<char>(), 'c');
  729. }
  730. TEST_F(MetaAny, SBOWithVoidSwap) {
  731. entt::meta_any lhs{'c'};
  732. entt::meta_any rhs{std::in_place_type<void>};
  733. std::swap(lhs, rhs);
  734. ASSERT_EQ(lhs.type(), entt::resolve<void>());
  735. ASSERT_EQ(rhs.cast<char>(), 'c');
  736. }
  737. TEST_F(MetaAny, NoSBOWithEmptySwap) {
  738. entt::meta_any lhs{fat{.1, .2, .3, .4}};
  739. entt::meta_any rhs{};
  740. std::swap(lhs, rhs);
  741. ASSERT_FALSE(lhs);
  742. ASSERT_EQ(rhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  743. std::swap(lhs, rhs);
  744. ASSERT_FALSE(rhs);
  745. ASSERT_EQ(lhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  746. }
  747. TEST_F(MetaAny, NoSBOWithVoidSwap) {
  748. entt::meta_any lhs{fat{.1, .2, .3, .4}};
  749. entt::meta_any rhs{std::in_place_type<void>};
  750. std::swap(lhs, rhs);
  751. ASSERT_EQ(lhs.type(), entt::resolve<void>());
  752. ASSERT_EQ(rhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  753. std::swap(lhs, rhs);
  754. ASSERT_EQ(rhs.type(), entt::resolve<void>());
  755. ASSERT_EQ(lhs.cast<fat>(), (fat{.1, .2, .3, .4}));
  756. }
  757. TEST_F(MetaAny, AsRef) {
  758. entt::meta_any any{3};
  759. auto ref = any.as_ref();
  760. auto cref = std::as_const(any).as_ref();
  761. ASSERT_EQ(any.try_cast<int>(), any.data());
  762. ASSERT_EQ(ref.try_cast<int>(), any.data());
  763. ASSERT_EQ(cref.try_cast<int>(), nullptr);
  764. ASSERT_EQ(any.try_cast<const int>(), any.data());
  765. ASSERT_EQ(ref.try_cast<const int>(), any.data());
  766. ASSERT_EQ(cref.try_cast<const int>(), any.data());
  767. ASSERT_EQ(any.cast<int>(), 3);
  768. ASSERT_EQ(ref.cast<int>(), 3);
  769. ASSERT_EQ(cref.cast<int>(), 3);
  770. ASSERT_EQ(any.cast<const int>(), 3);
  771. ASSERT_EQ(ref.cast<const int>(), 3);
  772. ASSERT_EQ(cref.cast<const int>(), 3);
  773. ASSERT_EQ(any.cast<int &>(), 3);
  774. ASSERT_EQ(any.cast<const int &>(), 3);
  775. ASSERT_EQ(ref.cast<int &>(), 3);
  776. ASSERT_EQ(ref.cast<const int &>(), 3);
  777. ASSERT_EQ(cref.cast<const int &>(), 3);
  778. any.cast<int &>() = 1;
  779. ASSERT_EQ(any.cast<int>(), 1);
  780. ASSERT_EQ(ref.cast<int>(), 1);
  781. ASSERT_EQ(cref.cast<int>(), 1);
  782. std::swap(ref, cref);
  783. ASSERT_EQ(ref.try_cast<int>(), nullptr);
  784. ASSERT_EQ(cref.try_cast<int>(), any.data());
  785. ref = ref.as_ref();
  786. cref = std::as_const(cref).as_ref();
  787. ASSERT_EQ(ref.try_cast<int>(), nullptr);
  788. ASSERT_EQ(cref.try_cast<int>(), nullptr);
  789. ASSERT_EQ(ref.try_cast<const int>(), any.data());
  790. ASSERT_EQ(cref.try_cast<const int>(), any.data());
  791. ASSERT_EQ(ref.cast<const int &>(), 1);
  792. ASSERT_EQ(cref.cast<const int &>(), 1);
  793. ref = 3;
  794. cref = 3;
  795. ASSERT_NE(ref.try_cast<int>(), nullptr);
  796. ASSERT_NE(cref.try_cast<int>(), nullptr);
  797. ASSERT_EQ(ref.cast<int &>(), 3);
  798. ASSERT_EQ(cref.cast<int &>(), 3);
  799. ASSERT_EQ(ref.cast<const int &>(), 3);
  800. ASSERT_EQ(cref.cast<const int &>(), 3);
  801. ASSERT_NE(ref.try_cast<int>(), any.data());
  802. ASSERT_NE(cref.try_cast<int>(), any.data());
  803. any.emplace<void>();
  804. ref = any.as_ref();
  805. cref = std::as_const(any).as_ref();
  806. ASSERT_TRUE(any);
  807. ASSERT_FALSE(ref);
  808. ASSERT_FALSE(cref);
  809. }
  810. ENTT_DEBUG_TEST_F(MetaAnyDeathTest, AsRef) {
  811. entt::meta_any any{3};
  812. auto cref = std::as_const(any).as_ref();
  813. ASSERT_TRUE(any);
  814. ASSERT_DEATH([[maybe_unused]] auto &elem = cref.cast<int &>(), "");
  815. }
  816. TEST_F(MetaAny, Comparable) {
  817. const entt::meta_any any{'c'};
  818. ASSERT_EQ(any, any);
  819. ASSERT_EQ(any, entt::meta_any{'c'});
  820. ASSERT_NE(entt::meta_any{'a'}, any);
  821. ASSERT_NE(any, entt::meta_any{});
  822. ASSERT_TRUE(any == any);
  823. ASSERT_TRUE(any == entt::meta_any{'c'});
  824. ASSERT_FALSE(entt::meta_any{'a'} == any);
  825. ASSERT_TRUE(any != entt::meta_any{'a'});
  826. ASSERT_TRUE(entt::meta_any{} != any);
  827. }
  828. TEST_F(MetaAny, NonComparable) {
  829. const entt::meta_any any{test::non_comparable{}};
  830. ASSERT_EQ(any, any);
  831. ASSERT_NE(any, entt::meta_any{test::non_comparable{}});
  832. ASSERT_NE(entt::meta_any{}, any);
  833. ASSERT_TRUE(any == any);
  834. ASSERT_FALSE(any == entt::meta_any{test::non_comparable{}});
  835. ASSERT_TRUE(entt::meta_any{} != any);
  836. }
  837. TEST_F(MetaAny, CompareVoid) {
  838. const entt::meta_any any{std::in_place_type<void>};
  839. ASSERT_EQ(any, any);
  840. ASSERT_EQ(any, entt::meta_any{std::in_place_type<void>});
  841. ASSERT_NE(entt::meta_any{'a'}, any);
  842. ASSERT_NE(any, entt::meta_any{});
  843. ASSERT_TRUE(any == any);
  844. ASSERT_TRUE(any == entt::meta_any{std::in_place_type<void>});
  845. ASSERT_FALSE(entt::meta_any{'a'} == any);
  846. ASSERT_TRUE(any != entt::meta_any{'a'});
  847. ASSERT_TRUE(entt::meta_any{} != any);
  848. }
  849. TEST_F(MetaAny, TryCast) {
  850. entt::meta_any any{fat{}};
  851. ASSERT_TRUE(any);
  852. ASSERT_EQ(any.type(), entt::resolve<fat>());
  853. ASSERT_EQ(any.try_cast<void>(), nullptr);
  854. ASSERT_NE(any.try_cast<empty>(), nullptr);
  855. ASSERT_EQ(any.try_cast<fat>(), any.data());
  856. ASSERT_EQ(std::as_const(any).try_cast<empty>(), any.try_cast<empty>());
  857. ASSERT_EQ(std::as_const(any).try_cast<fat>(), any.data());
  858. ASSERT_EQ(std::as_const(any).try_cast<int>(), nullptr);
  859. }
  860. TEST_F(MetaAny, Cast) {
  861. entt::meta_any any{fat{}};
  862. ASSERT_TRUE(any);
  863. ASSERT_EQ(any.type(), entt::resolve<fat>());
  864. ASSERT_EQ(std::as_const(any).cast<const fat &>(), fat{});
  865. ASSERT_EQ(any.cast<const fat>(), fat{});
  866. ASSERT_EQ(any.cast<fat &>(), fat{});
  867. ASSERT_EQ(any.cast<fat>(), fat{});
  868. ASSERT_EQ(any.cast<fat>().value[0u], 0.);
  869. any.cast<fat &>().value[0u] = 3.;
  870. ASSERT_EQ(any.cast<fat>().value[0u], 3.);
  871. }
  872. TEST_F(MetaAny, AllowCast) {
  873. entt::meta_any instance{clazz{}};
  874. entt::meta_any other{fat{}};
  875. entt::meta_any arithmetic{3};
  876. auto as_cref = entt::forward_as_meta(arithmetic.cast<const int &>());
  877. ASSERT_TRUE(instance);
  878. ASSERT_TRUE(other);
  879. ASSERT_TRUE(arithmetic);
  880. ASSERT_TRUE(as_cref);
  881. ASSERT_TRUE(instance.allow_cast<clazz>());
  882. ASSERT_TRUE(instance.allow_cast<clazz &>());
  883. ASSERT_TRUE(instance.allow_cast<const clazz &>());
  884. ASSERT_EQ(instance.type(), entt::resolve<clazz>());
  885. ASSERT_TRUE(instance.allow_cast<const int &>());
  886. ASSERT_EQ(instance.type(), entt::resolve<int>());
  887. ASSERT_TRUE(instance.allow_cast<int>());
  888. ASSERT_TRUE(instance.allow_cast<int &>());
  889. ASSERT_TRUE(instance.allow_cast<const int &>());
  890. ASSERT_TRUE(other.allow_cast<fat>());
  891. ASSERT_TRUE(other.allow_cast<fat &>());
  892. ASSERT_TRUE(other.allow_cast<const empty &>());
  893. ASSERT_EQ(other.type(), entt::resolve<fat>());
  894. ASSERT_FALSE(other.allow_cast<int>());
  895. ASSERT_TRUE(std::as_const(other).allow_cast<fat>());
  896. ASSERT_FALSE(std::as_const(other).allow_cast<fat &>());
  897. ASSERT_TRUE(std::as_const(other).allow_cast<const empty &>());
  898. ASSERT_EQ(other.type(), entt::resolve<fat>());
  899. ASSERT_FALSE(other.allow_cast<int>());
  900. ASSERT_TRUE(arithmetic.allow_cast<int>());
  901. ASSERT_TRUE(arithmetic.allow_cast<int &>());
  902. ASSERT_TRUE(arithmetic.allow_cast<const int &>());
  903. ASSERT_EQ(arithmetic.type(), entt::resolve<int>());
  904. ASSERT_FALSE(arithmetic.allow_cast<fat>());
  905. ASSERT_TRUE(arithmetic.allow_cast<double &>());
  906. ASSERT_EQ(arithmetic.type(), entt::resolve<double>());
  907. ASSERT_EQ(arithmetic.cast<double &>(), 3.);
  908. ASSERT_TRUE(arithmetic.allow_cast<const float &>());
  909. ASSERT_EQ(arithmetic.type(), entt::resolve<float>());
  910. ASSERT_EQ(arithmetic.cast<float &>(), 3.f);
  911. ASSERT_TRUE(as_cref.allow_cast<int>());
  912. ASSERT_FALSE(as_cref.allow_cast<int &>());
  913. ASSERT_TRUE(as_cref.allow_cast<const int &>());
  914. ASSERT_EQ(as_cref.type(), entt::resolve<int>());
  915. ASSERT_FALSE(as_cref.allow_cast<fat>());
  916. ASSERT_TRUE(as_cref.allow_cast<double &>());
  917. ASSERT_EQ(as_cref.type(), entt::resolve<double>());
  918. }
  919. TEST_F(MetaAny, OpaqueAllowCast) {
  920. entt::meta_any instance{clazz{}};
  921. entt::meta_any other{fat{}};
  922. entt::meta_any arithmetic{3};
  923. auto as_cref = entt::forward_as_meta(arithmetic.cast<const int &>());
  924. ASSERT_TRUE(instance);
  925. ASSERT_TRUE(other);
  926. ASSERT_TRUE(arithmetic);
  927. ASSERT_TRUE(as_cref);
  928. ASSERT_TRUE(instance.allow_cast(entt::resolve<clazz>()));
  929. ASSERT_EQ(instance.type(), entt::resolve<clazz>());
  930. ASSERT_TRUE(instance.allow_cast(entt::resolve<int>()));
  931. ASSERT_EQ(instance.type(), entt::resolve<int>());
  932. ASSERT_TRUE(instance.allow_cast(entt::resolve<int>()));
  933. ASSERT_TRUE(other.allow_cast(entt::resolve<fat>()));
  934. ASSERT_TRUE(other.allow_cast(entt::resolve<empty>()));
  935. ASSERT_EQ(other.type(), entt::resolve<fat>());
  936. ASSERT_FALSE(other.allow_cast(entt::resolve<int>()));
  937. ASSERT_TRUE(std::as_const(other).allow_cast(entt::resolve<fat>()));
  938. ASSERT_TRUE(std::as_const(other).allow_cast(entt::resolve<empty>()));
  939. ASSERT_EQ(other.type(), entt::resolve<fat>());
  940. ASSERT_FALSE(other.allow_cast(entt::resolve<int>()));
  941. ASSERT_TRUE(arithmetic.allow_cast(entt::resolve<int>()));
  942. ASSERT_EQ(arithmetic.type(), entt::resolve<int>());
  943. ASSERT_FALSE(arithmetic.allow_cast(entt::resolve<fat>()));
  944. ASSERT_TRUE(arithmetic.allow_cast(entt::resolve<double>()));
  945. ASSERT_EQ(arithmetic.type(), entt::resolve<double>());
  946. ASSERT_EQ(arithmetic.cast<double &>(), 3.);
  947. ASSERT_TRUE(arithmetic.allow_cast(entt::resolve<float>()));
  948. ASSERT_EQ(arithmetic.type(), entt::resolve<float>());
  949. ASSERT_EQ(arithmetic.cast<float &>(), 3.f);
  950. ASSERT_TRUE(as_cref.allow_cast(entt::resolve<int>()));
  951. ASSERT_EQ(as_cref.type(), entt::resolve<int>());
  952. ASSERT_FALSE(as_cref.allow_cast(entt::resolve<fat>()));
  953. ASSERT_TRUE(as_cref.allow_cast(entt::resolve<double>()));
  954. ASSERT_EQ(as_cref.type(), entt::resolve<double>());
  955. ASSERT_TRUE(as_cref.allow_cast(entt::resolve<float>()));
  956. ASSERT_EQ(as_cref.type(), entt::resolve<float>());
  957. }
  958. TEST_F(MetaAny, Convert) {
  959. entt::meta_any any{clazz{}};
  960. any.cast<clazz &>().value = 3;
  961. auto as_int = std::as_const(any).allow_cast<int>();
  962. ASSERT_TRUE(any);
  963. ASSERT_EQ(any.type(), entt::resolve<clazz>());
  964. ASSERT_TRUE(any.allow_cast<clazz>());
  965. ASSERT_EQ(any.type(), entt::resolve<clazz>());
  966. ASSERT_TRUE(any.allow_cast<int>());
  967. ASSERT_EQ(any.type(), entt::resolve<int>());
  968. ASSERT_EQ(any.cast<int>(), 3);
  969. ASSERT_TRUE(as_int);
  970. ASSERT_EQ(as_int.type(), entt::resolve<int>());
  971. ASSERT_EQ(as_int.cast<int>(), 3);
  972. ASSERT_TRUE(as_int.allow_cast<char>());
  973. ASSERT_EQ(as_int.type(), entt::resolve<char>());
  974. ASSERT_EQ(as_int.cast<char>(), char{3});
  975. }
  976. TEST_F(MetaAny, ArithmeticConversion) {
  977. entt::meta_any any{'c'};
  978. ASSERT_EQ(any.type(), entt::resolve<char>());
  979. ASSERT_EQ(any.cast<char>(), 'c');
  980. ASSERT_TRUE(any.allow_cast<double>());
  981. ASSERT_EQ(any.type(), entt::resolve<double>());
  982. ASSERT_EQ(any.cast<double>(), static_cast<double>('c'));
  983. any = 3.1;
  984. ASSERT_TRUE(any.allow_cast(entt::resolve<int>()));
  985. ASSERT_EQ(any.type(), entt::resolve<int>());
  986. ASSERT_EQ(any.cast<int>(), 3);
  987. ASSERT_TRUE(any.allow_cast<float>());
  988. ASSERT_EQ(any.type(), entt::resolve<float>());
  989. ASSERT_EQ(any.cast<float>(), 3.f);
  990. any = static_cast<float>('c');
  991. ASSERT_TRUE(any.allow_cast<char>());
  992. ASSERT_EQ(any.type(), entt::resolve<char>());
  993. ASSERT_EQ(any.cast<char>(), 'c');
  994. }
  995. TEST_F(MetaAny, EnumConversion) {
  996. entt::meta_any any{enum_class::foo};
  997. ASSERT_EQ(any.type(), entt::resolve<enum_class>());
  998. ASSERT_EQ(any.cast<enum_class>(), enum_class::foo);
  999. ASSERT_TRUE(any.allow_cast<double>());
  1000. ASSERT_EQ(any.type(), entt::resolve<double>());
  1001. ASSERT_EQ(any.cast<double>(), 0.);
  1002. any = enum_class::bar;
  1003. ASSERT_TRUE(any.allow_cast(entt::resolve<int>()));
  1004. ASSERT_EQ(any.type(), entt::resolve<int>());
  1005. ASSERT_EQ(any.cast<int>(), 1);
  1006. ASSERT_TRUE(any.allow_cast<enum_class>());
  1007. ASSERT_EQ(any.type(), entt::resolve<enum_class>());
  1008. ASSERT_EQ(any.cast<enum_class>(), enum_class::bar);
  1009. any = 0;
  1010. ASSERT_TRUE(any.allow_cast(entt::resolve<enum_class>()));
  1011. ASSERT_EQ(any.type(), entt::resolve<enum_class>());
  1012. ASSERT_EQ(any.cast<enum_class>(), enum_class::foo);
  1013. }
  1014. TEST_F(MetaAny, UnmanageableType) {
  1015. unmanageable instance{};
  1016. auto any = entt::forward_as_meta(instance);
  1017. entt::meta_any other = any.as_ref();
  1018. std::swap(any, other);
  1019. ASSERT_TRUE(any);
  1020. ASSERT_TRUE(other);
  1021. ASSERT_EQ(any.type(), entt::resolve<unmanageable>());
  1022. ASSERT_NE(any.data(), nullptr);
  1023. ASSERT_EQ(any.try_cast<int>(), nullptr);
  1024. ASSERT_NE(any.try_cast<unmanageable>(), nullptr);
  1025. ASSERT_TRUE(any.allow_cast<unmanageable>());
  1026. ASSERT_FALSE(any.allow_cast<int>());
  1027. ASSERT_TRUE(std::as_const(any).allow_cast<unmanageable>());
  1028. ASSERT_FALSE(std::as_const(any).allow_cast<int>());
  1029. }
  1030. TEST_F(MetaAny, Invoke) {
  1031. using namespace entt::literals;
  1032. clazz instance;
  1033. auto any = entt::forward_as_meta(instance);
  1034. const auto result = any.invoke("func"_hs);
  1035. ASSERT_TRUE(any.invoke("member"_hs, 3));
  1036. ASSERT_FALSE(std::as_const(any).invoke("member"_hs, 3));
  1037. ASSERT_FALSE(std::as_const(any).as_ref().invoke("member"_hs, 3));
  1038. ASSERT_FALSE(any.invoke("non_existent"_hs, 3));
  1039. ASSERT_TRUE(result);
  1040. ASSERT_NE(result.try_cast<char>(), nullptr);
  1041. ASSERT_EQ(result.cast<char>(), 'c');
  1042. ASSERT_EQ(instance.value, 3);
  1043. }
  1044. TEST_F(MetaAny, SetGet) {
  1045. using namespace entt::literals;
  1046. clazz instance;
  1047. auto any = entt::forward_as_meta(instance);
  1048. ASSERT_TRUE(any.set("value"_hs, 3));
  1049. const auto value = std::as_const(any).get("value"_hs);
  1050. ASSERT_TRUE(value);
  1051. ASSERT_EQ(value, any.get("value"_hs));
  1052. ASSERT_EQ(value, std::as_const(any).as_ref().get("value"_hs));
  1053. ASSERT_NE(value.try_cast<int>(), nullptr);
  1054. ASSERT_EQ(value.cast<int>(), 3);
  1055. ASSERT_EQ(instance.value, 3);
  1056. ASSERT_FALSE(any.set("non_existent"_hs, 3));
  1057. ASSERT_FALSE(any.get("non_existent"_hs));
  1058. }
  1059. TEST_F(MetaAny, ForwardAsMeta) {
  1060. int value = 3;
  1061. auto ref = entt::forward_as_meta(value);
  1062. auto cref = entt::forward_as_meta(std::as_const(value));
  1063. auto any = entt::forward_as_meta(static_cast<int &&>(value));
  1064. ASSERT_TRUE(any);
  1065. ASSERT_TRUE(ref);
  1066. ASSERT_TRUE(cref);
  1067. ASSERT_NE(any.try_cast<int>(), nullptr);
  1068. ASSERT_NE(ref.try_cast<int>(), nullptr);
  1069. ASSERT_EQ(cref.try_cast<int>(), nullptr);
  1070. ASSERT_EQ(any.cast<const int &>(), 3);
  1071. ASSERT_EQ(ref.cast<const int &>(), 3);
  1072. ASSERT_EQ(cref.cast<const int &>(), 3);
  1073. ASSERT_NE(any.data(), &value);
  1074. ASSERT_EQ(ref.data(), &value);
  1075. }