meta_pointer.cpp 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335
  1. #include <memory>
  2. #include <type_traits>
  3. #include <gtest/gtest.h>
  4. #include <entt/core/hashed_string.hpp>
  5. #include <entt/meta/meta.hpp>
  6. #include <entt/meta/pointer.hpp>
  7. #include <entt/meta/resolve.hpp>
  8. template<typename Type>
  9. struct wrapped_shared_ptr {
  10. wrapped_shared_ptr(Type init): ptr{new Type {init}} {}
  11. Type & deref() const { return *ptr; }
  12. private:
  13. std::shared_ptr<Type> ptr;
  14. };
  15. struct self_ptr {
  16. using element_type = self_ptr;
  17. self_ptr(int v): value{v} {}
  18. const self_ptr & operator*() const { return *this; }
  19. int value;
  20. };
  21. struct proxy_ptr {
  22. using element_type = proxy_ptr;
  23. proxy_ptr(int &v): value{&v} {}
  24. proxy_ptr operator*() const { return *this; }
  25. int *value;
  26. };
  27. template<typename Type>
  28. struct adl_wrapped_shared_ptr: wrapped_shared_ptr<Type> {};
  29. template<typename Type>
  30. struct spec_wrapped_shared_ptr: wrapped_shared_ptr<Type> {};
  31. template<typename Type>
  32. struct entt::is_meta_pointer_like<adl_wrapped_shared_ptr<Type>>: std::true_type {};
  33. template<typename Type>
  34. struct entt::is_meta_pointer_like<spec_wrapped_shared_ptr<Type>>: std::true_type {};
  35. template<>
  36. struct entt::is_meta_pointer_like<self_ptr>: std::true_type {};
  37. template<>
  38. struct entt::is_meta_pointer_like<proxy_ptr>: std::true_type {};
  39. template<typename Type>
  40. struct entt::adl_meta_pointer_like<spec_wrapped_shared_ptr<Type>> {
  41. static decltype(auto) dereference(const spec_wrapped_shared_ptr<Type> &ptr) {
  42. return ptr.deref();
  43. }
  44. };
  45. template<typename Type>
  46. Type & dereference_meta_pointer_like(const adl_wrapped_shared_ptr<Type> &ptr) {
  47. return ptr.deref();
  48. }
  49. int test_function() { return 42; }
  50. struct not_copyable_t {
  51. not_copyable_t() = default;
  52. not_copyable_t(const not_copyable_t &) = delete;
  53. not_copyable_t(not_copyable_t &&) = default;
  54. not_copyable_t & operator=(const not_copyable_t &) = delete;
  55. not_copyable_t & operator=(not_copyable_t &&) = default;
  56. };
  57. TEST(MetaPointerLike, DereferenceOperatorInvalidType) {
  58. int value = 0;
  59. entt::meta_any any{value};
  60. ASSERT_FALSE(any.type().is_pointer());
  61. ASSERT_FALSE(any.type().is_pointer_like());
  62. ASSERT_EQ(any.type(), entt::resolve<int>());
  63. auto deref = *any;
  64. ASSERT_FALSE(deref);
  65. }
  66. TEST(MetaPointerLike, DereferenceOperatorConstType) {
  67. const int value = 42;
  68. entt::meta_any any{&value};
  69. ASSERT_TRUE(any.type().is_pointer());
  70. ASSERT_TRUE(any.type().is_pointer_like());
  71. ASSERT_EQ(any.type(), entt::resolve<const int *>());
  72. auto deref = *any;
  73. ASSERT_TRUE(deref);
  74. ASSERT_FALSE(deref.type().is_pointer());
  75. ASSERT_FALSE(deref.type().is_pointer_like());
  76. ASSERT_EQ(deref.type(), entt::resolve<int>());
  77. ASSERT_EQ(deref.try_cast<int>(), nullptr);
  78. ASSERT_EQ(deref.try_cast<const int>(), &value);
  79. ASSERT_DEATH(deref.cast<int &>() = 0, "");
  80. ASSERT_EQ(deref.cast<const int &>(), 42);
  81. }
  82. TEST(MetaPointerLike, DereferenceOperatorConstAny) {
  83. auto test = [](const entt::meta_any any) {
  84. auto deref = *any;
  85. ASSERT_TRUE(deref);
  86. ASSERT_FALSE(deref.type().is_pointer());
  87. ASSERT_FALSE(deref.type().is_pointer_like());
  88. ASSERT_EQ(deref.type(), entt::resolve<int>());
  89. ASSERT_EQ(deref.try_cast<int>(), nullptr);
  90. ASSERT_NE(deref.try_cast<const int>(), nullptr);
  91. ASSERT_DEATH(deref.cast<int &>() = 0, "");
  92. ASSERT_EQ(deref.cast<const int &>(), 42);
  93. };
  94. int value = 42;
  95. test(&value);
  96. test(&std::as_const(value));
  97. }
  98. TEST(MetaPointerLike, DereferenceOperatorRawPointer) {
  99. int value = 0;
  100. entt::meta_any any{&value};
  101. ASSERT_TRUE(any.type().is_pointer());
  102. ASSERT_TRUE(any.type().is_pointer_like());
  103. ASSERT_EQ(any.type(), entt::resolve<int *>());
  104. auto deref = *any;
  105. ASSERT_TRUE(deref);
  106. ASSERT_FALSE(deref.type().is_pointer());
  107. ASSERT_FALSE(deref.type().is_pointer_like());
  108. ASSERT_EQ(deref.type(), entt::resolve<int>());
  109. deref.cast<int &>() = 42;
  110. ASSERT_EQ(*any.cast<int *>(), 42);
  111. ASSERT_EQ(value, 42);
  112. }
  113. TEST(MetaPointerLike, DereferenceOperatorSmartPointer) {
  114. auto value = std::make_shared<int>(0);
  115. entt::meta_any any{value};
  116. ASSERT_FALSE(any.type().is_pointer());
  117. ASSERT_TRUE(any.type().is_pointer_like());
  118. ASSERT_EQ(any.type(), entt::resolve<std::shared_ptr<int>>());
  119. auto deref = *any;
  120. ASSERT_TRUE(deref);
  121. ASSERT_FALSE(deref.type().is_pointer());
  122. ASSERT_FALSE(deref.type().is_pointer_like());
  123. ASSERT_EQ(deref.type(), entt::resolve<int>());
  124. deref.cast<int &>() = 42;
  125. ASSERT_EQ(*any.cast<std::shared_ptr<int>>(), 42);
  126. ASSERT_EQ(*value, 42);
  127. }
  128. TEST(MetaPointerLike, PointerToConstMoveOnlyType) {
  129. const not_copyable_t instance;
  130. entt::meta_any any{&instance};
  131. auto deref = *any;
  132. ASSERT_TRUE(any);
  133. ASSERT_TRUE(deref);
  134. ASSERT_EQ(deref.try_cast<not_copyable_t>(), nullptr);
  135. ASSERT_NE(deref.try_cast<const not_copyable_t>(), nullptr);
  136. ASSERT_EQ(&deref.cast<const not_copyable_t &>(), &instance);
  137. }
  138. TEST(MetaPointerLike, AsRef) {
  139. int value = 0;
  140. int * ptr = &value;
  141. entt::meta_any any{std::ref(ptr)};
  142. ASSERT_TRUE(any.type().is_pointer());
  143. ASSERT_TRUE(any.type().is_pointer_like());
  144. ASSERT_EQ(any.type(), entt::resolve<int *>());
  145. auto deref = *any;
  146. ASSERT_TRUE(deref);
  147. ASSERT_FALSE(deref.type().is_pointer());
  148. ASSERT_FALSE(deref.type().is_pointer_like());
  149. ASSERT_EQ(deref.type(), entt::resolve<int>());
  150. deref.cast<int &>() = 42;
  151. ASSERT_EQ(*any.cast<int *>(), 42);
  152. ASSERT_EQ(value, 42);
  153. }
  154. TEST(MetaPointerLike, AsConstRef) {
  155. int value = 42;
  156. int * ptr = &value;
  157. entt::meta_any any{std::cref(ptr)};
  158. ASSERT_TRUE(any.type().is_pointer());
  159. ASSERT_TRUE(any.type().is_pointer_like());
  160. ASSERT_EQ(any.type(), entt::resolve<int *>());
  161. auto deref = *any;
  162. ASSERT_TRUE(deref);
  163. ASSERT_FALSE(deref.type().is_pointer());
  164. ASSERT_FALSE(deref.type().is_pointer_like());
  165. ASSERT_EQ(deref.type(), entt::resolve<int>());
  166. deref.cast<int &>() = 42;
  167. ASSERT_EQ(*any.cast<int *>(), 42);
  168. ASSERT_EQ(value, 42);
  169. }
  170. TEST(MetaPointerLike, DereferenceOverload) {
  171. auto test = [](entt::meta_any any) {
  172. ASSERT_FALSE(any.type().is_pointer());
  173. ASSERT_TRUE(any.type().is_pointer_like());
  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. ASSERT_EQ(deref.cast<int &>(), 42);
  180. ASSERT_EQ(deref.cast<const int &>(), 42);
  181. };
  182. test(adl_wrapped_shared_ptr<int>{42});
  183. test(spec_wrapped_shared_ptr<int>{42});
  184. }
  185. TEST(MetaPointerLike, DereferencePointerToConstOverload) {
  186. auto test = [](entt::meta_any any) {
  187. ASSERT_FALSE(any.type().is_pointer());
  188. ASSERT_TRUE(any.type().is_pointer_like());
  189. auto deref = *any;
  190. ASSERT_TRUE(deref);
  191. ASSERT_FALSE(deref.type().is_pointer());
  192. ASSERT_FALSE(deref.type().is_pointer_like());
  193. ASSERT_EQ(deref.type(), entt::resolve<int>());
  194. ASSERT_DEATH(deref.cast<int &>() = 42, "");
  195. ASSERT_EQ(deref.cast<const int &>(), 42);
  196. };
  197. test(adl_wrapped_shared_ptr<const int>{42});
  198. test(spec_wrapped_shared_ptr<const int>{42});
  199. }
  200. TEST(MetaPointerLike, DereferencePointerToVoid) {
  201. auto test = [](entt::meta_any any) {
  202. ASSERT_TRUE(any.type().is_pointer());
  203. ASSERT_TRUE(any.type().is_pointer_like());
  204. ASSERT_EQ(any.type().remove_pointer(), entt::resolve<void>());
  205. auto deref = *any;
  206. ASSERT_FALSE(deref);
  207. };
  208. test(static_cast<void *>(nullptr));
  209. test(static_cast<const void *>(nullptr));
  210. }
  211. TEST(MetaPointerLike, DereferenceSmartPointerToVoid) {
  212. auto test = [](entt::meta_any any) {
  213. ASSERT_TRUE(any.type().is_class());
  214. ASSERT_FALSE(any.type().is_pointer());
  215. ASSERT_TRUE(any.type().is_pointer_like());
  216. auto deref = *any;
  217. ASSERT_FALSE(deref);
  218. };
  219. test(std::shared_ptr<void>{});
  220. test(std::unique_ptr<void, void(*)(void *)>{nullptr, nullptr});
  221. }
  222. TEST(MetaPointerLike, DereferencePointerToFunction) {
  223. auto test = [](entt::meta_any any) {
  224. ASSERT_TRUE(any.type().is_pointer());
  225. ASSERT_TRUE(any.type().is_pointer_like());
  226. ASSERT_EQ(any.type().remove_pointer(), entt::resolve<int()>());
  227. ASSERT_NE(any.try_cast<int(*)()>(), nullptr);
  228. ASSERT_EQ(any.cast<int(*)()>()(), 42);
  229. };
  230. test(entt::meta_any{&test_function});
  231. test(*entt::meta_any{&test_function});
  232. test(**entt::meta_any{&test_function});
  233. }
  234. TEST(MetaPointerLike, DereferenceSelfPointer) {
  235. self_ptr obj{42};
  236. entt::meta_any any{std::ref(obj)};
  237. entt::meta_any deref = *any;
  238. ASSERT_TRUE(deref);
  239. ASSERT_TRUE(any.type().is_pointer_like());
  240. ASSERT_EQ(deref.cast<const self_ptr &>().value, obj.value);
  241. ASSERT_FALSE(deref.try_cast<self_ptr>());
  242. }
  243. TEST(MetaPointerLike, DereferenceProxyPointer) {
  244. int value = 3;
  245. proxy_ptr obj{value};
  246. entt::meta_any any{obj};
  247. entt::meta_any deref = *any;
  248. ASSERT_TRUE(deref);
  249. ASSERT_TRUE(any.type().is_pointer_like());
  250. ASSERT_EQ(*deref.cast<const proxy_ptr &>().value, value);
  251. ASSERT_TRUE(deref.try_cast<proxy_ptr>());
  252. *deref.cast<proxy_ptr &>().value = 42;
  253. ASSERT_EQ(value, 42);
  254. }