meta_any.cpp 46 KB

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