| <!-- Copyright 2008 Lubomir Bourdev and Hailin Jin |
| |
| 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) |
| --> |
| |
| <!-- |
| Copyright 2005-2007 Adobe Systems Incorporated |
| Distributed under the MIT License (see accompanying file LICENSE_1_0_0.txt |
| or a copy at http://stlab.adobe.com/licenses.html) |
| |
| Some files are held under additional license. |
| Please see "http://stlab.adobe.com/licenses.html" for more information. |
| --> |
| |
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
| "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> |
| |
| <head> |
| <TITLE>Generic Image Library: variant.hpp Source File</TITLE> |
| <META HTTP-EQUIV="content-type" CONTENT="text/html;charset=ISO-8859-1"/> |
| <LINK TYPE="text/css" REL="stylesheet" HREF="adobe_source.css"/> |
| </head> |
| <body> |
| <table border="0" cellspacing="0" cellpadding="0" style='width: 100%; margin: 0; padding: 0'><tr> |
| <td width="100%" valign="top" style='padding-left: 10px; padding-right: 10px; padding-bottom: 10px'> |
| <div class="qindex"><a class="qindex" href="index.html">Modules</a> |
| | <a class="qindex" href="classes.html">Alphabetical List</a> |
| | <a class="qindex" href="annotated.html">Class List</a> |
| | <a class="qindex" href="dirs.html">Directories</a> |
| | <a class="qindex" href="files.html">File List</a> |
| | <a class="qindex" href="../index.html">GIL Home Page</a> |
| </div> |
| <!-- End Header --> |
| <!-- Generated by Doxygen 1.5.6 --> |
| <div class="navpath"><a class="el" href="g_i_l_0076.html">boost</a> » <a class="el" href="g_i_l_0079.html">gil</a> » <a class="el" href="g_i_l_0078.html">extension</a> » <a class="el" href="g_i_l_0075.html">dynamic_image</a> |
| </div> |
| <div class="contents"> |
| <h1>variant.hpp</h1><a href="variant_8hpp.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/*</span> |
| <a name="l00002"></a>00002 <span class="comment"> Copyright 2005-2007 Adobe Systems Incorporated</span> |
| <a name="l00003"></a>00003 <span class="comment"> </span> |
| <a name="l00004"></a>00004 <span class="comment"> Use, modification and distribution are subject to the Boost Software License,</span> |
| <a name="l00005"></a>00005 <span class="comment"> Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at</span> |
| <a name="l00006"></a>00006 <span class="comment"> http://www.boost.org/LICENSE_1_0.txt).</span> |
| <a name="l00007"></a>00007 <span class="comment"></span> |
| <a name="l00008"></a>00008 <span class="comment"> See http://opensource.adobe.com/gil for most recent version including documentation.</span> |
| <a name="l00009"></a>00009 <span class="comment">*/</span> |
| <a name="l00010"></a>00010 |
| <a name="l00011"></a>00011 <span class="comment">/*************************************************************************************************/</span> |
| <a name="l00012"></a>00012 |
| <a name="l00013"></a>00013 <span class="preprocessor">#ifndef GIL_DYNAMICIMAGE_VARIANT_HPP</span> |
| <a name="l00014"></a>00014 <span class="preprocessor"></span><span class="preprocessor">#define GIL_DYNAMICIMAGE_VARIANT_HPP</span> |
| <a name="l00015"></a>00015 <span class="preprocessor"></span> |
| <a name="l00024"></a>00024 |
| <a name="l00025"></a>00025 <span class="preprocessor">#include "../../gil_config.hpp"</span> |
| <a name="l00026"></a>00026 <span class="preprocessor">#include "../../utilities.hpp"</span> |
| <a name="l00027"></a>00027 <span class="preprocessor">#include <cstddef></span> |
| <a name="l00028"></a>00028 <span class="preprocessor">#include <cassert></span> |
| <a name="l00029"></a>00029 <span class="preprocessor">#include <algorithm></span> |
| <a name="l00030"></a>00030 <span class="preprocessor">#include <typeinfo></span> |
| <a name="l00031"></a>00031 <span class="preprocessor">#include <boost/bind.hpp></span> |
| <a name="l00032"></a>00032 |
| <a name="l00033"></a>00033 <span class="preprocessor">#include <boost/mpl/transform.hpp></span> |
| <a name="l00034"></a>00034 <span class="preprocessor">#include <boost/mpl/size.hpp></span> |
| <a name="l00035"></a>00035 <span class="preprocessor">#include <boost/mpl/sizeof.hpp></span> |
| <a name="l00036"></a>00036 <span class="preprocessor">#include <boost/mpl/max.hpp></span> |
| <a name="l00037"></a>00037 <span class="preprocessor">#include <boost/mpl/at.hpp></span> |
| <a name="l00038"></a>00038 <span class="preprocessor">#include <boost/mpl/fold.hpp></span> |
| <a name="l00039"></a>00039 |
| <a name="l00040"></a>00040 <span class="keyword">namespace </span>boost { <span class="keyword">namespace </span>gil { |
| <a name="l00041"></a>00041 |
| <a name="l00042"></a>00042 <span class="keyword">namespace </span>detail { |
| <a name="l00043"></a>00043 <span class="keyword">template</span> <<span class="keyword">typename</span> Types, <span class="keyword">typename</span> T> <span class="keyword">struct </span>type_to_index; |
| <a name="l00044"></a>00044 <span class="keyword">template</span> <<span class="keyword">typename</span> Op, <span class="keyword">typename</span> T> <span class="keyword">struct </span>reduce; |
| <a name="l00045"></a>00045 <span class="keyword">struct </span>destructor_op { |
| <a name="l00046"></a>00046 <span class="keyword">typedef</span> <span class="keywordtype">void</span> result_type; |
| <a name="l00047"></a>00047 <span class="keyword">template</span> <<span class="keyword">typename</span> T> result_type operator()(<span class="keyword">const</span> T& t)<span class="keyword"> const </span>{ t.~T(); } |
| <a name="l00048"></a>00048 }; |
| <a name="l00049"></a>00049 <span class="keyword">template</span> <<span class="keyword">typename</span> T, <span class="keyword">typename</span> Bits> <span class="keywordtype">void</span> copy_construct_in_place(<span class="keyword">const</span> T& t, Bits& bits); |
| <a name="l00050"></a>00050 <span class="keyword">template</span> <<span class="keyword">typename</span> Bits> <span class="keyword">struct </span>copy_construct_in_place_fn; |
| <a name="l00051"></a>00051 } |
| <a name="l00086"></a>00086 <span class="keyword">template</span> <<span class="keyword">typename</span> Types> <span class="comment">// models MPL Random Access Container</span> |
| <a name="l00087"></a><a class="code" href="g_i_l_0062.html">00087</a> <span class="keyword">class </span><a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a> { |
| <a name="l00088"></a>00088 <span class="comment">// size in bytes of the largest type in Types</span> |
| <a name="l00089"></a>00089 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t MAX_SIZE = mpl::fold<Types, mpl::size_t<0>, mpl::max<mpl::_1, mpl::sizeof_<mpl::_2> > >::type::value; |
| <a name="l00090"></a>00090 <span class="keyword">static</span> <span class="keyword">const</span> std::size_t NUM_TYPES = mpl::size<Types>::value; |
| <a name="l00091"></a>00091 <span class="keyword">public</span>: |
| <a name="l00092"></a>00092 <span class="keyword">typedef</span> Types types_t; |
| <a name="l00093"></a>00093 |
| <a name="l00094"></a>00094 <span class="keyword">typedef</span> <span class="keyword">struct </span>{ <span class="keywordtype">char</span> data[MAX_SIZE]; } base_t; <span class="comment">// empty space equal to the size of the largest type in Types</span> |
| <a name="l00095"></a>00095 |
| <a name="l00096"></a>00096 <span class="comment">// Default constructor - default construct the first type</span> |
| <a name="l00097"></a>00097 <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>() : _index(0) { <span class="keyword">new</span>(&_bits) <span class="keyword">typename</span> mpl::at_c<Types,0>::type(); } |
| <a name="l00098"></a>00098 <span class="keyword">virtual</span> ~<a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>() { apply_operation(*<span class="keyword">this</span>, detail::destructor_op()); } |
| <a name="l00099"></a>00099 |
| <a name="l00100"></a>00100 <span class="comment">// Throws std::bad_cast if T is not in Types</span> |
| <a name="l00101"></a>00101 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">explicit</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>(<span class="keyword">const</span> T& obj){ _index=type_id<T>(); <span class="keywordflow">if</span> (_index==NUM_TYPES) <span class="keywordflow">throw</span> std::bad_cast(); detail::copy_construct_in_place(obj, _bits); } |
| <a name="l00102"></a>00102 |
| <a name="l00103"></a>00103 <span class="comment">// When doSwap is true, swaps obj with the contents of the variant. obj will contain default-constructed instance after the call</span> |
| <a name="l00104"></a>00104 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">explicit</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>(T& obj, <span class="keywordtype">bool</span> do_swap); |
| <a name="l00105"></a>00105 |
| <a name="l00106"></a>00106 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>& operator=(<span class="keyword">const</span> T& obj) { <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a> tmp(obj); swap(*<span class="keyword">this</span>,tmp); <span class="keywordflow">return</span> *<span class="keyword">this</span>; } |
| <a name="l00107"></a>00107 <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>& operator=(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>& v) { <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a> tmp(v ); swap(*<span class="keyword">this</span>,tmp); <span class="keywordflow">return</span> *<span class="keyword">this</span>; } |
| <a name="l00108"></a>00108 |
| <a name="l00109"></a>00109 <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a>& v) : _index(v.<a class="code" href="g_i_l_0062.html#ab24a1a4e3ad662acbc481b2ce8d8cb8">_index</a>) { apply_operation(v, detail::copy_construct_in_place_fn<base_t>(_bits)); } |
| <a name="l00110"></a>00110 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keywordtype">void</span> move_in(T& obj) { <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant</a> tmp(obj, <span class="keyword">true</span>); swap(*<span class="keyword">this</span>,tmp); } |
| <a name="l00111"></a>00111 |
| <a name="l00112"></a>00112 <span class="keyword">template</span> <<span class="keyword">typename</span> TS> <span class="keyword">friend</span> <span class="keywordtype">bool</span> operator==(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<TS></a>& x, <span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<TS></a>& y); |
| <a name="l00113"></a>00113 <span class="keyword">template</span> <<span class="keyword">typename</span> TS> <span class="keyword">friend</span> <span class="keywordtype">bool</span> operator!=(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<TS></a>& x, <span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<TS></a>& y); |
| <a name="l00114"></a>00114 |
| <a name="l00115"></a>00115 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">static</span> <span class="keywordtype">bool</span> has_type() { <span class="keywordflow">return</span> type_id<T>()!=NUM_TYPES; } |
| <a name="l00116"></a>00116 |
| <a name="l00117"></a>00117 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">const</span> T& _dynamic_cast()<span class="keyword"> const </span>{ <span class="keywordflow">if</span> (!current_type_is<T>()) <span class="keywordflow">throw</span> std::bad_cast(); <span class="keywordflow">return</span> *gil_reinterpret_cast_c<const T*>(&_bits); } |
| <a name="l00118"></a>00118 <span class="keyword">template</span> <<span class="keyword">typename</span> T> T& _dynamic_cast() { <span class="keywordflow">if</span> (!current_type_is<T>()) <span class="keywordflow">throw</span> std::bad_cast(); <span class="keywordflow">return</span> *gil_reinterpret_cast < T*>(&_bits); } |
| <a name="l00119"></a>00119 |
| <a name="l00120"></a>00120 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keywordtype">bool</span> current_type_is()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> type_id<T>()==_index; } |
| <a name="l00121"></a>00121 |
| <a name="l00122"></a>00122 <span class="keyword">private</span>: |
| <a name="l00123"></a>00123 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">static</span> std::size_t type_id() { <span class="keywordflow">return</span> <a class="code" href="g_i_l_0522.html" title="Returns the index corresponding to the first occurrance of a given given type in...">detail::type_to_index<Types,T>::value</a>; } |
| <a name="l00124"></a>00124 |
| <a name="l00125"></a>00125 <span class="keyword">template</span> <<span class="keyword">typename</span> Cs> <span class="keyword">friend</span> <span class="keywordtype">void</span> swap(<a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Cs></a>& x, <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Cs></a>& y); |
| <a name="l00126"></a>00126 <span class="keyword">template</span> <<span class="keyword">typename</span> Types2, <span class="keyword">typename</span> UnaryOp> <span class="keyword">friend</span> <span class="keyword">typename</span> UnaryOp::result_type apply_operation(<a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Types2></a>& var, UnaryOp op); |
| <a name="l00127"></a>00127 <span class="keyword">template</span> <<span class="keyword">typename</span> Types2, <span class="keyword">typename</span> UnaryOp> <span class="keyword">friend</span> <span class="keyword">typename</span> UnaryOp::result_type apply_operation(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Types2></a>& var, UnaryOp op); |
| <a name="l00128"></a>00128 <span class="keyword">template</span> <<span class="keyword">typename</span> Types1, <span class="keyword">typename</span> Types2, <span class="keyword">typename</span> BinaryOp> <span class="keyword">friend</span> <span class="keyword">typename</span> BinaryOp::result_type apply_operation(<span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Types1></a>& arg1, <span class="keyword">const</span> <a class="code" href="g_i_l_0062.html" title="Represents a concrete instance of a run-time specified type from a set of typesA...">variant<Types2></a>& arg2, BinaryOp op); |
| <a name="l00129"></a>00129 |
| <a name="l00130"></a>00130 base_t _bits; |
| <a name="l00131"></a>00131 std::size_t _index; |
| <a name="l00132"></a>00132 }; |
| <a name="l00133"></a>00133 |
| <a name="l00134"></a>00134 <span class="keyword">namespace </span>detail { |
| <a name="l00135"></a>00135 |
| <a name="l00136"></a>00136 <span class="keyword">template</span> <<span class="keyword">typename</span> T, <span class="keyword">typename</span> Bits> |
| <a name="l00137"></a>00137 <span class="keywordtype">void</span> copy_construct_in_place(<span class="keyword">const</span> T& t, Bits& bits) { |
| <a name="l00138"></a>00138 T& b=*gil_reinterpret_cast<T*>(&bits); |
| <a name="l00139"></a>00139 <span class="keyword">new</span>(&b)T(t); <span class="comment">// default-construct</span> |
| <a name="l00140"></a>00140 } |
| <a name="l00141"></a>00141 |
| <a name="l00142"></a>00142 <span class="keyword">template</span> <<span class="keyword">typename</span> Bits> |
| <a name="l00143"></a>00143 <span class="keyword">struct </span>copy_construct_in_place_fn { |
| <a name="l00144"></a>00144 <span class="keyword">typedef</span> <span class="keywordtype">void</span> result_type; |
| <a name="l00145"></a>00145 Bits& _dst; |
| <a name="l00146"></a>00146 copy_construct_in_place_fn(Bits& dst) : _dst(dst) {} |
| <a name="l00147"></a>00147 |
| <a name="l00148"></a>00148 <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keywordtype">void</span> operator()(<span class="keyword">const</span> T& src)<span class="keyword"> const </span>{ copy_construct_in_place(src,_dst); } |
| <a name="l00149"></a>00149 }; |
| <a name="l00150"></a>00150 |
| <a name="l00151"></a>00151 <span class="keyword">template</span> <<span class="keyword">typename</span> Bits> |
| <a name="l00152"></a>00152 <span class="keyword">struct </span>equal_to_fn { |
| <a name="l00153"></a>00153 <span class="keyword">const</span> Bits& _dst; |
| <a name="l00154"></a>00154 equal_to_fn(<span class="keyword">const</span> Bits& dst) : _dst(dst) {} |
| <a name="l00155"></a>00155 |
| <a name="l00156"></a>00156 <span class="keyword">typedef</span> <span class="keywordtype">bool</span> result_type; |
| <a name="l00157"></a>00157 <span class="keyword">template</span> <<span class="keyword">typename</span> T> result_type operator()(<span class="keyword">const</span> T& x)<span class="keyword"> const </span>{ |
| <a name="l00158"></a>00158 <span class="keywordflow">return</span> x==*gil_reinterpret_cast_c<const T*>(&_dst); |
| <a name="l00159"></a>00159 } |
| <a name="l00160"></a>00160 }; |
| <a name="l00161"></a>00161 } |
| <a name="l00162"></a>00162 |
| <a name="l00163"></a>00163 <span class="comment">// When doSwap is true, swaps obj with the contents of the variant. obj will contain default-constructed instance after the call</span> |
| <a name="l00164"></a>00164 <span class="keyword">template</span> <<span class="keyword">typename</span> Types> |
| <a name="l00165"></a>00165 <span class="keyword">template</span> <<span class="keyword">typename</span> T> variant<Types>::variant(T& obj, <span class="keywordtype">bool</span> do_swap) { |
| <a name="l00166"></a>00166 _index=type_id<T>(); |
| <a name="l00167"></a>00167 <span class="keywordflow">if</span> (_index==NUM_TYPES) <span class="keywordflow">throw</span> std::bad_cast(); |
| <a name="l00168"></a>00168 |
| <a name="l00169"></a>00169 <span class="keywordflow">if</span> (do_swap) { |
| <a name="l00170"></a>00170 <span class="keyword">new</span>(&_bits) T(); <span class="comment">// default construct</span> |
| <a name="l00171"></a>00171 swap(obj, *gil_reinterpret_cast<T*>(&_bits)); |
| <a name="l00172"></a>00172 } <span class="keywordflow">else</span> |
| <a name="l00173"></a>00173 detail::copy_construct_in_place(const_cast<const T&>(obj), _bits); |
| <a name="l00174"></a>00174 } |
| <a name="l00175"></a>00175 |
| <a name="l00176"></a>00176 <span class="keyword">template</span> <<span class="keyword">typename</span> Types> |
| <a name="l00177"></a>00177 <span class="keywordtype">void</span> swap(variant<Types>& x, variant<Types>& y) { |
| <a name="l00178"></a>00178 std::swap(x._bits,y._bits); |
| <a name="l00179"></a>00179 std::swap(x._index, y._index); |
| <a name="l00180"></a>00180 } |
| <a name="l00181"></a>00181 |
| <a name="l00182"></a>00182 <span class="keyword">template</span> <<span class="keyword">typename</span> Types> |
| <a name="l00183"></a>00183 <span class="keyword">inline</span> <span class="keywordtype">bool</span> operator==(<span class="keyword">const</span> variant<Types>& x, <span class="keyword">const</span> variant<Types>& y) { |
| <a name="l00184"></a>00184 <span class="keywordflow">return</span> x._index==y._index && <a class="code" href="group___variant.html#g3dc0a90911c08815be11e1e49ec06037" title="Invokes a generic constant operation (represented as a binary function object) on...">apply_operation</a>(x,detail::equal_to_fn<<span class="keyword">typename</span> variant<Types>::base_t>(y._bits)); |
| <a name="l00185"></a>00185 } |
| <a name="l00186"></a>00186 |
| <a name="l00187"></a>00187 <span class="keyword">template</span> <<span class="keyword">typename</span> C> |
| <a name="l00188"></a>00188 <span class="keyword">inline</span> <span class="keywordtype">bool</span> operator!=(<span class="keyword">const</span> variant<C>& x, <span class="keyword">const</span> variant<C>& y) { |
| <a name="l00189"></a>00189 <span class="keywordflow">return</span> !(x==y); |
| <a name="l00190"></a>00190 } |
| <a name="l00191"></a>00191 |
| <a name="l00192"></a>00192 } } <span class="comment">// namespace boost::gil</span> |
| <a name="l00193"></a>00193 |
| <a name="l00194"></a>00194 <span class="preprocessor">#endif</span> |
| </pre></div></div> |
| <hr size="1"><address style="text-align: right;"><small>Generated on Sat May 2 13:50:15 2009 for Generic Image Library by |
| <a href="http://www.doxygen.org/index.html"> |
| <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.6 </small></address> |
| </body> |
| </html> |
