concepts.cpp 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. //
  2. // Copyright 2005-2007 Adobe Systems Incorporated
  3. // Copyright 2018 Mateusz Loskot <mateusz at loskot dot net>
  4. //
  5. // Distributed under the Boost Software License, Version 1.0
  6. // See accompanying file LICENSE_1_0.txt or copy at
  7. // http://www.boost.org/LICENSE_1_0.txt
  8. //
  9. #include <boost/config.hpp>
  10. #if defined(BOOST_CLANG)
  11. #pragma clang diagnostic push
  12. #pragma GCC diagnostic ignored "-Wuninitialized"
  13. #endif
  14. #if defined(BOOST_GCC) && (BOOST_GCC >= 40900)
  15. #pragma GCC diagnostic push
  16. #pragma GCC diagnostic ignored "-Wuninitialized"
  17. #endif
  18. #include <boost/gil/concepts.hpp>
  19. #include <cstdint>
  20. #define BOOST_TEST_MODULE test_channel_concepts
  21. #include "unit_test.hpp"
  22. #include "test_fixture.hpp"
  23. namespace gil = boost::gil;
  24. namespace fixture = boost::gil::test::fixture;
  25. // A channel archetype - to test the minimum requirements of the concept
  26. struct channel_value_archetype;
  27. struct channel_archetype
  28. {
  29. // equality comparable
  30. friend bool operator==(channel_archetype const&, channel_archetype const&)
  31. { return true; }
  32. // inequality comparable
  33. friend bool operator!=(channel_archetype const&, channel_archetype const&)
  34. { return false; }
  35. // less-than comparable
  36. friend bool operator<(channel_archetype const&, channel_archetype const&)
  37. { return false; }
  38. // convertible to a scalar
  39. operator std::uint8_t() const { return 0; }
  40. channel_archetype& operator++() { return *this; }
  41. channel_archetype& operator--() { return *this; }
  42. channel_archetype operator++(int) { return *this; }
  43. channel_archetype operator--(int) { return *this; }
  44. template <typename Scalar>
  45. channel_archetype operator+=(Scalar) { return *this; }
  46. template <typename Scalar>
  47. channel_archetype operator-=(Scalar) { return *this; }
  48. template <typename Scalar>
  49. channel_archetype operator*=(Scalar) { return *this; }
  50. template <typename Scalar>
  51. channel_archetype operator/=(Scalar) { return *this; }
  52. using value_type = channel_value_archetype;
  53. using reference = channel_archetype;
  54. using const_reference = channel_archetype const;
  55. using pointer = channel_value_archetype*;
  56. using const_pointer = channel_value_archetype const*;
  57. static constexpr bool is_mutable = true;
  58. static value_type min_value();
  59. static value_type max_value();
  60. };
  61. struct channel_value_archetype : public channel_archetype
  62. {
  63. // default constructible
  64. channel_value_archetype() {}
  65. // copy constructible
  66. channel_value_archetype(channel_value_archetype const&) = default;
  67. // assignable
  68. channel_value_archetype& operator=(channel_value_archetype const&)
  69. {return *this;}
  70. channel_value_archetype(std::uint8_t) {}
  71. };
  72. channel_value_archetype channel_archetype::min_value()
  73. {
  74. return channel_value_archetype();
  75. }
  76. channel_value_archetype channel_archetype::max_value()
  77. {
  78. return channel_value_archetype();
  79. }
  80. BOOST_AUTO_TEST_CASE(channel_minimal_requirements)
  81. {
  82. // Do only compile-time tests for the archetype
  83. // (because asserts like val1<val2 fail)
  84. boost::function_requires<gil::MutableChannelConcept<channel_archetype>>();
  85. fixture::channel_value<channel_value_archetype>();
  86. fixture::channel_reference<channel_archetype>();
  87. fixture::channel_reference<channel_archetype const&>();
  88. }