メンバの有無を判定するテンプレート 他 (src/Internal/HAS_CHECK.hpp)

• View this file on GitHub
• View document part on GitHub
• Last update: 2023-11-02 17:27:04+09:00
• Include: #include "src/Internal/HAS_CHECK.hpp"
• Link: View error logs on GitHub Actions

参考

https://theolizer.com/cpp-school2/cpp-school2-10/

Required by

• Euler-Tour-Tree (src/DataStructure/EulerTourTree.hpp)
• kD-Tree (src/DataStructure/KDTree.hpp)
• Online-Dynamic-Connectivity (src/DataStructure/OnlineDynamicConnectivity.hpp)
• Segment-Tree(動的構築) (src/DataStructure/SegmentTree_Dynamic.hpp)
• Segment-Tree(パトリシア木) (src/DataStructure/SegmentTree_Patricia.hpp)
• Skew-Heap (src/DataStructure/SkewHeap.hpp)

Verified with

• test/aoj/1023.KDT.test.cpp
• test/aoj/1068.KDT.test.cpp
• test/aoj/2235.onlinedicon.test.cpp
• test/aoj/2270.DynSeg.test.cpp
• test/aoj/2270.Patricia.test.cpp
• test/aoj/2842.KDT.test.cpp
• test/aoj/2893.onlinedicon.test.cpp
• test/aoj/3024.DynSeg.test.cpp
• test/aoj/3024.Patricia.test.cpp
• test/aoj/ALDS1_9_C.SkewHeap.test.cpp
• test/aoj/DSL_2_C.KDT.test.cpp
• test/aoj/DSL_2_I.DynSeg.test.cpp
• test/atcoder/abc133_f.DynSeg.test.cpp
• test/atcoder/abc133_f.Patricia.test.cpp
• test/atcoder/abc234_ex.KDT.test.cpp
• test/atcoder/abc256_f.DynSeg.test.cpp
• test/atcoder/abc266_ex.KDT.test.cpp
• test/atcoder/abc309_f.KDT.3D.test.cpp
• test/atcoder/abc309_f.KDT.test.cpp
• test/atcoder/past202004_n.test.cpp
• test/atcoder/s8pc_1_h.KDT.test.cpp
• test/hackerrank/cube-summation.KDT.test.cpp
• test/hackerrank/grid-xor-query.KDT.test.cpp
• test/hackerrank/minimum-history-query.DynSeg.test.cpp
• test/misc/joisc2019_a.KDT.test.cpp
• test/misc/joisc2019_a.KDT_3d.test.cpp
• test/sample_test/arc010_4.test.cpp
• test/sample_test/atcoder_s8pc_4_g.test.cpp
• test/sample_test/cf_contest1140_f.test.cpp
• test/yosupo/dynamic_graph_vertex_add_component_sum.test.cpp
• test/yosupo/dynamic_tree_subtree_add_subtree_sum.ETT.test.cpp
• test/yosupo/dynamic_tree_vertex_add_subtree_sum.ETT.test.cpp
• test/yosupo/point_add_rectangle_sum.KDT.test.cpp
• test/yosupo/range_affine_point_get.DynSeg.test.cpp
• test/yosupo/range_affine_range_sum.DynSeg.test.cpp
• test/yosupo/set_xor_min.DynSeg.test.cpp
• test/yosupo/set_xor_min.Patricia.test.cpp
• test/yosupo/vertex_add_subtree_sum.ETT.test.cpp
• test/yukicoder/1216.KDT.test.cpp
• test/yukicoder/1600.KDT.test.cpp
• test/yukicoder/1625.KDT.test.cpp
• test/yukicoder/2342.KDT.test.cpp
• test/yukicoder/649.DynSeg.test.cpp
• test/yukicoder/649.Patricia.test.cpp
• test/yukicoder/828.ETT.test.cpp

Code

#pragma once
#include <type_traits>
#define MEMBER_MACRO(member, Dummy, name, type1, type2, last) \
 template <class tClass> struct name##member { \
  template <class U, Dummy> static type1 check(U *); \
  static type2 check(...); \
  static tClass *mClass; \
  last; \
 }
#define HAS_CHECK(member, Dummy) MEMBER_MACRO(member, Dummy, has_, std::true_type, std::false_type, static const bool value= decltype(check(mClass))::value)
#define HAS_MEMBER(member) HAS_CHECK(member, int dummy= (&U::member, 0))
#define HAS_TYPE(member) HAS_CHECK(member, class dummy= typename U::member)
#define HOGE_OR(member, name, type2) \
 MEMBER_MACRO(member, class dummy= typename U::member, name, typename U::member, type2, using type= decltype(check(mClass))); \
 template <class tClass> using name##member##_t= typename name##member<tClass>::type
#define NULLPTR_OR(member) HOGE_OR(member, nullptr_or_, std::nullptr_t)
#define MYSELF_OR(member) HOGE_OR(member, myself_or_, tClass)

#line 2 "src/Internal/HAS_CHECK.hpp"
#include <type_traits>
#define MEMBER_MACRO(member, Dummy, name, type1, type2, last) \
 template <class tClass> struct name##member { \
  template <class U, Dummy> static type1 check(U *); \
  static type2 check(...); \
  static tClass *mClass; \
  last; \
 }
#define HAS_CHECK(member, Dummy) MEMBER_MACRO(member, Dummy, has_, std::true_type, std::false_type, static const bool value= decltype(check(mClass))::value)
#define HAS_MEMBER(member) HAS_CHECK(member, int dummy= (&U::member, 0))
#define HAS_TYPE(member) HAS_CHECK(member, class dummy= typename U::member)
#define HOGE_OR(member, name, type2) \
 MEMBER_MACRO(member, class dummy= typename U::member, name, typename U::member, type2, using type= decltype(check(mClass))); \
 template <class tClass> using name##member##_t= typename name##member<tClass>::type
#define NULLPTR_OR(member) HOGE_OR(member, nullptr_or_, std::nullptr_t)
#define MYSELF_OR(member) HOGE_OR(member, myself_or_, tClass)

Back to top page