13 #ifndef GIL_METAFUNCTIONS_HPP
14 #define GIL_METAFUNCTIONS_HPP
27 #include <boost/mpl/accumulate.hpp>
28 #include <boost/mpl/back.hpp>
29 #include <boost/mpl/bool.hpp>
30 #include <boost/mpl/if.hpp>
31 #include <boost/mpl/pop_back.hpp>
32 #include <boost/mpl/push_back.hpp>
33 #include <boost/mpl/transform.hpp>
34 #include <boost/mpl/vector.hpp>
35 #include <boost/mpl/vector_c.hpp>
36 #include <boost/type_traits.hpp>
41 namespace boost {
namespace gil {
44 template <
typename T,
typename L>
struct pixel;
45 template <
typename BitField,
typename ChannelRefVec,
typename Layout>
struct packed_pixel;
51 template <
typename Pixel,
bool IsPlanar,
typename Alloc>
class image;
52 template <
typename T>
struct channel_type;
53 template <
typename T>
struct color_space_type;
54 template <
typename T>
struct channel_mapping_type;
79 template <
typename T,
typename L>
struct pixel_reference_is_basic<const pixel<T,L>&> :
public mpl::true_ {};
80 template <
typename TR,
typename Cs>
struct pixel_reference_is_basic<planar_pixel_reference<TR,Cs> > :
public mpl::true_ {};
81 template <
typename TR,
typename Cs>
struct pixel_reference_is_basic<const planar_pixel_reference<TR,Cs> > :
public mpl::true_ {};
87 template <
typename Iterator>
89 template <
typename T,
typename L>
91 template <
typename T,
typename L>
92 struct iterator_is_basic<const pixel<T,L>* > :
public mpl::true_ {};
93 template <
typename T,
typename Cs>
94 struct iterator_is_basic<planar_pixel_iterator< T*,Cs> > :
public mpl::true_ {};
95 template <
typename T,
typename Cs>
96 struct iterator_is_basic<planar_pixel_iterator<const T*,Cs> > :
public mpl::true_ {};
97 template <
typename T,
typename L>
98 struct iterator_is_basic<memory_based_step_iterator< pixel<T,L>*> > :
public mpl::true_ {};
99 template <
typename T,
typename L>
100 struct iterator_is_basic<memory_based_step_iterator<const pixel<T,L>*> > :
public mpl::true_ {};
101 template <
typename T,
typename Cs>
102 struct iterator_is_basic<memory_based_step_iterator<planar_pixel_iterator< T*,Cs> > > :
public mpl::true_ {};
103 template <
typename T,
typename Cs>
104 struct iterator_is_basic<memory_based_step_iterator<planar_pixel_iterator<const T*,Cs> > > :
public mpl::true_ {};
120 template <
typename Pixel,
bool IsPlanar,
typename Alloc>
struct image_is_basic<
image<Pixel,IsPlanar,Alloc> > :
public mpl::true_ {};
129 template <
typename It,
bool IsBase,
bool EqualsStepType>
struct iterator_is_step_impl;
131 template <
typename It,
bool IsBase>
struct iterator_is_step_impl<It,IsBase,true> :
public mpl::true_{};
134 template <
typename It>
struct iterator_is_step_impl<It,true,false> :
public mpl::false_{};
137 template <
typename It>
struct iterator_is_step_impl<It,false,false>
138 :
public iterator_is_step<typename iterator_adaptor_get_base<It>::type>{};
143 template <
typename I>
struct iterator_is_step
144 :
public detail::iterator_is_step_impl<I,
145 !is_iterator_adaptor<I>::type::value,
146 is_same<I,typename dynamic_x_step_type<I>::type>::value >{};
166 template <
typename PixelReference>
168 :
public mpl::not_<is_same<typename remove_const_and_reference<PixelReference>::type,
169 typename remove_const_and_reference<PixelReference>::type::value_type> > {};
173 template <
typename Pixel>
174 struct pixel_is_reference :
public mpl::or_<is_reference<Pixel>, pixel_reference_is_proxy<Pixel> > {};
219 template <
typename T,
typename L>
struct pixel_reference_type<T,L,false,false> {
typedef const pixel<T,L>& type; };
220 template <
typename T,
typename L>
struct pixel_reference_type<T,L,true,true> {
typedef const planar_pixel_reference<typename channel_traits<T>::reference,
typename color_space_type<L>::type> type; };
221 template <
typename T,
typename L>
struct pixel_reference_type<T,L,true,false> {
typedef const planar_pixel_reference<typename channel_traits<T>::const_reference,
typename color_space_type<L>::type> type; };
227 template <
typename Pixel>
struct iterator_type_from_pixel<Pixel,false,false,false> {
typedef const Pixel* type; };
228 template <
typename Pixel>
struct iterator_type_from_pixel<Pixel,true,false,true> {
229 typedef planar_pixel_iterator<typename channel_traits<typename channel_type<Pixel>::type>::pointer,
typename color_space_type<Pixel>::type> type;
231 template <
typename Pixel>
struct iterator_type_from_pixel<Pixel,true,false,false> {
232 typedef planar_pixel_iterator<typename channel_traits<typename channel_type<Pixel>::type>::const_pointer,
typename color_space_type<Pixel>::type> type;
234 template <
typename Pixel,
bool IsPlanar,
bool IsMutable>
struct iterator_type_from_pixel<Pixel,IsPlanar,true,IsMutable> {
235 typedef memory_based_step_iterator<typename iterator_type_from_pixel<Pixel,IsPlanar,false,IsMutable>::type> type;
240 template <
typename T,
typename L,
bool IsPlanar=false,
bool IsStep=false,
bool IsMutable=true>
struct iterator_type{};
242 template <
typename T,
typename L>
struct iterator_type<T,L,false,false,false> {
typedef const pixel<T,L>* type; };
243 template <
typename T,
typename L>
struct iterator_type<T,L,true,false,true> {
typedef planar_pixel_iterator<T*,typename L::color_space_t> type; };
244 template <
typename T,
typename L>
struct iterator_type<T,L,true,false,false> {
typedef planar_pixel_iterator<const T*,typename L::color_space_t> type; };
245 template <
typename T,
typename L,
bool IsPlanar,
bool IsMutable>
struct iterator_type<T,L,IsPlanar,true,IsMutable> {
246 typedef memory_based_step_iterator<typename iterator_type<T,L,IsPlanar,false,IsMutable>::type> type;
251 template <
typename XIterator>
259 template <
typename BitField,
typename FirstBit,
typename NumBits>
260 struct packed_channel_reference_type {
261 typedef const packed_channel_reference<BitField,FirstBit::value,NumBits::value,true> type;
264 template <
typename BitField,
typename ChannelBitSizesVector>
265 class packed_channel_references_vector_type {
268 typedef typename mpl::accumulate<ChannelBitSizesVector, mpl::vector1<mpl::int_<0> >,
269 mpl::push_back<mpl::_1, mpl::plus<mpl::back<mpl::_1>, mpl::_2> > >::type first_bits_vector;
271 typedef typename mpl::transform<typename mpl::pop_back<first_bits_vector>::type, ChannelBitSizesVector,
272 packed_channel_reference_type<BitField, mpl::_1,mpl::_2> >::type type;
285 template <
typename BitField,
typename ChannelBitSizeVector,
typename Layout>
301 template <
typename BitField,
typename ChannelBitSizeVector,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
308 template <
typename BitField,
unsigned Size1,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
313 template <
typename BitField,
unsigned Size1,
unsigned Size2,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
318 template <
typename BitField,
unsigned Size1,
unsigned Size2,
unsigned Size3,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
323 template <
typename BitField,
unsigned Size1,
unsigned Size2,
unsigned Size3,
unsigned Size4,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
328 template <
typename BitField,
unsigned Size1,
unsigned Size2,
unsigned Size3,
unsigned Size4,
unsigned Size5,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
338 template <
typename ChannelBitSizeVector,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
341 BOOST_STATIC_CONSTANT(
int, bit_size = (mpl::accumulate<ChannelBitSizeVector, mpl::int_<0>, mpl::plus<mpl::_1, mpl::_2> >::type::value));
342 typedef typename detail::min_fast_uint<bit_size+7>::type bitfield_t;
350 template <
unsigned Size1,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
355 template <
unsigned Size1,
unsigned Size2,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
360 template <
unsigned Size1,
unsigned Size2,
unsigned Size3,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
365 template <
unsigned Size1,
unsigned Size2,
unsigned Size3,
unsigned Size4,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
370 template <
unsigned Size1,
unsigned Size2,
unsigned Size3,
unsigned Size4,
unsigned Size5,
typename Layout,
typename Alloc=std::allocator<
unsigned char> >
377 template <
typename Channel,
typename Layout>
383 template <
typename BitField,
int NumBits,
bool IsMutable,
typename Layout>
384 struct pixel_value_type< packed_dynamic_channel_reference<BitField,NumBits,IsMutable>,Layout> :
386 template <
typename BitField,
int NumBits,
bool IsMutable,
typename Layout>
387 struct pixel_value_type<const packed_dynamic_channel_reference<BitField,NumBits,IsMutable>,Layout> :
388 public packed_pixel_type<BitField, mpl::vector1_c<unsigned,NumBits>, Layout> {};
390 template <
typename BitField,
int FirstBit,
int NumBits,
bool IsMutable,
typename Layout>
391 struct pixel_value_type< packed_channel_reference<BitField,FirstBit,NumBits,IsMutable>,Layout> :
392 public packed_pixel_type<BitField, mpl::vector1_c<unsigned,NumBits>, Layout> {};
393 template <
typename BitField,
int FirstBit,
int NumBits,
bool IsMutable,
typename Layout>
394 struct pixel_value_type<const packed_channel_reference<BitField,FirstBit,NumBits,IsMutable>,Layout> :
395 public packed_pixel_type<BitField, mpl::vector1_c<unsigned,NumBits>, Layout> {};
397 template <
int NumBits,
typename Layout>
398 struct pixel_value_type<packed_channel_value<NumBits>,Layout> :
399 public packed_pixel_type<typename detail::min_fast_uint<NumBits>::type, mpl::vector1_c<unsigned,NumBits>, Layout> {};
404 template <
typename T,
typename L,
bool IsPlanar=false,
bool IsStepX=false,
bool IsMutable=true>
411 template <
typename T,
typename L,
bool IsPlanar=false,
bool IsStepX=false,
bool IsMutable=true>
418 template <
typename T,
typename L,
bool IsPlanar=false,
typename Alloc=std::allocator<
unsigned char> >
425 template <
typename Pixel,
bool IsPlanar=false,
bool IsStepX=false,
bool IsMutable=true>
434 template <
typename Ref,
typename T=use_default,
typename L=use_default,
typename IsPlanar=use_default,
typename IsMutable=use_default>
436 typedef typename remove_reference<Ref>::type pixel_t;
437 typedef typename mpl::if_<is_same<T, use_default>,
typename channel_type<pixel_t>::type, T >::type channel_t;
438 typedef typename mpl::if_<is_same<L, use_default>,
441 static const bool planar=mpl::if_<is_same<IsPlanar,use_default>, is_planar<pixel_t>, IsPlanar>::type::value;
449 template <
typename Iterator,
typename T=use_default,
typename L=use_default,
typename IsPlanar=use_default,
typename IsStep=use_default,
typename IsMutable=use_default>
451 typedef typename mpl::if_<is_same<T ,use_default>,
typename channel_type<Iterator>::type, T >::type channel_t;
452 typedef typename mpl::if_<is_same<L,use_default>,
456 static const bool planar=mpl::if_<is_same<IsPlanar,use_default>, is_planar<Iterator>, IsPlanar>::type::value;
465 template <
typename View,
typename T=use_default,
typename L=use_default,
typename IsPlanar=use_default,
typename StepX=use_default,
typename IsMutable=use_default>
467 typedef typename mpl::if_<is_same<T ,use_default>,
typename channel_type<View>::type, T>
::type channel_t;
468 typedef typename mpl::if_<is_same<L,use_default>,
470 static const bool mut =mpl::if_<is_same<IsMutable,use_default>,
view_is_mutable<View>, IsMutable>::type::value;
471 static const bool planar=mpl::if_<is_same<IsPlanar,use_default>, is_planar<View>, IsPlanar>::type::value;
480 template <
typename Image,
typename T=use_default,
typename L=use_default,
typename IsPlanar=use_default>
482 typedef typename mpl::if_<is_same<T ,use_default>,
typename channel_type<Image>::type, T >
::type channel_t;
483 typedef typename mpl::if_<is_same<L,use_default>,
485 static const bool planar=mpl::if_<is_same<IsPlanar,use_default>, is_planar<Image>, IsPlanar>::type::value;
metafunction predicate determining whether the given iterator is a plain one or an adaptor over anoth...
Definition: gil_concept.hpp:70
Returns the type of an interleaved packed image: an image whose channels may not be byte-aligned...
Definition: metafunctions.hpp:302
Determines whether the given pixel reference is a proxy class or a native C++ reference.
Definition: metafunctions.hpp:167
A reference proxy to a planar pixel. Models: HomogeneousColorBaseConcept, HomogeneousPixelConcept.
Definition: metafunctions.hpp:46
Returns the type of a homogeneous image given the channel type, layout, and whether it operates on pl...
Definition: metafunctions.hpp:419
Determines if the given locator has a horizontal step that could be set dynamically.
Definition: metafunctions.hpp:150
Returns the type of a homogeneous view given the channel type, layout, whether it operates on planar ...
Definition: metafunctions.hpp:412
A lightweight object that interprets memory as a 2D array of pixels. Models ImageViewConcept,PixelBasedConcept,HasDynamicXStepTypeConcept,HasDynamicYStepTypeConcept,HasTransposedTypeConcept.
Definition: image_view.hpp:68
returns the base iterator for a given iterator adaptor. Provide an specialization when introducing ne...
Definition: gil_concept.hpp:72
Returns the type of a single-channel image given its bitfield type, the bit size of its channel and i...
Definition: metafunctions.hpp:309
Represents a pixel value (a container of channels). Models: HomogeneousColorBaseValueConcept, PixelValueConcept, HomogeneousPixelBasedConcept.
Definition: metafunctions.hpp:44
Returns the type of a homogeneous iterator given the channel type, layout, whether it operates on pla...
Definition: metafunctions.hpp:240
Returns the type of a four channel image given its bitfield type, the bit size of its channels and it...
Definition: metafunctions.hpp:324
Returns the type of a two channel image given its bitfield type, the bit size of its channels and its...
Definition: metafunctions.hpp:314
Returns the type of a five channel bit-aligned image given the bit size of its channels and its layou...
Definition: metafunctions.hpp:371
Heterogeneous pixel reference corresponding to non-byte-aligned bit range. Models ColorBaseConcept...
Definition: bit_aligned_pixel_reference.hpp:125
Constructs a pixel iterator type from a source pixel iterator type by changing some of the properties...
Definition: metafunctions.hpp:450
An iterator over planar pixels. Models HomogeneousColorBaseConcept, PixelIteratorConcept, HomogeneousPixelBasedConcept, MemoryBasedIteratorConcept, HasDynamicXStepTypeConcept.
Definition: algorithm.hpp:53
Determines if a given pixel iterator is basic Basic iterators must use gil::pixel (if interleaved)...
Definition: metafunctions.hpp:88
Concept check classes for GIL concepts.
Constructs a pixel reference type from a source pixel reference type by changing some of the properti...
Definition: metafunctions.hpp:435
Returns the type of a four channel bit-aligned image given the bit size of its channels and its layou...
Definition: metafunctions.hpp:366
Memory-based pixel locator. Models: PixelLocatorConcept,HasDynamicXStepTypeConcept,HasDynamicYStepTypeConcept,HasTransposedTypeConceptThe class takes a step iterator as a parameter. The step iterator provides navigation along the vertical axis while its base iterator provides horizontal navigation.
Definition: algorithm.hpp:57
Given a pixel iterator defining access to pixels along a row, returns the types of the corresponding ...
Definition: metafunctions.hpp:252
Basic images must use basic views and std::allocator of char.
Definition: metafunctions.hpp:119
Determines if the given pixel reference is mutable (i.e. its channels can be changed) ...
Definition: metafunctions.hpp:184
Determines if the given locator is mutable (i.e. its pixels can be changed)
Definition: metafunctions.hpp:190
Constructs a homogeneous image type from a source image type by changing some of the properties...
Definition: metafunctions.hpp:481
Represents a color space and ordering of channels in memory.
Definition: utilities.hpp:317
container interface over image view. Models ImageConcept, PixelBasedConcept
Definition: image.hpp:59
Determines if a given locator is basic. A basic locator is memory-based and has basic x_iterator and ...
Definition: metafunctions.hpp:109
Returns the type of a homogeneous pixel reference given the channel type, layout, whether it operates...
Definition: metafunctions.hpp:217
Returns the type of a packed image whose pixels may not be byte aligned. For example, an "rgb222" image is bit-aligned because its pixel spans six bits.
Definition: metafunctions.hpp:339
Determines if the given view has a vertical step that could be set dynamically.
Definition: metafunctions.hpp:162
Determines if the given view is mutable (i.e. its pixels can be changed)
Definition: metafunctions.hpp:193
Returns the type of a homogeneous pixel given the channel type and layout.
Definition: metafunctions.hpp:378
Returns the type of a homogeneous locator given the channel type, layout, whether it operates on plan...
Definition: metafunctions.hpp:405
Metafunction predicate returning whether the given iterator allows for changing its values...
Definition: gil_concept.hpp:69
Constructs an image view type from a source view type by changing some of the properties.Use use_default for the properties of the source view that you want to keep.
Definition: metafunctions.hpp:466
Returns the type of a packed pixel given its bitfield type, the bit size of its channels and its layo...
Definition: metafunctions.hpp:286
Heterogeneous pixel value whose channel references can be constructed from the pixel bitfield and the...
Definition: gil_concept.hpp:83
Given a model of a pixel, determines whether the model represents a pixel reference (as opposed to pi...
Definition: metafunctions.hpp:174
Returns the type of a single-channel bit-aligned image given the bit size of its channel and its layo...
Definition: metafunctions.hpp:351
Determines if a given pixel reference is basic Basic references must use gil::pixel& (if interleaved)...
Definition: metafunctions.hpp:77
Returns the type of a three channel image given its bitfield type, the bit size of its channels and i...
Definition: metafunctions.hpp:319
Determines if the given locator has a vertical step that could be set dynamically.
Definition: metafunctions.hpp:154
Basic views must be over basic locators.
Definition: metafunctions.hpp:114
Determines if the given iterator has a step that could be set dynamically.
Definition: metafunctions.hpp:127
Returns the type of a two channel bit-aligned image given the bit size of its channels and its layout...
Definition: metafunctions.hpp:356
Returns the type of a pixel iterator given the pixel type, whether it operates on planar data...
Definition: metafunctions.hpp:225
Returns the type of a view the pixel type, whether it operates on planar data and whether it has a st...
Definition: metafunctions.hpp:426
MEMORY-BASED STEP ITERATOR.
Definition: algorithm.hpp:55
Returns the type of a three channel bit-aligned image given the bit size of its channels and its layo...
Definition: metafunctions.hpp:361
Determines if the given view has a horizontal step that could be set dynamically. ...
Definition: metafunctions.hpp:158
Returns the type of a five channel image given its bitfield type, the bit size of its channels and it...
Definition: metafunctions.hpp:329