/* Copyright 2005-2007 Adobe Systems Incorporated Use, modification and distribution are subject to 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). See http://stlab.adobe.com/gil for most recent version including documentation. */ /*************************************************************************************************/ #ifndef GIL_CHANNEL_HPP #define GIL_CHANNEL_HPP //////////////////////////////////////////////////////////////////////////////////////// /// \file /// \brief Channel utilities /// \author Lubomir Bourdev and Hailin Jin \n /// Adobe Systems Incorporated /// \date 2005-2007 \n Last updated on May 6, 2007 /// /// Definitions of standard GIL channel models /// //////////////////////////////////////////////////////////////////////////////////////// #include #include #include #include "gil_config.hpp" #include "utilities.hpp" namespace boost { namespace gil { /////////////////////////////////////////// //// channel_traits //// //// \ingroup ChannelModel //// \class channel_traits //// \brief defines properties of channels, such as their range and associated types //// //// The channel traits must be defined for every model of ChannelConcept //// Default traits are provided. For built-in types the default traits use //// built-in pointer and reference and the channel range is the physical //// range of the type. For classes, the default traits forward the associated types //// and range to the class. //// /////////////////////////////////////////// namespace detail { template struct channel_traits_impl; // channel traits for custom class template struct channel_traits_impl { typedef typename T::value_type value_type; typedef typename T::reference reference; typedef typename T::pointer pointer; typedef typename T::const_reference const_reference; typedef typename T::const_pointer const_pointer; BOOST_STATIC_CONSTANT(bool, is_mutable=T::is_mutable); static value_type min_value() { return T::min_value(); } static value_type max_value() { return T::max_value(); } }; // channel traits implementation for built-in integral or floating point channel type template struct channel_traits_impl { typedef T value_type; typedef T& reference; typedef T* pointer; typedef const T& const_reference; typedef T const* const_pointer; BOOST_STATIC_CONSTANT(bool, is_mutable=true); static value_type min_value() { return (std::numeric_limits::min)(); } static value_type max_value() { return (std::numeric_limits::max)(); } }; // channel traits implementation for constant built-in scalar or floating point type template struct channel_traits_impl : public channel_traits_impl { typedef const T& reference; typedef const T* pointer; BOOST_STATIC_CONSTANT(bool, is_mutable=false); }; } /** \ingroup ChannelModel \brief Traits for channels. Contains the following members: \code template struct channel_traits { typedef ... value_type; typedef ... reference; typedef ... pointer; typedef ... const_reference; typedef ... const_pointer; static const bool is_mutable; static value_type min_value(); static value_type max_value(); }; \endcode */ template struct channel_traits : public detail::channel_traits_impl::value> {}; // Channel traits for C++ reference type - remove the reference template struct channel_traits< T&> : public channel_traits {}; // Channel traits for constant C++ reference type template struct channel_traits : public channel_traits { typedef typename channel_traits::const_reference reference; typedef typename channel_traits::const_pointer pointer; BOOST_STATIC_CONSTANT(bool, is_mutable=false); }; /////////////////////////////////////////// //// //// scoped_channel_value //// /////////////////////////////////////////// /** \defgroup ScopedChannelValue scoped_channel_value \ingroup ChannelModel \brief A channel adaptor that modifies the range of the source channel. Models: ChannelValueConcept Example: \code // Create a double channel with range [-0.5 .. 0.5] struct double_minus_half { static double apply() { return -0.5; } }; struct double_plus_half { static double apply() { return 0.5; } }; typedef scoped_channel_value bits64custom_t; // channel_convert its maximum should map to the maximum bits64custom_t x = channel_traits::max_value(); assert(x == 0.5); bits16 y = channel_convert(x); assert(y == 65535); \endcode */ /// \ingroup ScopedChannelValue /// \brief A channel adaptor that modifies the range of the source channel. Models: ChannelValueConcept template // classes with a static apply() function returning the minimum/maximum channel values struct scoped_channel_value { typedef scoped_channel_value value_type; typedef value_type& reference; typedef value_type* pointer; typedef const value_type& const_reference; typedef const value_type* const_pointer; BOOST_STATIC_CONSTANT(bool, is_mutable=channel_traits::is_mutable); static value_type min_value() { return MinVal::apply(); } static value_type max_value() { return MaxVal::apply(); } scoped_channel_value() {} scoped_channel_value(const scoped_channel_value& c) : _value(c._value) {} scoped_channel_value(BaseChannelValue val) : _value(val) {} scoped_channel_value& operator++() { ++_value; return *this; } scoped_channel_value& operator--() { --_value; return *this; } scoped_channel_value operator++(int) { scoped_channel_value tmp=*this; this->operator++(); return tmp; } scoped_channel_value operator--(int) { scoped_channel_value tmp=*this; this->operator--(); return tmp; } template scoped_channel_value& operator+=(Scalar2 v) { _value+=v; return *this; } template scoped_channel_value& operator-=(Scalar2 v) { _value-=v; return *this; } template scoped_channel_value& operator*=(Scalar2 v) { _value*=v; return *this; } template scoped_channel_value& operator/=(Scalar2 v) { _value/=v; return *this; } scoped_channel_value& operator=(BaseChannelValue v) { _value=v; return *this; } operator BaseChannelValue() const { return _value; } private: BaseChannelValue _value; }; struct float_zero { static float apply() { return 0.0f; } }; struct float_one { static float apply() { return 1.0f; } }; /////////////////////////////////////////// //// //// Support for sub-byte channels. These are integral channels whose value is contained in a range of bits inside an integral type //// /////////////////////////////////////////// // It is necessary for packed channels to have their own value type. They cannot simply use an integral large enough to store the data. Here is why: // - Any operation that requires returning the result by value will otherwise return the built-in integral type, which will have incorrect range // That means that after getting the value of the channel we cannot properly do channel_convert, channel_invert, etc. // - Two channels are declared compatible if they have the same value type. That means that a packed channel is incorrectly declared compatible with an integral type namespace detail { // returns the smallest fast unsigned integral type that has at least NumBits bits template struct min_fast_uint : public mpl::if_c< (NumBits<=8), uint_least8_t, typename mpl::if_c< (NumBits<=16), uint_least16_t, typename mpl::if_c< (NumBits<=32), uint_least32_t, uintmax_t >::type >::type > {}; } /** \defgroup PackedChannelValueModel packed_channel_value \ingroup ChannelModel \brief Represents the value of an unsigned integral channel operating over a bit range. Models: ChannelValueConcept Example: \code // A 4-bit unsigned integral channel. typedef packed_channel_value<4> bits4; assert(channel_traits::min_value()==0); assert(channel_traits::max_value()==15); assert(sizeof(bits4)==1); BOOST_STATIC_ASSERT((boost::is_integral::value)); \endcode */ /// \ingroup PackedChannelValueModel /// \brief The value of a subbyte channel. Models: ChannelValueConcept template class packed_channel_value { static const std::size_t num_values = 1<::type integer_t; typedef packed_channel_value value_type; typedef value_type& reference; typedef const value_type& const_reference; typedef value_type* pointer; typedef const value_type* const_pointer; static value_type min_value() { return value_type(0); } static value_type max_value() { return value_type(num_values-1); } BOOST_STATIC_CONSTANT(bool, is_mutable=true); packed_channel_value() {} packed_channel_value(integer_t v) : _value(v % num_values) {} packed_channel_value(const packed_channel_value& v) : _value(v._value) {} template packed_channel_value(Scalar v) : _value(integer_t(v) % num_values) {} // suppress GCC implicit conversion warnings in channel regression file operator integer_t() const { return _value; } private: integer_t _value; }; namespace detail { template struct static_copy_bytes { void operator()(const unsigned char* from, unsigned char* to) const { *to = *from; static_copy_bytes()(++from,++to); } }; template <> struct static_copy_bytes<0> { void operator()(const unsigned char* , unsigned char*) const {} }; template class packed_channel_reference_base { protected: typedef typename mpl::if_c::type data_ptr_t; public: data_ptr_t _data_ptr; // void* pointer to the first byte of the bit range typedef packed_channel_value value_type; typedef const Derived reference; typedef value_type* pointer; typedef const value_type* const_pointer; BOOST_STATIC_CONSTANT(int, num_bits=NumBits); BOOST_STATIC_CONSTANT(bool, is_mutable=Mutable); static value_type min_value() { return channel_traits::min_value(); } static value_type max_value() { return channel_traits::max_value(); } typedef BitField bitfield_t; typedef typename value_type::integer_t integer_t; packed_channel_reference_base(data_ptr_t data_ptr) : _data_ptr(data_ptr) {} packed_channel_reference_base(const packed_channel_reference_base& ref) : _data_ptr(ref._data_ptr) {} const Derived& operator=(integer_t v) const { set(v); return derived(); } const Derived& operator++() const { set(get()+1); return derived(); } const Derived& operator--() const { set(get()-1); return derived(); } Derived operator++(int) const { Derived tmp=derived(); this->operator++(); return tmp; } Derived operator--(int) const { Derived tmp=derived(); this->operator--(); return tmp; } template const Derived& operator+=(Scalar2 v) const { set(get()+v); return derived(); } template const Derived& operator-=(Scalar2 v) const { set(get()-v); return derived(); } template const Derived& operator*=(Scalar2 v) const { set(get()*v); return derived(); } template const Derived& operator/=(Scalar2 v) const { set(get()/v); return derived(); } operator integer_t() const { return get(); } data_ptr_t operator &() const {return _data_ptr;} protected: static const integer_t max_val = (1<(_data_ptr); } void set_data(const bitfield_t& val) const { *static_cast< bitfield_t*>(_data_ptr) = val; } #else bitfield_t get_data() const { bitfield_t ret; static_copy_bytes()(gil_reinterpret_cast_c(_data_ptr),gil_reinterpret_cast(&ret)); return ret; } void set_data(const bitfield_t& val) const { static_copy_bytes()(gil_reinterpret_cast_c(&val),gil_reinterpret_cast(_data_ptr)); } #endif private: void set(integer_t value) const { // can this be done faster?? const integer_t num_values = max_val+1; this->derived().set_unsafe(((value % num_values) + num_values) % num_values); } integer_t get() const { return derived().get(); } const Derived& derived() const { return static_cast(*this); } }; } // namespace detail /** \defgroup PackedChannelReferenceModel packed_channel_reference \ingroup ChannelModel \brief Represents a reference proxy to a channel operating over a bit range whose offset is fixed at compile time. Models ChannelConcept Example: \code // Reference to a 2-bit channel starting at bit 1 (i.e. the second bit) typedef const packed_channel_reference bits2_1_ref_t; uint16_t data=0; bits2_1_ref_t channel_ref(&data); channel_ref = channel_traits::max_value(); // == 3 assert(data == 6); // == 3<<1 == 6 \endcode */ template // true if the reference is mutable class packed_channel_reference; template // true if the reference is mutable class packed_dynamic_channel_reference; /// \ingroup PackedChannelReferenceModel /// \brief A constant subbyte channel reference whose bit offset is fixed at compile time. Models ChannelConcept template class packed_channel_reference : public detail::packed_channel_reference_base,BitField,NumBits,false> { typedef detail::packed_channel_reference_base,BitField,NumBits,false> parent_t; friend class packed_channel_reference; // CHH - Begin //static const BitField channel_mask = parent_t::max_val<( parent_t::max_val ) << FirstBit; // CHH - End void operator=(const packed_channel_reference&); public: typedef const packed_channel_reference const_reference; typedef const packed_channel_reference mutable_reference; typedef typename parent_t::integer_t integer_t; explicit packed_channel_reference(const void* data_ptr) : parent_t(data_ptr) {} packed_channel_reference(const packed_channel_reference& ref) : parent_t(ref._data_ptr) {} packed_channel_reference(const mutable_reference& ref) : parent_t(ref._data_ptr) {} unsigned first_bit() const { return FirstBit; } integer_t get() const { return integer_t((this->get_data()&channel_mask) >> FirstBit); } }; /// \ingroup PackedChannelReferenceModel /// \brief A mutable subbyte channel reference whose bit offset is fixed at compile time. Models ChannelConcept template class packed_channel_reference : public detail::packed_channel_reference_base,BitField,NumBits,true> { typedef detail::packed_channel_reference_base,BitField,NumBits,true> parent_t; friend class packed_channel_reference; // CHH - Begin //static const BitField channel_mask = parent_t::max_val<( parent_t::max_val ) << FirstBit; // CHH - End public: typedef const packed_channel_reference const_reference; typedef const packed_channel_reference mutable_reference; typedef typename parent_t::integer_t integer_t; explicit packed_channel_reference(void* data_ptr) : parent_t(data_ptr) {} packed_channel_reference(const packed_channel_reference& ref) : parent_t(ref._data_ptr) {} const packed_channel_reference& operator=(integer_t value) const { assert(value<=parent_t::max_val); set_unsafe(value); return *this; } const packed_channel_reference& operator=(const mutable_reference& ref) const { set_from_reference(ref.get_data()); return *this; } const packed_channel_reference& operator=(const const_reference& ref) const { set_from_reference(ref.get_data()); return *this; } template const packed_channel_reference& operator=(const packed_dynamic_channel_reference& ref) const { set_unsafe(ref.get()); return *this; } unsigned first_bit() const { return FirstBit; } integer_t get() const { return integer_t((this->get_data()&channel_mask) >> FirstBit); } // CHH - Begin //void set_unsafe(integer_t value) const { this->set_data((this->get_data() & ~channel_mask) | (value<set_data((this->get_data() & ~channel_mask) | (( static_cast< BitField >( value )<set_data((this->get_data() & ~channel_mask) | (other_bits & channel_mask)); } }; } } // namespace boost::gil namespace std { // We are forced to define swap inside std namespace because on some platforms (Visual Studio 8) STL calls swap qualified. // swap with 'left bias': // - swap between proxy and anything // - swap between value type and proxy // - swap between proxy and proxy /// \ingroup PackedChannelReferenceModel /// \brief swap for packed_channel_reference template inline void swap(const boost::gil::packed_channel_reference x, R& y) { boost::gil::swap_proxy::value_type>(x,y); } /// \ingroup PackedChannelReferenceModel /// \brief swap for packed_channel_reference template inline void swap(typename boost::gil::packed_channel_reference::value_type& x, const boost::gil::packed_channel_reference y) { boost::gil::swap_proxy::value_type>(x,y); } /// \ingroup PackedChannelReferenceModel /// \brief swap for packed_channel_reference template inline void swap(const boost::gil::packed_channel_reference x, const boost::gil::packed_channel_reference y) { boost::gil::swap_proxy::value_type>(x,y); } } // namespace std namespace boost { namespace gil { /** \defgroup PackedChannelDynamicReferenceModel packed_dynamic_channel_reference \ingroup ChannelModel \brief Represents a reference proxy to a channel operating over a bit range whose offset is specified at run time. Models ChannelConcept Example: \code // Reference to a 2-bit channel whose offset is specified at construction time typedef const packed_dynamic_channel_reference bits2_dynamic_ref_t; uint16_t data=0; bits2_dynamic_ref_t channel_ref(&data,1); channel_ref = channel_traits::max_value(); // == 3 assert(data == 6); // == (3<<1) == 6 \endcode */ /// \brief Models a constant subbyte channel reference whose bit offset is a runtime parameter. Models ChannelConcept /// Same as packed_channel_reference, except that the offset is a runtime parameter /// \ingroup PackedChannelDynamicReferenceModel template class packed_dynamic_channel_reference : public detail::packed_channel_reference_base,BitField,NumBits,false> { typedef detail::packed_channel_reference_base,BitField,NumBits,false> parent_t; friend class packed_dynamic_channel_reference; unsigned _first_bit; // 0..7 void operator=(const packed_dynamic_channel_reference&); public: typedef const packed_dynamic_channel_reference const_reference; typedef const packed_dynamic_channel_reference mutable_reference; typedef typename parent_t::integer_t integer_t; packed_dynamic_channel_reference(const void* data_ptr, unsigned first_bit) : parent_t(data_ptr), _first_bit(first_bit) {} packed_dynamic_channel_reference(const const_reference& ref) : parent_t(ref._data_ptr), _first_bit(ref._first_bit) {} packed_dynamic_channel_reference(const mutable_reference& ref) : parent_t(ref._data_ptr), _first_bit(ref._first_bit) {} unsigned first_bit() const { return _first_bit; } integer_t get() const { const BitField channel_mask = parent_t::max_val<<_first_bit; // CHH - Begin // remove notorious C4244 //return (this->get_data()&channel_mask) >> _first_bit; return ( static_cast< integer_t >( this->get_data()&channel_mask ) >> _first_bit ); // CHH - End } }; /// \brief Models a mutable subbyte channel reference whose bit offset is a runtime parameter. Models ChannelConcept /// Same as packed_channel_reference, except that the offset is a runtime parameter /// \ingroup PackedChannelDynamicReferenceModel template class packed_dynamic_channel_reference : public detail::packed_channel_reference_base,BitField,NumBits,true> { typedef detail::packed_channel_reference_base,BitField,NumBits,true> parent_t; friend class packed_dynamic_channel_reference; unsigned _first_bit; public: typedef const packed_dynamic_channel_reference const_reference; typedef const packed_dynamic_channel_reference mutable_reference; typedef typename parent_t::integer_t integer_t; packed_dynamic_channel_reference(void* data_ptr, unsigned first_bit) : parent_t(data_ptr), _first_bit(first_bit) {} packed_dynamic_channel_reference(const packed_dynamic_channel_reference& ref) : parent_t(ref._data_ptr), _first_bit(ref._first_bit) {} const packed_dynamic_channel_reference& operator=(integer_t value) const { assert(value<=parent_t::max_val); set_unsafe(value); return *this; } const packed_dynamic_channel_reference& operator=(const mutable_reference& ref) const { set_unsafe(ref.get()); return *this; } const packed_dynamic_channel_reference& operator=(const const_reference& ref) const { set_unsafe(ref.get()); return *this; } template const packed_dynamic_channel_reference& operator=(const packed_channel_reference& ref) const { set_unsafe(ref.get()); return *this; } unsigned first_bit() const { return _first_bit; } integer_t get() const { const BitField channel_mask = parent_t::max_val<<_first_bit; // CHH - Begin // remove notorious C4244 //return (this->get_data()&channel_mask) >> _first_bit; return ( static_cast< integer_t >( this->get_data()&channel_mask ) >> _first_bit ); // CHH - End } void set_unsafe(integer_t value) const { const BitField channel_mask = parent_t::max_val<<_first_bit; this->set_data((this->get_data() & ~channel_mask) | value<<_first_bit); } }; } } // namespace boost::gil namespace std { // We are forced to define swap inside std namespace because on some platforms (Visual Studio 8) STL calls swap qualified. // swap with 'left bias': // - swap between proxy and anything // - swap between value type and proxy // - swap between proxy and proxy /// \ingroup PackedChannelDynamicReferenceModel /// \brief swap for packed_dynamic_channel_reference template inline void swap(const boost::gil::packed_dynamic_channel_reference x, R& y) { boost::gil::swap_proxy::value_type>(x,y); } /// \ingroup PackedChannelDynamicReferenceModel /// \brief swap for packed_dynamic_channel_reference template inline void swap(typename boost::gil::packed_dynamic_channel_reference::value_type& x, const boost::gil::packed_dynamic_channel_reference y) { boost::gil::swap_proxy::value_type>(x,y); } /// \ingroup PackedChannelDynamicReferenceModel /// \brief swap for packed_dynamic_channel_reference template inline void swap(const boost::gil::packed_dynamic_channel_reference x, const boost::gil::packed_dynamic_channel_reference y) { boost::gil::swap_proxy::value_type>(x,y); } } // namespace std namespace boost { namespace gil { /////////////////////////////////////////// //// //// Built-in channel models //// /////////////////////////////////////////// /// \defgroup bits8 bits8 /// \ingroup ChannelModel /// \brief 8-bit unsigned integral channel type (typedef from uint8_t). Models ChannelValueConcept /// \ingroup bits8 typedef uint8_t bits8; /// \defgroup bits16 bits16 /// \ingroup ChannelModel /// \brief 16-bit unsigned integral channel type (typedef from uint16_t). Models ChannelValueConcept /// \ingroup bits16 typedef uint16_t bits16; /// \defgroup bits32 bits32 /// \ingroup ChannelModel /// \brief 32-bit unsigned integral channel type (typedef from uint32_t). Models ChannelValueConcept /// \ingroup bits32 typedef uint32_t bits32; /// \defgroup bits8s bits8s /// \ingroup ChannelModel /// \brief 8-bit signed integral channel type (typedef from int8_t). Models ChannelValueConcept /// \ingroup bits8s typedef int8_t bits8s; /// \defgroup bits16s bits16s /// \ingroup ChannelModel /// \brief 16-bit signed integral channel type (typedef from int16_t). Models ChannelValueConcept /// \ingroup bits16s typedef int16_t bits16s; /// \defgroup bits32s bits32s /// \ingroup ChannelModel /// \brief 32-bit signed integral channel type (typedef from int32_t). Models ChannelValueConcept /// \ingroup bits32s typedef int32_t bits32s; /// \defgroup bits32f bits32f /// \ingroup ChannelModel /// \brief 32-bit floating point channel type with range [0.0f ... 1.0f]. Models ChannelValueConcept /// \ingroup bits32f typedef scoped_channel_value bits32f; } } // namespace boost::gil namespace boost { template struct is_integral > : public mpl::true_ {}; template struct is_integral > : public mpl::true_ {}; template struct is_integral > : public mpl::true_ {}; template struct is_integral > : public is_integral {}; } #endif