libs/gil/test/core/point/concepts.cpp
// // Copyright 2018 Mateusz Loskot <mateusz at loskot dot net> // // Distributed under the Boost Software License, Version 1.0 // See accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt // // FIXME: Avoid Clang's flooding of non-disableable warnings like: // "T does not declare any constructor to initialize its non-modifiable members" // when compiling with concepts check enabled. // See https://bugs.llvm.org/show_bug.cgi?id=41759 #if !defined(BOOST_GIL_USE_CONCEPT_CHECK) && !defined(__clang__) #error Compile with BOOST_GIL_USE_CONCEPT_CHECK defined #endif #include <boost/gil/concepts.hpp> #include <boost/gil/point.hpp> #include <type_traits> namespace gil = boost::gil; template <typename Point> void test_members() { static_assert(Point::num_dimensions == 2U, "point is not 2D"); using value_t = typename Point::value_type; using coord_t = typename Point::template axis<0>::coord_t; static_assert(std::is_same<value_t, coord_t>::value, "point and axis type mismatch"); } int main() { boost::function_requires<gil::PointNDConcept<gil::point<int>>>(); boost::function_requires<gil::PointNDConcept<gil::point_t>>(); boost::function_requires<gil::Point2DConcept<gil::point<int>>>(); boost::function_requires<gil::Point2DConcept<gil::point_t>>(); test_members<gil::point<int>>(); test_members<gil::point_t>(); // NOTE: point2 is deprecated, available for backward compatibility boost::function_requires<gil::PointNDConcept<gil::point2<int>>>(); boost::function_requires<gil::Point2DConcept<gil::point2<int>>>(); test_members<gil::point2<int>>(); return 0; }