From f0109b4224f86bcefe0edf623494aa622d2f8cf1 Mon Sep 17 00:00:00 2001
From: Dirk Stolle <striezel-dev@web.de>
Date: Tue, 31 May 2022 17:03:16 +0200
Subject: [PATCH] switch channel index type in nth_channel_view to
 boost::gil::index_t

---
 .../dynamic_image/image_view_factory.hpp      |  7 ++--
 include/boost/gil/image_view_factory.hpp      | 35 ++++++++++---------
 include/boost/gil/typedefs.hpp                |  5 +++
 3 files changed, 27 insertions(+), 20 deletions(-)

diff --git a/include/boost/gil/extension/dynamic_image/image_view_factory.hpp b/include/boost/gil/extension/dynamic_image/image_view_factory.hpp
index 8d883f165d..0559db202f 100644
--- a/include/boost/gil/extension/dynamic_image/image_view_factory.hpp
+++ b/include/boost/gil/extension/dynamic_image/image_view_factory.hpp
@@ -13,6 +13,7 @@
 #include <boost/gil/dynamic_step.hpp>
 #include <boost/gil/image_view_factory.hpp>
 #include <boost/gil/point.hpp>
+#include <boost/gil/typedefs.hpp>
 #include <boost/gil/detail/mp11.hpp>
 
 #include <cstddef>
@@ -137,7 +138,7 @@ struct nth_channel_view_fn
 {
     using result_type = ResultView;
 
-    nth_channel_view_fn(std::size_t n) : _n(n) {}
+    nth_channel_view_fn(index_t n) : _n(n) {}
 
     template <typename View>
     auto operator()(View const& src) const -> result_type
@@ -145,7 +146,7 @@ struct nth_channel_view_fn
         return result_type(nth_channel_view(src,_n));
     }
 
-    std::size_t _n;
+    index_t _n;
 };
 
 template <typename DstP, typename ResultView, typename CC = default_color_converter>
@@ -306,7 +307,7 @@ struct nth_channel_view_type<any_image_view<Views...>>
 /// \tparam Views Models Boost.MP11-compatible list of models of ImageViewConcept
 template <typename ...Views>
 inline
-auto nth_channel_view(any_image_view<Views...> const& src, std::size_t n)
+auto nth_channel_view(any_image_view<Views...> const& src, index_t n)
     -> typename nth_channel_view_type<any_image_view<Views...>>::type
 {
     using result_view_t = typename nth_channel_view_type<any_image_view<Views...>>::type;
diff --git a/include/boost/gil/image_view_factory.hpp b/include/boost/gil/image_view_factory.hpp
index 2aedbff14c..4fe8327cf0 100644
--- a/include/boost/gil/image_view_factory.hpp
+++ b/include/boost/gil/image_view_factory.hpp
@@ -14,6 +14,7 @@
 #include <boost/gil/image_view.hpp>
 #include <boost/gil/metafunctions.hpp>
 #include <boost/gil/point.hpp>
+#include <boost/gil/typedefs.hpp>
 #include <boost/gil/detail/mp11.hpp>
 
 #include <boost/assert.hpp>
@@ -309,7 +310,7 @@ namespace detail {
     struct __nth_channel_view_basic<View,false> {
         using type = typename view_type<typename channel_type<View>::type, gray_layout_t, false, true, view_is_mutable<View>::value>::type;
 
-        static type make(const View& src, std::size_t n) {
+        static type make(const View& src, index_t n) {
             using locator_t = typename type::xy_locator;
             using x_iterator_t = typename type::x_iterator;
             using x_iterator_base_t = typename iterator_adaptor_get_base<x_iterator_t>::type;
@@ -322,7 +323,7 @@ namespace detail {
     template <typename View>
     struct __nth_channel_view_basic<View,true> {
         using type = typename view_type<typename channel_type<View>::type, gray_layout_t, false, false, view_is_mutable<View>::value>::type;
-        static type make(const View& src, std::size_t n) {
+        static type make(const View& src, index_t n) {
             using x_iterator_t = typename type::x_iterator;
             return interleaved_view(src.width(),src.height(),(x_iterator_t)&(src(0,0)[n]), src.pixels().row_size());
         }
@@ -346,7 +347,7 @@ namespace detail {
     public:
         using type = typename __nth_channel_view_basic<View,adjacent>::type;
 
-        static type make(const View& src, std::size_t n) {
+        static type make(const View& src, index_t n) {
             return __nth_channel_view_basic<View,adjacent>::make(src,n);
         }
     };
@@ -374,10 +375,10 @@ namespace detail {
         using reference = mp11::mp_if_c<is_mutable, ref_t, value_type>;
         using result_type = reference;
 
-        nth_channel_deref_fn(std::size_t n=0) : _n(n) {}
+        nth_channel_deref_fn(index_t n=0) : _n(n) {}
         template <typename P> nth_channel_deref_fn(const nth_channel_deref_fn<P>& d) : _n(d._n) {}
 
-        std::size_t _n;        // the channel to use
+        index_t _n;        // the channel to use
 
         result_type operator()(argument_type srcP) const {
             return result_type(srcP[_n]);
@@ -390,7 +391,7 @@ namespace detail {
         using AD = typename View::template add_deref<deref_t>;
     public:
         using type = typename AD::type;
-        static type make(const View& src, std::size_t n) {
+        static type make(const View& src, index_t n) {
             return AD::make(src, deref_t(n));
         }
     };
@@ -409,13 +410,13 @@ struct nth_channel_view_type {
     using VB = detail::__nth_channel_view<View,view_is_basic<View>::value>;
 public:
     using type = typename VB::type;
-    static type make(const View& src, std::size_t n) { return VB::make(src,n); }
+    static type make(const View& src, index_t n) { return VB::make(src,n); }
 };
 
 
 /// \ingroup ImageViewTransformationsNthChannel
 template <typename View>
-typename nth_channel_view_type<View>::type nth_channel_view(const View& src, std::size_t n) {
+typename nth_channel_view_type<View>::type nth_channel_view(const View& src, index_t n) {
     return nth_channel_view_type<View>::make(src,n);
 }
 
@@ -430,11 +431,11 @@ typename nth_channel_view_type<View>::type nth_channel_view(const View& src, std
 /// \brief single-channel (grayscale) view of the K-th channel of a given image_view. The channel index is a template parameter
 
 namespace detail {
-    template <std::size_t K, typename View, bool AreChannelsTogether> struct __kth_channel_view_basic;
+    template <index_t K, typename View, bool AreChannelsTogether> struct __kth_channel_view_basic;
 
     // kth_channel_view when the channels are not adjacent in memory. This can happen for multi-channel interleaved images
     // or images with a step
-    template <std::size_t K, typename View>
+    template <index_t K, typename View>
     struct __kth_channel_view_basic<K,View,false> {
     private:
         using channel_t = typename kth_element_type<typename View::value_type,K>::type;
@@ -451,7 +452,7 @@ namespace detail {
     };
 
     // kth_channel_view when the channels are together in memory (true for simple grayscale or planar images)
-    template <std::size_t K, typename View>
+    template <index_t K, typename View>
     struct __kth_channel_view_basic<K,View,true> {
     private:
         using channel_t = typename kth_element_type<typename View::value_type, K>::type;
@@ -463,10 +464,10 @@ namespace detail {
         }
     };
 
-    template <std::size_t K, typename View, bool IsBasic> struct __kth_channel_view;
+    template <index_t K, typename View, bool IsBasic> struct __kth_channel_view;
 
     // For basic (memory-based) views dispatch to __kth_channel_view_basic
-    template <std::size_t K, typename View> struct __kth_channel_view<K,View,true>
+    template <index_t K, typename View> struct __kth_channel_view<K,View,true>
     {
     private:
         using src_x_iterator = typename View::x_iterator;
@@ -491,7 +492,7 @@ namespace detail {
     /// If the input is a pixel value or constant reference, the function object is immutable. Otherwise it is mutable (and returns non-const reference to the k-th channel)
     /// \tparam SrcP reference to PixelConcept (could be pixel value or const/non-const reference)
     /// Examples: pixel<T,L>, pixel<T,L>&, const pixel<T,L>&, planar_pixel_reference<T&,L>, planar_pixel_reference<const T&,L>
-    template <std::size_t K, typename SrcP>
+    template <index_t K, typename SrcP>
     struct kth_channel_deref_fn
     {
         static constexpr bool is_mutable =
@@ -519,7 +520,7 @@ namespace detail {
         }
     };
 
-    template <std::size_t K, typename View> struct __kth_channel_view<K,View,false> {
+    template <index_t K, typename View> struct __kth_channel_view<K,View,false> {
     private:
         using deref_t = kth_channel_deref_fn<K,typename View::reference>;
         using AD = typename View::template add_deref<deref_t>;
@@ -537,7 +538,7 @@ namespace detail {
 /// If the channels in the source view are adjacent in memory (such as planar non-step view or single-channel view) then the
 /// return view is a single-channel non-step view.
 /// If the channels are non-adjacent (interleaved and/or step view) then the return view is a single-channel step view.
-template <std::size_t K, typename View>
+template <index_t K, typename View>
 struct kth_channel_view_type {
 private:
     BOOST_GIL_CLASS_REQUIRE(View, boost::gil, ImageViewConcept)
@@ -548,7 +549,7 @@ struct kth_channel_view_type {
 };
 
 /// \ingroup ImageViewTransformationsKthChannel
-template <std::size_t K, typename View>
+template <index_t K, typename View>
 typename kth_channel_view_type<K,View>::type kth_channel_view(const View& src) {
     return kth_channel_view_type<K,View>::make(src);
 }
diff --git a/include/boost/gil/typedefs.hpp b/include/boost/gil/typedefs.hpp
index 4ff10d52d7..7d732525af 100644
--- a/include/boost/gil/typedefs.hpp
+++ b/include/boost/gil/typedefs.hpp
@@ -1,6 +1,7 @@
 //
 // Copyright 2005-2007 Adobe Systems Incorporated
 // Copyright 2018 Mateusz Loskot <mateusz@loskot.net>
+// Copyright 2022 Dirk Stolle
 //
 // Use, modification and distribution are subject to the Boost Software License,
 // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
@@ -16,6 +17,7 @@
 #include <boost/gil/rgb.hpp>
 #include <boost/gil/rgba.hpp>
 
+#include <cstddef>
 #include <cstdint>
 #include <memory>
 
@@ -91,6 +93,9 @@ template <typename B, typename Mn, typename Mx> struct scoped_channel_value;
 template <typename T> struct float_point_zero;
 template <typename T> struct float_point_one;
 
+// general-purpose index type
+using index_t = std::ptrdiff_t;
+
 //////////////////////////////////////////////////////////////////////////////////////////
 ///  Built-in channel models
 //////////////////////////////////////////////////////////////////////////////////////////