concepts.cpp 8.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202
  1. //
  2. // Copyright 2019 Mateusz Loskot <mateusz at loskot dot net>
  3. //
  4. // Distributed under the Boost Software License, Version 1.0
  5. // See accompanying file LICENSE_1_0.txt or copy at
  6. // http://www.boost.org/LICENSE_1_0.txt
  7. //
  8. // FIXME: Avoid Clang's flooding of non-disableable warnings like:
  9. // "T does not declare any constructor to initialize its non-modifiable members"
  10. // when compiling with concepts check enabled.
  11. // See https://bugs.llvm.org/show_bug.cgi?id=41759
  12. #if !defined(BOOST_GIL_USE_CONCEPT_CHECK) && !defined(__clang__)
  13. #error Compile with BOOST_GIL_USE_CONCEPT_CHECK defined
  14. #endif
  15. #include <boost/gil/concepts.hpp>
  16. #include <boost/gil/locator.hpp>
  17. #include <boost/gil/planar_pixel_reference.hpp>
  18. #include <boost/gil/typedefs.hpp>
  19. #include <boost/gil/virtual_locator.hpp>
  20. #include <boost/concept_check.hpp>
  21. namespace gil = boost::gil;
  22. using boost::function_requires;
  23. template <typename Locator>
  24. void test_immutable()
  25. {
  26. function_requires<gil::PixelLocatorConcept<Locator>>();
  27. function_requires<gil::HasDynamicXStepTypeConcept<Locator>>();
  28. function_requires<gil::HasDynamicYStepTypeConcept<Locator>>();
  29. }
  30. template <typename Locator>
  31. void test_mutable()
  32. {
  33. function_requires<gil::MutablePixelLocatorConcept<Locator>>();
  34. function_requires<gil::HasDynamicXStepTypeConcept<Locator>>();
  35. function_requires<gil::HasDynamicYStepTypeConcept<Locator>>();
  36. }
  37. template <typename Pixel>
  38. struct archetype_pixel_dereference
  39. {
  40. using point_t = gil::point_t;
  41. using const_t = archetype_pixel_dereference;
  42. using value_type = Pixel;
  43. using reference = value_type;
  44. using const_reference = value_type;
  45. using argument_type = gil::point_t;
  46. using result_type = reference;
  47. static constexpr bool is_mutable = false;
  48. result_type operator()(argument_type const&) const { return result_type{}; }
  49. };
  50. template <typename Pixel>
  51. using virtual_locator = gil::virtual_2d_locator<archetype_pixel_dereference<Pixel>, false>;
  52. int main()
  53. {
  54. test_mutable<gil::gray8_loc_t>();
  55. test_mutable<gil::gray8_step_loc_t>();
  56. test_mutable<gil::gray16_loc_t>();
  57. test_mutable<gil::gray16_step_loc_t>();
  58. test_mutable<gil::gray32_loc_t>();
  59. test_mutable<gil::gray32_step_loc_t>();
  60. test_mutable<gil::gray32f_loc_t>();
  61. test_mutable<gil::gray32f_step_loc_t>();
  62. test_immutable<gil::gray8c_loc_t>();
  63. test_immutable<gil::gray8c_step_loc_t>();
  64. test_immutable<gil::gray16c_loc_t>();
  65. test_immutable<gil::gray16c_step_loc_t>();
  66. test_immutable<gil::gray32c_loc_t>();
  67. test_immutable<gil::gray32c_step_loc_t>();
  68. test_immutable<gil::gray32fc_loc_t>();
  69. test_immutable<gil::gray32fc_step_loc_t>();
  70. test_mutable<gil::memory_based_2d_locator<gil::gray8_step_ptr_t>>();
  71. test_immutable<gil::memory_based_2d_locator<gil::gray8c_step_ptr_t>>();
  72. test_mutable<virtual_locator<gil::gray8_pixel_t>>();
  73. test_immutable<virtual_locator<gil::gray8c_pixel_t>>();
  74. test_mutable<gil::abgr8_loc_t>();
  75. test_mutable<gil::abgr8_step_loc_t>();
  76. test_mutable<gil::memory_based_2d_locator<gil::abgr8_step_ptr_t>>();
  77. test_mutable<gil::abgr16_loc_t>();
  78. test_mutable<gil::abgr16_step_loc_t>();
  79. test_mutable<gil::abgr32_loc_t>();
  80. test_mutable<gil::abgr32_step_loc_t>();
  81. test_mutable<gil::abgr32f_loc_t>();
  82. test_mutable<gil::abgr32f_step_loc_t>();
  83. test_immutable<gil::abgr8c_loc_t>();
  84. test_immutable<gil::abgr8c_step_loc_t>();
  85. test_immutable<gil::memory_based_2d_locator<gil::abgr8c_step_ptr_t>>();
  86. test_immutable<gil::abgr16c_loc_t>();
  87. test_immutable<gil::abgr16c_step_loc_t>();
  88. test_immutable<gil::abgr32c_loc_t>();
  89. test_immutable<gil::abgr32c_step_loc_t>();
  90. test_immutable<gil::abgr32fc_loc_t>();
  91. test_immutable<gil::abgr32fc_step_loc_t>();
  92. test_mutable<gil::argb8_loc_t>();
  93. test_mutable<gil::argb8_step_loc_t>();
  94. test_mutable<gil::memory_based_2d_locator<gil::argb8_step_ptr_t>>();
  95. test_mutable<gil::argb16_loc_t>();
  96. test_mutable<gil::argb16_step_loc_t>();
  97. test_mutable<gil::argb32_loc_t>();
  98. test_mutable<gil::argb32_step_loc_t>();
  99. test_mutable<gil::argb32f_loc_t>();
  100. test_mutable<gil::argb32f_step_loc_t>();
  101. test_mutable<gil::bgr8_loc_t>();
  102. test_mutable<gil::bgr8_step_loc_t>();
  103. test_mutable<gil::memory_based_2d_locator<gil::bgr8_step_ptr_t>>();
  104. test_mutable<gil::bgr16_loc_t>();
  105. test_mutable<gil::bgr16_step_loc_t>();
  106. test_mutable<gil::bgr32_loc_t>();
  107. test_mutable<gil::bgr32_step_loc_t>();
  108. test_mutable<gil::bgr32f_loc_t>();
  109. test_mutable<gil::bgr32f_step_loc_t>();
  110. test_mutable<gil::bgra8_loc_t>();
  111. test_mutable<gil::bgra8_step_loc_t>();
  112. test_mutable<gil::memory_based_2d_locator<gil::bgra8_step_ptr_t>>();
  113. test_mutable<gil::bgra16_loc_t>();
  114. test_mutable<gil::bgra16_step_loc_t>();
  115. test_mutable<gil::bgra32_loc_t>();
  116. test_mutable<gil::bgra32_step_loc_t>();
  117. test_mutable<gil::bgra32f_loc_t>();
  118. test_mutable<gil::bgra32f_step_loc_t>();
  119. test_mutable<gil::rgb8_loc_t>();
  120. test_mutable<gil::rgb8_step_loc_t>();
  121. test_mutable<gil::rgb8_planar_loc_t>();
  122. test_mutable<gil::rgb8_planar_step_loc_t>();
  123. test_mutable<gil::rgb16_loc_t>();
  124. test_mutable<gil::rgb16_step_loc_t>();
  125. test_mutable<gil::rgb16_planar_loc_t>();
  126. test_mutable<gil::rgb16_planar_step_loc_t>();
  127. test_mutable<gil::rgb32_loc_t>();
  128. test_mutable<gil::rgb32_step_loc_t>();
  129. test_mutable<gil::rgb32_planar_loc_t>();
  130. test_mutable<gil::rgb32_planar_step_loc_t>();
  131. test_mutable<gil::rgb32f_loc_t>();
  132. test_mutable<gil::rgb32f_step_loc_t>();
  133. test_mutable<gil::rgb32f_planar_loc_t>();
  134. test_mutable<gil::rgb32f_planar_step_loc_t>();
  135. test_immutable<gil::rgb8c_loc_t>();
  136. test_immutable<gil::rgb8c_step_loc_t>();
  137. test_immutable<gil::rgb16c_loc_t>();
  138. test_immutable<gil::rgb16c_step_loc_t>();
  139. test_immutable<gil::rgb32c_loc_t>();
  140. test_immutable<gil::rgb32c_step_loc_t>();
  141. test_immutable<gil::rgb32fc_loc_t>();
  142. test_immutable<gil::rgb32fc_step_loc_t>();
  143. test_mutable<gil::memory_based_2d_locator<gil::rgb8_step_ptr_t>>();
  144. test_immutable<gil::memory_based_2d_locator<gil::rgb8c_step_ptr_t>>();
  145. test_mutable<virtual_locator<gil::rgb8_pixel_t>>();
  146. test_immutable<virtual_locator<gil::rgb8c_pixel_t>>();
  147. test_mutable<gil::rgba8_loc_t>();
  148. test_mutable<gil::rgba8_step_loc_t>();
  149. test_mutable<gil::rgba8_planar_loc_t>();
  150. test_mutable<gil::rgba8_planar_step_loc_t>();
  151. test_mutable<gil::memory_based_2d_locator<gil::rgba8_step_ptr_t>>();
  152. test_mutable<gil::rgba16_loc_t>();
  153. test_mutable<gil::rgba16_step_loc_t>();
  154. test_mutable<gil::rgba16_planar_loc_t>();
  155. test_mutable<gil::rgba16_planar_step_loc_t>();
  156. test_mutable<gil::rgba32_loc_t>();
  157. test_mutable<gil::rgba32_step_loc_t>();
  158. test_mutable<gil::rgba32_planar_loc_t>();
  159. test_mutable<gil::rgba32_planar_step_loc_t>();
  160. test_mutable<gil::rgba32f_loc_t>();
  161. test_mutable<gil::rgba32f_step_loc_t>();
  162. test_mutable<gil::rgba32f_planar_loc_t>();
  163. test_mutable<gil::rgba32f_planar_step_loc_t>();
  164. test_mutable<gil::cmyk8_loc_t>();
  165. test_mutable<gil::cmyk8_step_loc_t>();
  166. test_mutable<gil::cmyk8_planar_loc_t>();
  167. test_mutable<gil::cmyk8_planar_step_loc_t>();
  168. test_mutable<gil::memory_based_2d_locator<gil::cmyk8_step_ptr_t>>();
  169. test_mutable<gil::cmyk16_loc_t>();
  170. test_mutable<gil::cmyk16_step_loc_t>();
  171. test_mutable<gil::cmyk16_planar_loc_t>();
  172. test_mutable<gil::cmyk16_planar_step_loc_t>();
  173. test_mutable<gil::cmyk32_loc_t>();
  174. test_mutable<gil::cmyk32_step_loc_t>();
  175. test_mutable<gil::cmyk32_planar_loc_t>();
  176. test_mutable<gil::cmyk32_planar_step_loc_t>();
  177. test_mutable<gil::cmyk32f_loc_t>();
  178. test_mutable<gil::cmyk32f_step_loc_t>();
  179. test_mutable<gil::cmyk32f_planar_loc_t>();
  180. test_mutable<gil::cmyk32f_planar_step_loc_t>();
  181. test_immutable<gil::cmyk8c_loc_t>();
  182. test_immutable<gil::cmyk8c_step_loc_t>();
  183. test_immutable<gil::cmyk8c_planar_loc_t>();
  184. test_immutable<gil::cmyk8c_planar_step_loc_t>();
  185. test_immutable<gil::memory_based_2d_locator<gil::cmyk8c_step_ptr_t>>();
  186. }