meta_pointer.cpp 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464
  1. #include <memory>
  2. #include <type_traits>
  3. #include <utility>
  4. #include <gtest/gtest.h>
  5. #include <entt/meta/adl_pointer.hpp>
  6. #include <entt/meta/meta.hpp>
  7. #include <entt/meta/pointer.hpp>
  8. #include <entt/meta/resolve.hpp>
  9. #include <entt/meta/type_traits.hpp>
  10. #include "../../common/config.h"
  11. template<typename Type>
  12. struct wrapped_shared_ptr {
  13. wrapped_shared_ptr(Type init)
  14. : ptr{new Type{init}} {}
  15. [[nodiscard]] Type &deref() const {
  16. return *ptr;
  17. }
  18. private:
  19. std::shared_ptr<Type> ptr;
  20. };
  21. struct self_ptr {
  22. using element_type = self_ptr;
  23. self_ptr(int v)
  24. : value{v} {}
  25. const self_ptr &operator*() const {
  26. return *this;
  27. }
  28. int value;
  29. };
  30. struct proxy_ptr {
  31. using element_type = proxy_ptr;
  32. proxy_ptr(int &v)
  33. : value{&v} {}
  34. proxy_ptr operator*() const {
  35. return *this;
  36. }
  37. int *value;
  38. };
  39. template<typename Type>
  40. struct adl_wrapped_shared_ptr: wrapped_shared_ptr<Type> {};
  41. template<typename Type>
  42. struct spec_wrapped_shared_ptr: wrapped_shared_ptr<Type> {};
  43. template<typename Type>
  44. struct entt::is_meta_pointer_like<adl_wrapped_shared_ptr<Type>>: std::true_type {};
  45. template<typename Type>
  46. struct entt::is_meta_pointer_like<spec_wrapped_shared_ptr<Type>>: std::true_type {};
  47. template<>
  48. struct entt::is_meta_pointer_like<self_ptr>: std::true_type {};
  49. template<>
  50. struct entt::is_meta_pointer_like<proxy_ptr>: std::true_type {};
  51. template<typename Type>
  52. struct entt::adl_meta_pointer_like<spec_wrapped_shared_ptr<Type>> {
  53. static decltype(auto) dereference(const spec_wrapped_shared_ptr<Type> &ptr) {
  54. return ptr.deref();
  55. }
  56. };
  57. template<typename Type>
  58. Type &dereference_meta_pointer_like(const adl_wrapped_shared_ptr<Type> &ptr) {
  59. return ptr.deref();
  60. }
  61. int test_function() {
  62. return 3;
  63. }
  64. TEST(MetaPointerLike, DereferenceOperatorInvalidType) {
  65. const int value = 0;
  66. const entt::meta_any any{value};
  67. ASSERT_FALSE(any.type().is_pointer());
  68. ASSERT_FALSE(any.type().is_pointer_like());
  69. ASSERT_EQ(any.type(), entt::resolve<int>());
  70. auto deref = *any;
  71. ASSERT_FALSE(deref);
  72. }
  73. TEST(MetaPointerLike, DereferenceOperatorConstType) {
  74. const int value = 3;
  75. const entt::meta_any any{&value};
  76. ASSERT_TRUE(any.type().is_pointer());
  77. ASSERT_TRUE(any.type().is_pointer_like());
  78. ASSERT_EQ(any.type(), entt::resolve<const int *>());
  79. auto deref = *any;
  80. ASSERT_TRUE(deref);
  81. ASSERT_FALSE(deref.type().is_pointer());
  82. ASSERT_FALSE(deref.type().is_pointer_like());
  83. ASSERT_EQ(deref.type(), entt::resolve<int>());
  84. ASSERT_EQ(deref.try_cast<int>(), nullptr);
  85. ASSERT_EQ(deref.try_cast<const int>(), &value);
  86. ASSERT_EQ(deref.cast<const int &>(), 3);
  87. }
  88. ENTT_DEBUG_TEST(MetaPointerLikeDeathTest, DereferenceOperatorConstType) {
  89. const int value = 3;
  90. const entt::meta_any any{&value};
  91. auto deref = *any;
  92. ASSERT_TRUE(deref);
  93. ASSERT_DEATH(deref.cast<int &>() = 0, "");
  94. }
  95. TEST(MetaPointerLike, DereferenceOperatorConstAnyNonConstType) {
  96. int value = 3;
  97. const entt::meta_any any{&value};
  98. auto deref = *any;
  99. ASSERT_TRUE(deref);
  100. ASSERT_FALSE(deref.type().is_pointer());
  101. ASSERT_FALSE(deref.type().is_pointer_like());
  102. ASSERT_EQ(deref.type(), entt::resolve<int>());
  103. ASSERT_NE(deref.try_cast<int>(), nullptr);
  104. ASSERT_NE(deref.try_cast<const int>(), nullptr);
  105. ASSERT_EQ(deref.cast<int &>(), 3);
  106. ASSERT_EQ(deref.cast<const int &>(), 3);
  107. }
  108. TEST(MetaPointerLike, DereferenceOperatorConstAnyConstType) {
  109. const int value = 3;
  110. const entt::meta_any any{&value};
  111. auto deref = *any;
  112. ASSERT_TRUE(deref);
  113. ASSERT_FALSE(deref.type().is_pointer());
  114. ASSERT_FALSE(deref.type().is_pointer_like());
  115. ASSERT_EQ(deref.type(), entt::resolve<int>());
  116. ASSERT_EQ(deref.try_cast<int>(), nullptr);
  117. ASSERT_NE(deref.try_cast<const int>(), nullptr);
  118. ASSERT_EQ(deref.cast<const int &>(), 3);
  119. }
  120. ENTT_DEBUG_TEST(MetaPointerLikeDeathTest, DereferenceOperatorConstAnyConstType) {
  121. const int value = 3;
  122. const entt::meta_any any{&value};
  123. auto deref = *any;
  124. ASSERT_TRUE(deref);
  125. ASSERT_DEATH(deref.cast<int &>() = 0, "");
  126. }
  127. TEST(MetaPointerLike, DereferenceOperatorRawPointer) {
  128. int value = 0;
  129. entt::meta_any any{&value};
  130. ASSERT_TRUE(any.type().is_pointer());
  131. ASSERT_TRUE(any.type().is_pointer_like());
  132. ASSERT_EQ(any.type(), entt::resolve<int *>());
  133. auto deref = *any;
  134. ASSERT_TRUE(deref);
  135. ASSERT_FALSE(deref.type().is_pointer());
  136. ASSERT_FALSE(deref.type().is_pointer_like());
  137. ASSERT_EQ(deref.type(), entt::resolve<int>());
  138. deref.cast<int &>() = 3;
  139. ASSERT_EQ(*any.cast<int *>(), 3);
  140. ASSERT_EQ(value, 3);
  141. }
  142. TEST(MetaPointerLike, DereferenceOperatorSmartPointer) {
  143. auto value = std::make_shared<int>(0);
  144. entt::meta_any any{value};
  145. ASSERT_FALSE(any.type().is_pointer());
  146. ASSERT_TRUE(any.type().is_pointer_like());
  147. ASSERT_EQ(any.type(), entt::resolve<std::shared_ptr<int>>());
  148. auto deref = *any;
  149. ASSERT_TRUE(deref);
  150. ASSERT_FALSE(deref.type().is_pointer());
  151. ASSERT_FALSE(deref.type().is_pointer_like());
  152. ASSERT_EQ(deref.type(), entt::resolve<int>());
  153. deref.cast<int &>() = 3;
  154. ASSERT_EQ(*any.cast<std::shared_ptr<int>>(), 3);
  155. ASSERT_EQ(*value, 3);
  156. }
  157. TEST(MetaPointerLike, PointerToConstMoveOnlyType) {
  158. const std::unique_ptr<int> instance;
  159. const entt::meta_any any{&instance};
  160. auto deref = *any;
  161. ASSERT_TRUE(any);
  162. ASSERT_TRUE(deref);
  163. ASSERT_EQ(deref.try_cast<std::unique_ptr<int>>(), nullptr);
  164. ASSERT_NE(deref.try_cast<const std::unique_ptr<int>>(), nullptr);
  165. ASSERT_EQ(&deref.cast<const std::unique_ptr<int> &>(), &instance);
  166. }
  167. TEST(MetaPointerLike, AsRef) {
  168. int value = 0;
  169. int *ptr = &value;
  170. entt::meta_any any{entt::forward_as_meta(ptr)};
  171. ASSERT_TRUE(any.type().is_pointer());
  172. ASSERT_TRUE(any.type().is_pointer_like());
  173. ASSERT_EQ(any.type(), entt::resolve<int *>());
  174. auto deref = *any;
  175. ASSERT_TRUE(deref);
  176. ASSERT_FALSE(deref.type().is_pointer());
  177. ASSERT_FALSE(deref.type().is_pointer_like());
  178. ASSERT_EQ(deref.type(), entt::resolve<int>());
  179. deref.cast<int &>() = 3;
  180. ASSERT_EQ(*any.cast<int *>(), 3);
  181. ASSERT_EQ(value, 3);
  182. }
  183. TEST(MetaPointerLike, AsConstRef) {
  184. int value = 3;
  185. int *const ptr = &value;
  186. entt::meta_any any{entt::forward_as_meta(ptr)};
  187. ASSERT_TRUE(any.type().is_pointer());
  188. ASSERT_TRUE(any.type().is_pointer_like());
  189. ASSERT_EQ(any.type(), entt::resolve<int *>());
  190. auto deref = *any;
  191. ASSERT_TRUE(deref);
  192. ASSERT_FALSE(deref.type().is_pointer());
  193. ASSERT_FALSE(deref.type().is_pointer_like());
  194. ASSERT_EQ(deref.type(), entt::resolve<int>());
  195. deref.cast<int &>() = 3;
  196. ASSERT_EQ(*any.cast<int *>(), 3);
  197. ASSERT_EQ(value, 3);
  198. }
  199. TEST(MetaPointerLike, DereferenceOverloadAdl) {
  200. const entt::meta_any any{adl_wrapped_shared_ptr<int>{3}};
  201. ASSERT_FALSE(any.type().is_pointer());
  202. ASSERT_TRUE(any.type().is_pointer_like());
  203. auto deref = *any;
  204. ASSERT_TRUE(deref);
  205. ASSERT_FALSE(deref.type().is_pointer());
  206. ASSERT_FALSE(deref.type().is_pointer_like());
  207. ASSERT_EQ(deref.type(), entt::resolve<int>());
  208. ASSERT_EQ(deref.cast<int &>(), 3);
  209. ASSERT_EQ(deref.cast<const int &>(), 3);
  210. }
  211. TEST(MetaPointerLike, DereferenceOverloadSpec) {
  212. const entt::meta_any any{spec_wrapped_shared_ptr<int>{3}};
  213. ASSERT_FALSE(any.type().is_pointer());
  214. ASSERT_TRUE(any.type().is_pointer_like());
  215. auto deref = *any;
  216. ASSERT_TRUE(deref);
  217. ASSERT_FALSE(deref.type().is_pointer());
  218. ASSERT_FALSE(deref.type().is_pointer_like());
  219. ASSERT_EQ(deref.type(), entt::resolve<int>());
  220. ASSERT_EQ(deref.cast<int &>(), 3);
  221. ASSERT_EQ(deref.cast<const int &>(), 3);
  222. }
  223. TEST(MetaPointerLike, DereferencePointerToConstOverloadAdl) {
  224. const entt::meta_any any{adl_wrapped_shared_ptr<const int>{3}};
  225. ASSERT_FALSE(any.type().is_pointer());
  226. ASSERT_TRUE(any.type().is_pointer_like());
  227. auto deref = *any;
  228. ASSERT_TRUE(deref);
  229. ASSERT_FALSE(deref.type().is_pointer());
  230. ASSERT_FALSE(deref.type().is_pointer_like());
  231. ASSERT_EQ(deref.type(), entt::resolve<int>());
  232. ASSERT_EQ(deref.cast<const int &>(), 3);
  233. }
  234. TEST(MetaPointerLike, DereferencePointerToConstOverloadSpec) {
  235. const entt::meta_any any{spec_wrapped_shared_ptr<const int>{3}};
  236. ASSERT_FALSE(any.type().is_pointer());
  237. ASSERT_TRUE(any.type().is_pointer_like());
  238. auto deref = *any;
  239. ASSERT_TRUE(deref);
  240. ASSERT_FALSE(deref.type().is_pointer());
  241. ASSERT_FALSE(deref.type().is_pointer_like());
  242. ASSERT_EQ(deref.type(), entt::resolve<int>());
  243. ASSERT_EQ(deref.cast<const int &>(), 3);
  244. }
  245. ENTT_DEBUG_TEST(MetaPointerLikeDeathTest, DereferencePointerToConstOverloadAdl) {
  246. const entt::meta_any any{adl_wrapped_shared_ptr<const int>{3}};
  247. auto deref = *any;
  248. ASSERT_TRUE(deref);
  249. ASSERT_DEATH(deref.cast<int &>() = 3, "");
  250. }
  251. ENTT_DEBUG_TEST(MetaPointerLikeDeathTest, DereferencePointerToConstOverloadSpec) {
  252. const entt::meta_any any{spec_wrapped_shared_ptr<const int>{3}};
  253. auto deref = *any;
  254. ASSERT_TRUE(deref);
  255. ASSERT_DEATH(deref.cast<int &>() = 3, "");
  256. }
  257. TEST(MetaPointerLike, DereferencePointerToVoid) {
  258. const entt::meta_any any{static_cast<void *>(nullptr)};
  259. ASSERT_TRUE(any.type().is_pointer());
  260. ASSERT_TRUE(any.type().is_pointer_like());
  261. auto deref = *any;
  262. ASSERT_FALSE(deref);
  263. }
  264. TEST(MetaPointerLike, DereferencePointerToConstVoid) {
  265. const entt::meta_any any{static_cast<const void *>(nullptr)};
  266. ASSERT_TRUE(any.type().is_pointer());
  267. ASSERT_TRUE(any.type().is_pointer_like());
  268. auto deref = *any;
  269. ASSERT_FALSE(deref);
  270. }
  271. TEST(MetaPointerLike, DereferenceSharedPointerToVoid) {
  272. const entt::meta_any any{std::shared_ptr<void>{}};
  273. ASSERT_TRUE(any.type().is_class());
  274. ASSERT_FALSE(any.type().is_pointer());
  275. ASSERT_TRUE(any.type().is_pointer_like());
  276. auto deref = *any;
  277. ASSERT_FALSE(deref);
  278. }
  279. TEST(MetaPointerLike, DereferenceUniquePointerToVoid) {
  280. const entt::meta_any any{std::unique_ptr<void, void (*)(void *)>{nullptr, nullptr}};
  281. ASSERT_TRUE(any.type().is_class());
  282. ASSERT_FALSE(any.type().is_pointer());
  283. ASSERT_TRUE(any.type().is_pointer_like());
  284. auto deref = *any;
  285. ASSERT_FALSE(deref);
  286. }
  287. TEST(MetaPointerLike, DereferencePointerToFunction) {
  288. entt::meta_any any{&test_function};
  289. ASSERT_TRUE(any.type().is_pointer());
  290. ASSERT_TRUE((*std::as_const(any)).type().is_pointer_like());
  291. ASSERT_NE((**any).try_cast<int (*)()>(), nullptr);
  292. ASSERT_EQ((***std::as_const(any)).cast<int (*)()>()(), 3);
  293. }
  294. TEST(MetaPointerLike, DereferenceSelfPointer) {
  295. self_ptr obj{3};
  296. const entt::meta_any any{entt::forward_as_meta(obj)};
  297. entt::meta_any deref = *any;
  298. ASSERT_TRUE(deref);
  299. ASSERT_TRUE(any.type().is_pointer_like());
  300. ASSERT_EQ(deref.cast<const self_ptr &>().value, obj.value);
  301. ASSERT_FALSE(deref.try_cast<self_ptr>());
  302. }
  303. TEST(MetaPointerLike, DereferenceProxyPointer) {
  304. int value = 3;
  305. const proxy_ptr obj{value};
  306. const entt::meta_any any{obj};
  307. entt::meta_any deref = *any;
  308. ASSERT_TRUE(deref);
  309. ASSERT_TRUE(any.type().is_pointer_like());
  310. ASSERT_EQ(*deref.cast<const proxy_ptr &>().value, value);
  311. ASSERT_TRUE(deref.try_cast<proxy_ptr>());
  312. *deref.cast<proxy_ptr &>().value = 3;
  313. ASSERT_EQ(value, 3);
  314. }
  315. TEST(MetaPointerLike, DereferenceArray) {
  316. // NOLINTBEGIN(*-avoid-c-arrays)
  317. const entt::meta_any array{std::in_place_type<int[3]>};
  318. const entt::meta_any array_of_array{std::in_place_type<int[3][3]>};
  319. // NOLINTEND(*-avoid-c-arrays)
  320. // NOLINTBEGIN(*-avoid-c-arrays)
  321. ASSERT_EQ(array.type(), entt::resolve<int[3]>());
  322. ASSERT_EQ(array_of_array.type(), entt::resolve<int[3][3]>());
  323. // NOLINTEND(*-avoid-c-arrays)
  324. ASSERT_FALSE(*array);
  325. ASSERT_FALSE(*array_of_array);
  326. }
  327. TEST(MetaPointerLike, DereferencePlainNullPointer) {
  328. const entt::meta_any any{static_cast<int *>(nullptr)};
  329. ASSERT_TRUE(any);
  330. ASSERT_FALSE(*any);
  331. }
  332. TEST(MetaPointerLike, DereferenceSharedNullPointer) {
  333. const entt::meta_any any{std::shared_ptr<int>{}};
  334. ASSERT_TRUE(any);
  335. ASSERT_FALSE(*any);
  336. }
  337. TEST(MetaPointerLike, DereferenceUniqueNullPointer) {
  338. const entt::meta_any any{std::unique_ptr<int>{}};
  339. ASSERT_TRUE(any);
  340. ASSERT_FALSE(*any);
  341. }