1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 2<html> 3<head> 4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 5<title>Examples</title> 6<link rel="stylesheet" href="../../../doc/src/boostbook.css" type="text/css"> 7<meta name="generator" content="DocBook XSL Stylesheets V1.79.1"> 8<link rel="home" href="../index.html" title="The Boost C++ Libraries BoostBook Documentation Subset"> 9<link rel="up" href="../boost_typeerasure.html" title="Chapter 40. Boost.TypeErasure"> 10<link rel="prev" href="any.html" title="Using Any"> 11<link rel="next" href="conceptdef.html" title="Concept Definitions"> 12</head> 13<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> 14<table cellpadding="2" width="100%"><tr> 15<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../boost.png"></td> 16<td align="center"><a href="../../../index.html">Home</a></td> 17<td align="center"><a href="../../../libs/libraries.htm">Libraries</a></td> 18<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td> 19<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td> 20<td align="center"><a href="../../../more/index.htm">More</a></td> 21</tr></table> 22<hr> 23<div class="spirit-nav"> 24<a accesskey="p" href="any.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="conceptdef.html"><img src="../../../doc/src/images/next.png" alt="Next"></a> 25</div> 26<div class="section"> 27<div class="titlepage"><div><div><h2 class="title" style="clear: both"> 28<a name="boost_typeerasure.examples"></a><a class="link" href="examples.html" title="Examples">Examples</a> 29</h2></div></div></div> 30<div class="toc"><dl class="toc"> 31<dt><span class="section"><a href="examples.html#boost_typeerasure.examples.print_sequence">A polymorphic 32 range formatter</a></span></dt> 33<dt><span class="section"><a href="examples.html#boost_typeerasure.examples.printf">A type-safe printf</a></span></dt> 34<dt><span class="section"><a href="examples.html#boost_typeerasure.examples.multifunction">Boost.Function 35 with multiple signatures</a></span></dt> 36</dl></div> 37<div class="section"> 38<div class="titlepage"><div><div><h3 class="title"> 39<a name="boost_typeerasure.examples.print_sequence"></a><a class="link" href="examples.html#boost_typeerasure.examples.print_sequence" title="A polymorphic range formatter">A polymorphic 40 range formatter</a> 41</h3></div></div></div> 42<p> 43 (For the source of this example see <a href="../../../libs/type_erasure/example/print_sequence.cpp" target="_top">print_sequence.cpp</a>) 44 </p> 45<p> 46 This example defines a class hierarchy that allows a sequence to be formatted 47 in several different ways. We'd like to be able to handle any sequence and 48 any stream type, since the range formatting is independent of the formatting 49 of individual elements. Thus, our interface needs to look something like 50 this: 51 </p> 52<p> 53</p> 54<pre class="programlisting"><span class="keyword">class</span> <span class="identifier">abstract_printer</span> <span class="special">{</span> 55<span class="keyword">public</span><span class="special">:</span> 56 <span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span> <span class="identifier">CharT</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">Range</span><span class="special">></span> 57 <span class="keyword">virtual</span> <span class="keyword">void</span> <span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">basic_ostream</span><span class="special"><</span><span class="identifier">CharT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">>&</span> <span class="identifier">os</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Range</span><span class="special">&</span> <span class="identifier">r</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 58<span class="special">};</span> 59</pre> 60<p> 61 </p> 62<p> 63 Unfortunately, this is illegal because a virtual function cannot be a template. 64 However, we can define a class with much the same behavior using Boost.TypeErasure. 65 </p> 66<p> 67</p> 68<pre class="programlisting"><span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">any</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 69<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">iterator</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 70<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">operators</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 71<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">tuple</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 72<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">same_type</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 73<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">range</span><span class="special">/</span><span class="identifier">begin</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 74<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">range</span><span class="special">/</span><span class="identifier">end</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 75<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">range</span><span class="special">/</span><span class="identifier">iterator</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 76<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iostream</span><span class="special">></span> 77<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iomanip</span><span class="special">></span> 78<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">vector</span><span class="special">></span> 79 80<span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">;</span> 81 82<span class="keyword">struct</span> <span class="identifier">_t</span> <span class="special">:</span> <span class="identifier">placeholder</span> <span class="special">{};</span> 83<span class="keyword">struct</span> <span class="identifier">_iter</span> <span class="special">:</span> <span class="identifier">placeholder</span> <span class="special">{};</span> 84<span class="keyword">struct</span> <span class="identifier">_os</span> <span class="special">:</span> <span class="identifier">placeholder</span> <span class="special">{};</span> 85 86<span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">U</span> <span class="special">=</span> <span class="identifier">_self</span><span class="special">></span> 87<span class="keyword">struct</span> <span class="identifier">base_and_derived</span> 88<span class="special">{</span> 89 <span class="keyword">static</span> <span class="identifier">T</span><span class="special">&</span> <span class="identifier">apply</span><span class="special">(</span><span class="identifier">U</span><span class="special">&</span> <span class="identifier">arg</span><span class="special">)</span> <span class="special">{</span> <span class="keyword">return</span> <span class="identifier">arg</span><span class="special">;</span> <span class="special">}</span> 90<span class="special">};</span> 91 92<span class="keyword">namespace</span> <span class="identifier">boost</span> <span class="special">{</span> 93<span class="keyword">namespace</span> <span class="identifier">type_erasure</span> <span class="special">{</span> 94 95<span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">U</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">Base</span><span class="special">></span> 96<span class="keyword">struct</span> <span class="identifier">concept_interface</span><span class="special"><</span><span class="identifier">base_and_derived</span><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span><span class="special">>,</span> <span class="identifier">Base</span><span class="special">,</span> <span class="identifier">U</span><span class="special">></span> <span class="special">:</span> <span class="identifier">Base</span> 97<span class="special">{</span> 98 <span class="keyword">operator</span> <span class="keyword">typename</span> <span class="identifier">rebind_any</span><span class="special"><</span><span class="identifier">Base</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">T</span><span class="special">&>::</span><span class="identifier">type</span><span class="special">()</span> <span class="keyword">const</span> 99 <span class="special">{</span> 100 <span class="keyword">return</span> <span class="identifier">call</span><span class="special">(</span><span class="identifier">base_and_derived</span><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span><span class="special">>(),</span> <span class="keyword">const_cast</span><span class="special"><</span><span class="identifier">concept_interface</span><span class="special">&>(*</span><span class="keyword">this</span><span class="special">));</span> 101 <span class="special">}</span> 102 <span class="keyword">operator</span> <span class="keyword">typename</span> <span class="identifier">rebind_any</span><span class="special"><</span><span class="identifier">Base</span><span class="special">,</span> <span class="identifier">T</span><span class="special">&>::</span><span class="identifier">type</span><span class="special">()</span> 103 <span class="special">{</span> 104 <span class="keyword">return</span> <span class="identifier">call</span><span class="special">(</span><span class="identifier">base_and_derived</span><span class="special"><</span><span class="identifier">T</span><span class="special">,</span> <span class="identifier">U</span><span class="special">>(),</span> <span class="special">*</span><span class="keyword">this</span><span class="special">);</span> 105 <span class="special">}</span> 106<span class="special">};</span> 107 108<span class="special">}</span> 109<span class="special">}</span> 110 111<span class="comment">// abstract_printer - An abstract base class for formatting sequences.</span> 112<span class="keyword">class</span> <span class="identifier">abstract_printer</span> <span class="special">{</span> 113<span class="keyword">public</span><span class="special">:</span> 114 <span class="comment">// print - write a sequence to a std::ostream in a manner</span> 115 <span class="comment">// specific to the derived class.</span> 116 <span class="comment">//</span> 117 <span class="comment">// Requires: Range must be a Forward Range whose elements can be</span> 118 <span class="comment">// printed to os.</span> 119 <span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span> <span class="identifier">CharT</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">Range</span><span class="special">></span> 120 <span class="keyword">void</span> <span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">basic_ostream</span><span class="special"><</span><span class="identifier">CharT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">>&</span> <span class="identifier">os</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Range</span><span class="special">&</span> <span class="identifier">r</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">{</span> 121 <span class="comment">// Capture the arguments</span> 122 <span class="keyword">typename</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">range_iterator</span><span class="special"><</span><span class="keyword">const</span> <span class="identifier">Range</span><span class="special">>::</span><span class="identifier">type</span> 123 <span class="identifier">first</span><span class="special">(</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">begin</span><span class="special">(</span><span class="identifier">r</span><span class="special">)),</span> 124 <span class="identifier">last</span><span class="special">(</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">end</span><span class="special">(</span><span class="identifier">r</span><span class="special">));</span> 125 <span class="identifier">tuple</span><span class="special"><</span><span class="identifier">requirements</span><span class="special">,</span> <span class="identifier">_os</span><span class="special">&,</span> <span class="identifier">_iter</span><span class="special">,</span> <span class="identifier">_iter</span><span class="special">></span> <span class="identifier">args</span><span class="special">(</span><span class="identifier">os</span><span class="special">,</span> <span class="identifier">first</span><span class="special">,</span> <span class="identifier">last</span><span class="special">);</span> 126 <span class="comment">// and forward to the real implementation</span> 127 <span class="identifier">do_print</span><span class="special">(</span><span class="identifier">get</span><span class="special"><</span><span class="number">0</span><span class="special">>(</span><span class="identifier">args</span><span class="special">),</span> <span class="identifier">get</span><span class="special"><</span><span class="number">1</span><span class="special">>(</span><span class="identifier">args</span><span class="special">),</span> <span class="identifier">get</span><span class="special"><</span><span class="number">2</span><span class="special">>(</span><span class="identifier">args</span><span class="special">));</span> 128 <span class="special">}</span> 129 <span class="keyword">virtual</span> <span class="special">~</span><span class="identifier">abstract_printer</span><span class="special">()</span> <span class="special">{}</span> 130<span class="keyword">protected</span><span class="special">:</span> 131 <span class="comment">// define the concept requirements of the arguments of</span> 132 <span class="comment">// print and typedef the any types.</span> 133 <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span> 134 <span class="identifier">base_and_derived</span><span class="special"><</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ios_base</span><span class="special">,</span> <span class="identifier">_os</span><span class="special">>,</span> 135 <span class="identifier">ostreamable</span><span class="special"><</span><span class="identifier">_os</span><span class="special">,</span> <span class="identifier">_t</span><span class="special">>,</span> 136 <span class="identifier">ostreamable</span><span class="special"><</span><span class="identifier">_os</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*>,</span> 137 <span class="identifier">forward_iterator</span><span class="special"><</span><span class="identifier">_iter</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">_t</span><span class="special">&>,</span> 138 <span class="identifier">same_type</span><span class="special"><</span><span class="identifier">_t</span><span class="special">,</span> <span class="identifier">forward_iterator</span><span class="special"><</span><span class="identifier">_iter</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">_t</span><span class="special">&>::</span><span class="identifier">value_type</span><span class="special">></span> 139 <span class="special">></span> <span class="identifier">requirements</span><span class="special">;</span> 140 <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">::</span><span class="identifier">any</span><span class="special"><</span><span class="identifier">requirements</span><span class="special">,</span> <span class="identifier">_os</span><span class="special">&></span> <span class="identifier">ostream_type</span><span class="special">;</span> 141 <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">::</span><span class="identifier">any</span><span class="special"><</span><span class="identifier">requirements</span><span class="special">,</span> <span class="identifier">_iter</span><span class="special">></span> <span class="identifier">iterator_type</span><span class="special">;</span> 142 <span class="comment">// do_print - This method must be implemented by derived classes</span> 143 <span class="keyword">virtual</span> <span class="keyword">void</span> <span class="identifier">do_print</span><span class="special">(</span> 144 <span class="identifier">ostream_type</span> <span class="identifier">os</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">first</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">last</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 145<span class="special">};</span> 146 147<span class="comment">// separator_printer - writes the elements of a sequence</span> 148<span class="comment">// separated by a fixed string. For example, if</span> 149<span class="comment">// the separator is ", " separator_printer produces</span> 150<span class="comment">// a comma separated list.</span> 151<span class="keyword">class</span> <span class="identifier">separator_printer</span> <span class="special">:</span> <span class="keyword">public</span> <span class="identifier">abstract_printer</span> <span class="special">{</span> 152<span class="keyword">public</span><span class="special">:</span> 153 <span class="keyword">explicit</span> <span class="identifier">separator_printer</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span><span class="special">&</span> <span class="identifier">sep</span><span class="special">)</span> <span class="special">:</span> <span class="identifier">separator</span><span class="special">(</span><span class="identifier">sep</span><span class="special">)</span> <span class="special">{}</span> 154<span class="keyword">protected</span><span class="special">:</span> 155 <span class="keyword">virtual</span> <span class="keyword">void</span> <span class="identifier">do_print</span><span class="special">(</span> 156 <span class="identifier">ostream_type</span> <span class="identifier">os</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">first</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">last</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">{</span> 157 <span class="keyword">if</span><span class="special">(</span><span class="identifier">first</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">)</span> <span class="special">{</span> 158 <span class="identifier">os</span> <span class="special"><<</span> <span class="special">*</span><span class="identifier">first</span><span class="special">;</span> 159 <span class="special">++</span><span class="identifier">first</span><span class="special">;</span> 160 <span class="keyword">for</span><span class="special">(;</span> <span class="identifier">first</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">;</span> <span class="special">++</span><span class="identifier">first</span><span class="special">)</span> <span class="special">{</span> 161 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">separator</span><span class="special">.</span><span class="identifier">c_str</span><span class="special">()</span> <span class="special"><<</span> <span class="special">*</span><span class="identifier">first</span><span class="special">;</span> 162 <span class="special">}</span> 163 <span class="special">}</span> 164 <span class="special">}</span> 165<span class="keyword">private</span><span class="special">:</span> 166 <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span> <span class="identifier">separator</span><span class="special">;</span> 167<span class="special">};</span> 168 169<span class="comment">// column_separator_printer - like separator_printer, but</span> 170<span class="comment">// also inserts a line break after every n elements.</span> 171<span class="keyword">class</span> <span class="identifier">column_separator_printer</span> <span class="special">:</span> <span class="keyword">public</span> <span class="identifier">abstract_printer</span> <span class="special">{</span> 172<span class="keyword">public</span><span class="special">:</span> 173 <span class="identifier">column_separator_printer</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span><span class="special">&</span> <span class="identifier">sep</span><span class="special">,</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">num_columns</span><span class="special">)</span> 174 <span class="special">:</span> <span class="identifier">separator</span><span class="special">(</span><span class="identifier">sep</span><span class="special">),</span> 175 <span class="identifier">cols</span><span class="special">(</span><span class="identifier">num_columns</span><span class="special">)</span> 176 <span class="special">{}</span> 177<span class="keyword">protected</span><span class="special">:</span> 178 <span class="keyword">virtual</span> <span class="keyword">void</span> <span class="identifier">do_print</span><span class="special">(</span> 179 <span class="identifier">ostream_type</span> <span class="identifier">os</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">first</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">last</span><span class="special">)</span> <span class="keyword">const</span> <span class="special">{</span> 180 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">count</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 181 <span class="keyword">for</span><span class="special">(;</span> <span class="identifier">first</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">;</span> <span class="special">++</span><span class="identifier">first</span><span class="special">)</span> <span class="special">{</span> 182 <span class="identifier">os</span> <span class="special"><<</span> <span class="special">*</span><span class="identifier">first</span><span class="special">;</span> 183 <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">::</span><span class="identifier">any</span><span class="special"><</span><span class="identifier">requirements</span><span class="special">,</span> <span class="identifier">_iter</span><span class="special">></span> <span class="identifier">temp</span> <span class="special">=</span> <span class="identifier">first</span><span class="special">;</span> 184 <span class="special">++</span><span class="identifier">temp</span><span class="special">;</span> 185 <span class="keyword">if</span><span class="special">(</span><span class="identifier">temp</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">)</span> <span class="special">{</span> 186 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">separator</span><span class="special">.</span><span class="identifier">c_str</span><span class="special">();</span> 187 <span class="special">}</span> 188 <span class="keyword">if</span><span class="special">(++</span><span class="identifier">count</span> <span class="special">%</span> <span class="identifier">cols</span> <span class="special">==</span> <span class="number">0</span><span class="special">)</span> <span class="special">{</span> 189 <span class="identifier">os</span> <span class="special"><<</span> <span class="string">"\n"</span><span class="special">;</span> 190 <span class="special">}</span> 191 <span class="special">}</span> 192 <span class="special">}</span> 193<span class="keyword">private</span><span class="special">:</span> 194 <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span> <span class="identifier">separator</span><span class="special">;</span> 195 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">cols</span><span class="special">;</span> 196<span class="special">};</span> 197 198<span class="comment">// aligned_column_printer - formats a sequence in columns</span> 199<span class="comment">// reading down. For example, given the sequence</span> 200<span class="comment">// { 1, 2, 3, 4, 5 }, aligned_column_printer might print</span> 201<span class="comment">// 1 4</span> 202<span class="comment">// 2 5</span> 203<span class="comment">// 3</span> 204<span class="keyword">class</span> <span class="identifier">aligned_column_printer</span> <span class="special">:</span> <span class="keyword">public</span> <span class="identifier">abstract_printer</span> <span class="special">{</span> 205<span class="keyword">public</span><span class="special">:</span> 206 <span class="identifier">aligned_column_printer</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">column_width</span><span class="special">,</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">num_columns</span><span class="special">)</span> 207 <span class="special">:</span> <span class="identifier">width</span><span class="special">(</span><span class="identifier">column_width</span><span class="special">),</span> 208 <span class="identifier">cols</span><span class="special">(</span><span class="identifier">num_columns</span><span class="special">)</span> 209 <span class="special">{}</span> 210<span class="keyword">protected</span><span class="special">:</span> 211 <span class="keyword">virtual</span> <span class="keyword">void</span> <span class="identifier">do_print</span><span class="special">(</span> 212 <span class="identifier">ostream_type</span> <span class="identifier">os</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">first</span><span class="special">,</span> <span class="identifier">iterator_type</span> <span class="identifier">last</span><span class="special">)</span> <span class="keyword">const</span> 213 <span class="special">{</span> 214 <span class="keyword">if</span><span class="special">(</span><span class="identifier">first</span> <span class="special">==</span> <span class="identifier">last</span><span class="special">)</span> <span class="keyword">return</span><span class="special">;</span> 215 <span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">iterator_type</span><span class="special">></span> <span class="identifier">column_iterators</span><span class="special">;</span> 216 217 <span class="comment">// find the tops of the columns</span> 218 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">count</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 219 <span class="keyword">for</span><span class="special">(</span><span class="identifier">iterator_type</span> <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">first</span><span class="special">;</span> <span class="identifier">iter</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">;</span> <span class="special">++</span><span class="identifier">iter</span><span class="special">)</span> <span class="special">{</span> 220 <span class="special">++</span><span class="identifier">count</span><span class="special">;</span> 221 <span class="special">}</span> 222 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">rows</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">count</span> <span class="special">+</span> <span class="identifier">cols</span> <span class="special">-</span> <span class="number">1</span><span class="special">)</span> <span class="special">/</span> <span class="identifier">cols</span><span class="special">;</span> 223 <span class="identifier">count</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 224 <span class="keyword">for</span><span class="special">(</span><span class="identifier">iterator_type</span> <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">first</span><span class="special">;</span> <span class="identifier">iter</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">;</span> <span class="special">++</span><span class="identifier">iter</span><span class="special">)</span> <span class="special">{</span> 225 <span class="keyword">if</span><span class="special">(</span><span class="identifier">count</span> <span class="special">%</span> <span class="identifier">rows</span> <span class="special">==</span> <span class="number">0</span><span class="special">)</span> <span class="special">{</span> 226 <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">push_back</span><span class="special">(</span><span class="identifier">iter</span><span class="special">);</span> 227 <span class="special">}</span> 228 <span class="special">++</span><span class="identifier">count</span><span class="special">;</span> 229 <span class="special">}</span> 230 231 <span class="identifier">iterator_type</span> <span class="identifier">last_col</span> <span class="special">=</span> <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">back</span><span class="special">();</span> 232 233 <span class="comment">// print the full rows</span> 234 <span class="keyword">while</span><span class="special">(</span><span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">back</span><span class="special">()</span> <span class="special">!=</span> <span class="identifier">last</span><span class="special">)</span> <span class="special">{</span> 235 <span class="keyword">for</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">iterator_type</span><span class="special">>::</span><span class="identifier">iterator</span> 236 <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">begin</span><span class="special">(),</span> 237 <span class="identifier">end</span> <span class="special">=</span> <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">end</span><span class="special">();</span> <span class="identifier">iter</span> <span class="special">!=</span> <span class="identifier">end</span><span class="special">;</span> <span class="special">++</span><span class="identifier">iter</span><span class="special">)</span> 238 <span class="special">{</span> 239 <span class="keyword">static_cast</span><span class="special"><</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ios_base</span><span class="special">&>(</span><span class="identifier">os</span><span class="special">).</span><span class="identifier">width</span><span class="special">(</span><span class="identifier">width</span><span class="special">);</span> 240 <span class="identifier">os</span> <span class="special"><<</span> <span class="special">**</span><span class="identifier">iter</span><span class="special">;</span> 241 <span class="special">++*</span><span class="identifier">iter</span><span class="special">;</span> 242 <span class="special">}</span> 243 <span class="identifier">os</span> <span class="special"><<</span> <span class="string">"\n"</span><span class="special">;</span> 244 <span class="special">}</span> 245 246 <span class="comment">// print the rows that are missing the last column</span> 247 <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">pop_back</span><span class="special">();</span> 248 <span class="keyword">if</span><span class="special">(!</span><span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">empty</span><span class="special">())</span> <span class="special">{</span> 249 <span class="keyword">while</span><span class="special">(</span><span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">back</span><span class="special">()</span> <span class="special">!=</span> <span class="identifier">last_col</span><span class="special">)</span> <span class="special">{</span> 250 <span class="keyword">for</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">iterator_type</span><span class="special">>::</span><span class="identifier">iterator</span> 251 <span class="identifier">iter</span> <span class="special">=</span> <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">begin</span><span class="special">(),</span> 252 <span class="identifier">end</span> <span class="special">=</span> <span class="identifier">column_iterators</span><span class="special">.</span><span class="identifier">end</span><span class="special">();</span> <span class="identifier">iter</span> <span class="special">!=</span> <span class="identifier">end</span><span class="special">;</span> <span class="special">++</span><span class="identifier">iter</span><span class="special">)</span> 253 <span class="special">{</span> 254 <span class="keyword">static_cast</span><span class="special"><</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ios_base</span><span class="special">&>(</span><span class="identifier">os</span><span class="special">).</span><span class="identifier">width</span><span class="special">(</span><span class="identifier">width</span><span class="special">);</span> 255 <span class="identifier">os</span> <span class="special"><<</span> <span class="special">**</span><span class="identifier">iter</span><span class="special">;</span> 256 <span class="special">++*</span><span class="identifier">iter</span><span class="special">;</span> 257 <span class="special">}</span> 258 <span class="identifier">os</span> <span class="special"><<</span> <span class="string">"\n"</span><span class="special">;</span> 259 <span class="special">}</span> 260 <span class="special">}</span> 261 <span class="special">}</span> 262<span class="keyword">private</span><span class="special">:</span> 263 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">width</span><span class="special">;</span> 264 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">cols</span><span class="special">;</span> 265<span class="special">};</span> 266 267<span class="keyword">int</span> <span class="identifier">main</span><span class="special">()</span> <span class="special">{</span> 268 <span class="keyword">int</span> <span class="identifier">test</span><span class="special">[]</span> <span class="special">=</span> <span class="special">{</span> <span class="number">1</span><span class="special">,</span> <span class="number">2</span><span class="special">,</span> <span class="number">3</span><span class="special">,</span> <span class="number">4</span><span class="special">,</span> <span class="number">5</span><span class="special">,</span> <span class="number">6</span><span class="special">,</span> <span class="number">7</span><span class="special">,</span> <span class="number">8</span><span class="special">,</span> <span class="number">9</span><span class="special">,</span> <span class="number">10</span> <span class="special">};</span> 269 <span class="identifier">separator_printer</span> <span class="identifier">p1</span><span class="special">(</span><span class="string">","</span><span class="special">);</span> 270 <span class="identifier">p1</span><span class="special">.</span><span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span><span class="special">,</span> <span class="identifier">test</span><span class="special">);</span> 271 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 272 <span class="identifier">column_separator_printer</span> <span class="identifier">p2</span><span class="special">(</span><span class="string">","</span><span class="special">,</span> <span class="number">4</span><span class="special">);</span> 273 <span class="identifier">p2</span><span class="special">.</span><span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span><span class="special">,</span> <span class="identifier">test</span><span class="special">);</span> 274 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">;</span> 275 <span class="identifier">aligned_column_printer</span> <span class="identifier">p3</span><span class="special">(</span><span class="number">16</span><span class="special">,</span> <span class="number">4</span><span class="special">);</span> 276 <span class="identifier">p3</span><span class="special">.</span><span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span><span class="special">,</span> <span class="identifier">test</span><span class="special">);</span> 277<span class="special">}</span> 278</pre> 279<p> 280 </p> 281</div> 282<div class="section"> 283<div class="titlepage"><div><div><h3 class="title"> 284<a name="boost_typeerasure.examples.printf"></a><a class="link" href="examples.html#boost_typeerasure.examples.printf" title="A type-safe printf">A type-safe printf</a> 285</h3></div></div></div> 286<p> 287 (For the source of this example see <a href="../../../libs/type_erasure/example/printf.cpp" target="_top">printf.cpp</a>) 288 </p> 289<p> 290 This example uses the library to implement a type safe printf. 291 </p> 292<div class="note"><table border="0" summary="Note"> 293<tr> 294<td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../../doc/src/images/note.png"></td> 295<th align="left">Note</th> 296</tr> 297<tr><td align="left" valign="top"><p> 298 This example uses C++11 features. You'll need a recent compiler for it 299 to work. 300 </p></td></tr> 301</table></div> 302<p> 303</p> 304<pre class="programlisting"><span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">builtin</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 305<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">operators</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 306<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">any_cast</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 307<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">any</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 308<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">mpl</span><span class="special">/</span><span class="identifier">vector</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 309<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">io</span><span class="special">/</span><span class="identifier">ios_state</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 310<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iostream</span><span class="special">></span> 311<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">sstream</span><span class="special">></span> 312<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iomanip</span><span class="special">></span> 313<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">vector</span><span class="special">></span> 314<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">string</span><span class="special">></span> 315 316<span class="keyword">namespace</span> <span class="identifier">mpl</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">mpl</span><span class="special">;</span> 317<span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">;</span> 318<span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">io</span><span class="special">;</span> 319 320<span class="comment">// We capture the arguments by reference and require nothing</span> 321<span class="comment">// except that each one must provide a stream insertion operator.</span> 322<span class="keyword">typedef</span> <span class="identifier">any</span><span class="special"><</span> 323 <span class="identifier">mpl</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span> 324 <span class="identifier">typeid_</span><span class="special"><>,</span> 325 <span class="identifier">ostreamable</span><span class="special"><></span> 326 <span class="special">>,</span> 327 <span class="keyword">const</span> <span class="identifier">_self</span><span class="special">&</span> 328<span class="special">></span> <span class="identifier">any_printable</span><span class="special">;</span> 329<span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">any_printable</span><span class="special">></span> <span class="identifier">print_storage</span><span class="special">;</span> 330 331<span class="comment">// Forward declaration of the implementation function</span> 332<span class="keyword">void</span> <span class="identifier">print_impl</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ostream</span><span class="special">&</span> <span class="identifier">os</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*</span> <span class="identifier">format</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">print_storage</span><span class="special">&</span> <span class="identifier">args</span><span class="special">);</span> 333 334<span class="comment">// print</span> 335<span class="comment">//</span> 336<span class="comment">// Writes values to a stream like the classic C printf function. The</span> 337<span class="comment">// arguments are formatted based on specifiers in the format string,</span> 338<span class="comment">// which match the pattern:</span> 339<span class="comment">//</span> 340<span class="comment">// '%' [ argument-number '$' ] flags * [ width ] [ '.' precision ] [ type-code ] format-specifier</span> 341<span class="comment">//</span> 342<span class="comment">// Other characters in the format string are written to the stream unchanged.</span> 343<span class="comment">// In addition the sequence, "%%" can be used to print a literal '%' character.</span> 344<span class="comment">// Each component is explained in detail below</span> 345<span class="comment">//</span> 346<span class="comment">// argument-number:</span> 347<span class="comment">// The value must be between 1 and sizeof... T. It indicates the</span> 348<span class="comment">// index of the argument to be formatted. If no index is specified</span> 349<span class="comment">// the arguments will be processed sequentially. If an index is</span> 350<span class="comment">// specified for one argument, then it must be specified for every argument.</span> 351<span class="comment">//</span> 352<span class="comment">// flags:</span> 353<span class="comment">// Consists of zero or more of the following:</span> 354<span class="comment">// '-': Left justify the argument</span> 355<span class="comment">// '+': Print a plus sign for positive integers</span> 356<span class="comment">// '0': Use leading 0's to pad instead of filling with spaces.</span> 357<span class="comment">// ' ': If the value doesn't begin with a sign, prepend a space</span> 358<span class="comment">// '#': Print 0x or 0 for hexadecimal and octal numbers.</span> 359<span class="comment">//</span> 360<span class="comment">// width:</span> 361<span class="comment">// Indicates the minimum width to print. This can be either</span> 362<span class="comment">// an integer or a '*'. an asterisk means to read the next</span> 363<span class="comment">// argument (which must have type int) as the width.</span> 364<span class="comment">//</span> 365<span class="comment">// precision:</span> 366<span class="comment">// For numeric arguments, indicates the number of digits to print. For</span> 367<span class="comment">// strings (%s) the precision indicates the maximum number of characters</span> 368<span class="comment">// to print. Longer strings will be truncated. As with width</span> 369<span class="comment">// this can be either an integer or a '*'. an asterisk means</span> 370<span class="comment">// to read the next argument (which must have type int) as</span> 371<span class="comment">// the width. If both the width and the precision are specified</span> 372<span class="comment">// as '*', the width is read first.</span> 373<span class="comment">//</span> 374<span class="comment">// type-code:</span> 375<span class="comment">// This is ignored, but provided for compatibility with C printf.</span> 376<span class="comment">//</span> 377<span class="comment">// format-specifier:</span> 378<span class="comment">// Must be one of the following characters:</span> 379<span class="comment">// d, i, u: The argument is formatted as a decimal integer</span> 380<span class="comment">// o: The argument is formatted as an octal integer</span> 381<span class="comment">// x, X: The argument is formatted as a hexadecimal integer</span> 382<span class="comment">// p: The argument is formatted as a pointer</span> 383<span class="comment">// f: The argument is formatted as a fixed point decimal</span> 384<span class="comment">// e, E: The argument is formatted in exponential notation</span> 385<span class="comment">// g, G: The argument is formatted as either fixed point or using</span> 386<span class="comment">// scientific notation depending on its magnitude</span> 387<span class="comment">// c: The argument is formatted as a character</span> 388<span class="comment">// s: The argument is formatted as a string</span> 389<span class="comment">//</span> 390<span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span><span class="special">...</span> <span class="identifier">T</span><span class="special">></span> 391<span class="keyword">void</span> <span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ostream</span><span class="special">&</span> <span class="identifier">os</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*</span> <span class="identifier">format</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">T</span><span class="special">&...</span> <span class="identifier">t</span><span class="special">)</span> 392<span class="special">{</span> 393 <span class="comment">// capture the arguments</span> 394 <span class="identifier">print_storage</span> <span class="identifier">args</span> <span class="special">=</span> <span class="special">{</span> <span class="identifier">any_printable</span><span class="special">(</span><span class="identifier">t</span><span class="special">)...</span> <span class="special">};</span> 395 <span class="comment">// and forward to the real implementation</span> 396 <span class="identifier">print_impl</span><span class="special">(</span><span class="identifier">os</span><span class="special">,</span> <span class="identifier">format</span><span class="special">,</span> <span class="identifier">args</span><span class="special">);</span> 397<span class="special">}</span> 398 399<span class="comment">// This overload of print with no explicit stream writes to std::cout.</span> 400<span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span><span class="special">...</span> <span class="identifier">T</span><span class="special">></span> 401<span class="keyword">void</span> <span class="identifier">print</span><span class="special">(</span><span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*</span> <span class="identifier">format</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">T</span><span class="special">&...</span> <span class="identifier">t</span><span class="special">)</span> 402<span class="special">{</span> 403 <span class="identifier">print</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span><span class="special">,</span> <span class="identifier">format</span><span class="special">,</span> <span class="identifier">t</span><span class="special">...);</span> 404<span class="special">}</span> 405 406<span class="comment">// The implementation from here on can be separately compiled.</span> 407 408<span class="comment">// utility function to parse an integer</span> 409<span class="keyword">int</span> <span class="identifier">parse_int</span><span class="special">(</span><span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*&</span> <span class="identifier">format</span><span class="special">)</span> <span class="special">{</span> 410 <span class="keyword">int</span> <span class="identifier">result</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 411 <span class="keyword">while</span><span class="special">(</span><span class="keyword">char</span> <span class="identifier">ch</span> <span class="special">=</span> <span class="special">*</span><span class="identifier">format</span><span class="special">)</span> <span class="special">{</span> 412 <span class="keyword">switch</span><span class="special">(</span><span class="identifier">ch</span><span class="special">)</span> <span class="special">{</span> 413 <span class="keyword">case</span> <span class="char">'0'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'1'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'2'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'3'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'4'</span><span class="special">:</span> 414 <span class="keyword">case</span> <span class="char">'5'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'6'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'7'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'8'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'9'</span><span class="special">:</span> 415 <span class="identifier">result</span> <span class="special">=</span> <span class="identifier">result</span> <span class="special">*</span> <span class="number">10</span> <span class="special">+</span> <span class="special">(</span><span class="identifier">ch</span> <span class="special">-</span> <span class="char">'0'</span><span class="special">);</span> 416 <span class="keyword">break</span><span class="special">;</span> 417 <span class="keyword">default</span><span class="special">:</span> <span class="keyword">return</span> <span class="identifier">result</span><span class="special">;</span> 418 <span class="special">}</span> 419 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 420 <span class="special">}</span> 421 <span class="keyword">return</span> <span class="identifier">result</span><span class="special">;</span> 422<span class="special">}</span> 423 424<span class="comment">// printf implementation</span> 425<span class="keyword">void</span> <span class="identifier">print_impl</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">ostream</span><span class="special">&</span> <span class="identifier">os</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span> <span class="special">*</span> <span class="identifier">format</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">print_storage</span><span class="special">&</span> <span class="identifier">args</span><span class="special">)</span> <span class="special">{</span> 426 <span class="keyword">int</span> <span class="identifier">idx</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 427 <span class="identifier">ios_flags_saver</span> <span class="identifier">savef_outer</span><span class="special">(</span><span class="identifier">os</span><span class="special">,</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ios_base</span><span class="special">::</span><span class="identifier">dec</span><span class="special">);</span> 428 <span class="keyword">bool</span> <span class="identifier">has_positional</span> <span class="special">=</span> <span class="keyword">false</span><span class="special">;</span> 429 <span class="keyword">bool</span> <span class="identifier">has_indexed</span> <span class="special">=</span> <span class="keyword">false</span><span class="special">;</span> 430 <span class="keyword">while</span><span class="special">(</span><span class="keyword">char</span> <span class="identifier">ch</span> <span class="special">=</span> <span class="special">*</span><span class="identifier">format</span><span class="special">++)</span> <span class="special">{</span> 431 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">ch</span> <span class="special">==</span> <span class="char">'%'</span><span class="special">)</span> <span class="special">{</span> 432 <span class="keyword">if</span> <span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'%'</span><span class="special">)</span> <span class="special">{</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="char">'%'</span><span class="special">;</span> <span class="keyword">continue</span><span class="special">;</span> <span class="special">}</span> 433 434 <span class="identifier">ios_flags_saver</span> <span class="identifier">savef</span><span class="special">(</span><span class="identifier">os</span><span class="special">);</span> 435 <span class="identifier">ios_precision_saver</span> <span class="identifier">savep</span><span class="special">(</span><span class="identifier">os</span><span class="special">);</span> 436 <span class="identifier">ios_fill_saver</span> <span class="identifier">savefill</span><span class="special">(</span><span class="identifier">os</span><span class="special">);</span> 437 438 <span class="keyword">int</span> <span class="identifier">precision</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 439 <span class="keyword">bool</span> <span class="identifier">pad_space</span> <span class="special">=</span> <span class="keyword">false</span><span class="special">;</span> 440 <span class="keyword">bool</span> <span class="identifier">pad_zero</span> <span class="special">=</span> <span class="keyword">false</span><span class="special">;</span> 441 442 <span class="comment">// parse argument index</span> 443 <span class="keyword">if</span> <span class="special">(*</span><span class="identifier">format</span> <span class="special">!=</span> <span class="char">'0'</span><span class="special">)</span> <span class="special">{</span> 444 <span class="keyword">int</span> <span class="identifier">i</span> <span class="special">=</span> <span class="identifier">parse_int</span><span class="special">(</span><span class="identifier">format</span><span class="special">);</span> 445 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">i</span> <span class="special">!=</span> <span class="number">0</span><span class="special">)</span> <span class="special">{</span> 446 <span class="keyword">if</span><span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'$'</span><span class="special">)</span> <span class="special">{</span> 447 <span class="identifier">idx</span> <span class="special">=</span> <span class="identifier">i</span> <span class="special">-</span> <span class="number">1</span><span class="special">;</span> 448 <span class="identifier">has_indexed</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> 449 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 450 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 451 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setw</span><span class="special">(</span><span class="identifier">i</span><span class="special">);</span> 452 <span class="identifier">has_positional</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> 453 <span class="keyword">goto</span> <span class="identifier">parse_precision</span><span class="special">;</span> 454 <span class="special">}</span> 455 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 456 <span class="identifier">has_positional</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> 457 <span class="special">}</span> 458 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 459 <span class="identifier">has_positional</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> 460 <span class="special">}</span> 461 462 <span class="comment">// Parse format modifiers</span> 463 <span class="keyword">while</span><span class="special">((</span><span class="identifier">ch</span> <span class="special">=</span> <span class="special">*</span><span class="identifier">format</span><span class="special">))</span> <span class="special">{</span> 464 <span class="keyword">switch</span><span class="special">(</span><span class="identifier">ch</span><span class="special">)</span> <span class="special">{</span> 465 <span class="keyword">case</span> <span class="char">'-'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">left</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 466 <span class="keyword">case</span> <span class="char">'+'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">showpos</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 467 <span class="keyword">case</span> <span class="char">'0'</span><span class="special">:</span> <span class="identifier">pad_zero</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 468 <span class="keyword">case</span> <span class="char">' '</span><span class="special">:</span> <span class="identifier">pad_space</span> <span class="special">=</span> <span class="keyword">true</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 469 <span class="keyword">case</span> <span class="char">'#'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">showpoint</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">showbase</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 470 <span class="keyword">default</span><span class="special">:</span> <span class="keyword">goto</span> <span class="identifier">parse_width</span><span class="special">;</span> 471 <span class="special">}</span> 472 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 473 <span class="special">}</span> 474 475 <span class="identifier">parse_width</span><span class="special">:</span> 476 <span class="keyword">int</span> <span class="identifier">width</span><span class="special">;</span> 477 <span class="keyword">if</span> <span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'*'</span><span class="special">)</span> <span class="special">{</span> 478 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 479 <span class="identifier">width</span> <span class="special">=</span> <span class="identifier">any_cast</span><span class="special"><</span><span class="keyword">int</span><span class="special">>(</span><span class="identifier">args</span><span class="special">.</span><span class="identifier">at</span><span class="special">(</span><span class="identifier">idx</span><span class="special">++));</span> 480 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 481 <span class="identifier">width</span> <span class="special">=</span> <span class="identifier">parse_int</span><span class="special">(</span><span class="identifier">format</span><span class="special">);</span> 482 <span class="special">}</span> 483 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setw</span><span class="special">(</span><span class="identifier">width</span><span class="special">);</span> 484 485 <span class="identifier">parse_precision</span><span class="special">:</span> 486 <span class="keyword">if</span> <span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'.'</span><span class="special">)</span> <span class="special">{</span> 487 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 488 <span class="keyword">if</span> <span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'*'</span><span class="special">)</span> <span class="special">{</span> 489 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> 490 <span class="identifier">precision</span> <span class="special">=</span> <span class="identifier">any_cast</span><span class="special"><</span><span class="keyword">int</span><span class="special">>(</span><span class="identifier">args</span><span class="special">.</span><span class="identifier">at</span><span class="special">(</span><span class="identifier">idx</span><span class="special">++));</span> 491 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 492 <span class="identifier">precision</span> <span class="special">=</span> <span class="identifier">parse_int</span><span class="special">(</span><span class="identifier">format</span><span class="special">);</span> 493 <span class="special">}</span> 494 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setprecision</span><span class="special">(</span><span class="identifier">precision</span><span class="special">);</span> 495 <span class="special">}</span> 496 497 <span class="comment">// parse (and ignore) the type modifier</span> 498 <span class="keyword">switch</span><span class="special">(*</span><span class="identifier">format</span><span class="special">)</span> <span class="special">{</span> 499 <span class="keyword">case</span> <span class="char">'h'</span><span class="special">:</span> <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> <span class="keyword">if</span><span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'h'</span><span class="special">)</span> <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 500 <span class="keyword">case</span> <span class="char">'l'</span><span class="special">:</span> <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> <span class="keyword">if</span><span class="special">(*</span><span class="identifier">format</span> <span class="special">==</span> <span class="char">'l'</span><span class="special">)</span> <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 501 <span class="keyword">case</span> <span class="char">'j'</span><span class="special">:</span> 502 <span class="keyword">case</span> <span class="char">'L'</span><span class="special">:</span> 503 <span class="keyword">case</span> <span class="char">'q'</span><span class="special">:</span> 504 <span class="keyword">case</span> <span class="char">'t'</span><span class="special">:</span> 505 <span class="keyword">case</span> <span class="char">'z'</span><span class="special">:</span> 506 <span class="special">++</span><span class="identifier">format</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 507 <span class="special">}</span> 508 509 <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <span class="identifier">truncate</span> <span class="special">=</span> <span class="number">0</span><span class="special">;</span> 510 511 <span class="comment">// parse the format code</span> 512 <span class="keyword">switch</span><span class="special">(*</span><span class="identifier">format</span><span class="special">++)</span> <span class="special">{</span> 513 <span class="keyword">case</span> <span class="char">'d'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'i'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'u'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">dec</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 514 <span class="keyword">case</span> <span class="char">'o'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">oct</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 515 <span class="keyword">case</span> <span class="char">'p'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'x'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">hex</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 516 <span class="keyword">case</span> <span class="char">'X'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">uppercase</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">hex</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 517 <span class="keyword">case</span> <span class="char">'f'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">fixed</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 518 <span class="keyword">case</span> <span class="char">'e'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">scientific</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 519 <span class="keyword">case</span> <span class="char">'E'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">uppercase</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">scientific</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 520 <span class="keyword">case</span> <span class="char">'g'</span><span class="special">:</span> <span class="keyword">break</span><span class="special">;</span> 521 <span class="keyword">case</span> <span class="char">'G'</span><span class="special">:</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">uppercase</span><span class="special">;</span> <span class="keyword">break</span><span class="special">;</span> 522 <span class="keyword">case</span> <span class="char">'c'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'C'</span><span class="special">:</span> <span class="keyword">break</span><span class="special">;</span> 523 <span class="keyword">case</span> <span class="char">'s'</span><span class="special">:</span> <span class="keyword">case</span> <span class="char">'S'</span><span class="special">:</span> <span class="identifier">truncate</span> <span class="special">=</span> <span class="identifier">precision</span><span class="special">;</span> <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setprecision</span><span class="special">(</span><span class="number">6</span><span class="special">);</span> <span class="keyword">break</span><span class="special">;</span> 524 <span class="keyword">default</span><span class="special">:</span> <span class="identifier">assert</span><span class="special">(!</span><span class="string">"Bad format string"</span><span class="special">);</span> 525 <span class="special">}</span> 526 527 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">pad_zero</span> <span class="special">&&</span> <span class="special">!(</span><span class="identifier">os</span><span class="special">.</span><span class="identifier">flags</span><span class="special">()</span> <span class="special">&</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">ios_base</span><span class="special">::</span><span class="identifier">left</span><span class="special">))</span> <span class="special">{</span> 528 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setfill</span><span class="special">(</span><span class="char">'0'</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">internal</span><span class="special">;</span> 529 <span class="identifier">pad_space</span> <span class="special">=</span> <span class="keyword">false</span><span class="special">;</span> 530 <span class="special">}</span> 531 532 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">truncate</span> <span class="special">!=</span> <span class="number">0</span> <span class="special">||</span> <span class="identifier">pad_space</span><span class="special">)</span> <span class="special">{</span> 533 <span class="comment">// These can't be handled by std::setw. Write to a stringstream and</span> 534 <span class="comment">// pad/truncate manually.</span> 535 <span class="identifier">std</span><span class="special">::</span><span class="identifier">ostringstream</span> <span class="identifier">oss</span><span class="special">;</span> 536 <span class="identifier">oss</span><span class="special">.</span><span class="identifier">copyfmt</span><span class="special">(</span><span class="identifier">os</span><span class="special">);</span> 537 <span class="identifier">oss</span> <span class="special"><<</span> <span class="identifier">args</span><span class="special">.</span><span class="identifier">at</span><span class="special">(</span><span class="identifier">idx</span><span class="special">++);</span> 538 <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span> <span class="identifier">data</span> <span class="special">=</span> <span class="identifier">oss</span><span class="special">.</span><span class="identifier">str</span><span class="special">();</span> 539 540 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">pad_space</span><span class="special">)</span> <span class="special">{</span> 541 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">data</span><span class="special">.</span><span class="identifier">empty</span><span class="special">()</span> <span class="special">||</span> <span class="special">(</span><span class="identifier">data</span><span class="special">[</span><span class="number">0</span><span class="special">]</span> <span class="special">!=</span> <span class="char">'+'</span> <span class="special">&&</span> <span class="identifier">data</span><span class="special">[</span><span class="number">0</span><span class="special">]</span> <span class="special">!=</span> <span class="char">'-'</span> <span class="special">&&</span> <span class="identifier">data</span><span class="special">[</span><span class="number">0</span><span class="special">]</span> <span class="special">!=</span> <span class="char">' '</span><span class="special">))</span> <span class="special">{</span> 542 <span class="identifier">os</span> <span class="special"><<</span> <span class="char">' '</span><span class="special">;</span> 543 <span class="special">}</span> 544 <span class="special">}</span> 545 <span class="keyword">if</span> <span class="special">(</span><span class="identifier">truncate</span> <span class="special">!=</span> <span class="number">0</span> <span class="special">&&</span> <span class="identifier">data</span><span class="special">.</span><span class="identifier">size</span><span class="special">()</span> <span class="special">></span> <span class="identifier">truncate</span><span class="special">)</span> <span class="special">{</span> 546 <span class="identifier">data</span><span class="special">.</span><span class="identifier">resize</span><span class="special">(</span><span class="identifier">truncate</span><span class="special">);</span> 547 <span class="special">}</span> 548 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">data</span><span class="special">;</span> 549 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 550 <span class="identifier">os</span> <span class="special"><<</span> <span class="identifier">args</span><span class="special">.</span><span class="identifier">at</span><span class="special">(</span><span class="identifier">idx</span><span class="special">++);</span> 551 <span class="special">}</span> 552 553 <span class="comment">// we can't have both positional and indexed arguments in</span> 554 <span class="comment">// the format string.</span> 555 <span class="identifier">assert</span><span class="special">(</span><span class="identifier">has_positional</span> <span class="special">^</span> <span class="identifier">has_indexed</span><span class="special">);</span> 556 557 <span class="special">}</span> <span class="keyword">else</span> <span class="special">{</span> 558 <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">ch</span><span class="special">;</span> 559 <span class="special">}</span> 560 <span class="special">}</span> 561<span class="special">}</span> 562 563<span class="keyword">int</span> <span class="identifier">main</span><span class="special">()</span> <span class="special">{</span> 564 <span class="identifier">print</span><span class="special">(</span><span class="string">"int: %d\n"</span><span class="special">,</span> <span class="number">10</span><span class="special">);</span> 565 <span class="identifier">print</span><span class="special">(</span><span class="string">"int: %0#8X\n"</span><span class="special">,</span> <span class="number">0xA56E</span><span class="special">);</span> 566 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %g\n"</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 567 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %f\n"</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 568 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %+20.9e\n"</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 569 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %0+20.9g\n"</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 570 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %*.*g\n"</span><span class="special">,</span> <span class="number">20</span><span class="special">,</span> <span class="number">5</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 571 <span class="identifier">print</span><span class="special">(</span><span class="string">"string: %.10s\n"</span><span class="special">,</span> <span class="string">"Hello World!"</span><span class="special">);</span> 572 <span class="identifier">print</span><span class="special">(</span><span class="string">"double: %2$*.*g int: %1$d\n"</span><span class="special">,</span> <span class="number">10</span><span class="special">,</span> <span class="number">20</span><span class="special">,</span> <span class="number">5</span><span class="special">,</span> <span class="number">3.14159265358979323846</span><span class="special">);</span> 573<span class="special">}</span> 574</pre> 575<p> 576 </p> 577</div> 578<div class="section"> 579<div class="titlepage"><div><div><h3 class="title"> 580<a name="boost_typeerasure.examples.multifunction"></a><a class="link" href="examples.html#boost_typeerasure.examples.multifunction" title="Boost.Function with multiple signatures">Boost.Function 581 with multiple signatures</a> 582</h3></div></div></div> 583<p> 584 (For the source of this example see <a href="../../../libs/type_erasure/example/multifunction.cpp" target="_top">multifunction.cpp</a>) 585 </p> 586<p> 587 This example implements an extension of Boost.Function that supports multiple 588 signatures. 589 </p> 590<div class="note"><table border="0" summary="Note"> 591<tr> 592<td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../../doc/src/images/note.png"></td> 593<th align="left">Note</th> 594</tr> 595<tr><td align="left" valign="top"><p> 596 This example uses C++11 features. You'll need a recent compiler for it 597 to work. 598 </p></td></tr> 599</table></div> 600<p> 601</p> 602<pre class="programlisting"><span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">any</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 603<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">builtin</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 604<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_erasure</span><span class="special">/</span><span class="identifier">callable</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 605<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">mpl</span><span class="special">/</span><span class="identifier">vector</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 606<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">variant</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 607<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">phoenix</span><span class="special">/</span><span class="identifier">core</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 608<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">phoenix</span><span class="special">/</span><span class="keyword">operator</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 609<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">range</span><span class="special">/</span><span class="identifier">algorithm</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">></span> 610<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">algorithm</span><span class="special">></span> 611<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">vector</span><span class="special">></span> 612<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">string</span><span class="special">></span> 613<span class="preprocessor">#include</span> <span class="special"><</span><span class="identifier">iostream</span><span class="special">></span> 614 615<span class="keyword">namespace</span> <span class="identifier">mpl</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">mpl</span><span class="special">;</span> 616<span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">type_erasure</span><span class="special">;</span> 617<span class="keyword">namespace</span> <span class="identifier">phoenix</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">phoenix</span><span class="special">;</span> 618 619<span class="comment">// First of all we'll declare the multifunction template.</span> 620<span class="comment">// multifunction is like Boost.Function but instead of</span> 621<span class="comment">// taking one signature, it takes any number of them.</span> 622<span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span><span class="special">...</span> <span class="identifier">Sig</span><span class="special">></span> 623<span class="keyword">using</span> <span class="identifier">multifunction</span> <span class="special">=</span> 624 <span class="identifier">any</span><span class="special"><</span> 625 <span class="identifier">mpl</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span> 626 <span class="identifier">copy_constructible</span><span class="special"><>,</span> 627 <span class="identifier">typeid_</span><span class="special"><>,</span> 628 <span class="identifier">relaxed</span><span class="special">,</span> 629 <span class="identifier">callable</span><span class="special"><</span><span class="identifier">Sig</span><span class="special">>...</span> 630 <span class="special">></span> 631 <span class="special">>;</span> 632 633<span class="comment">// Let's use multifunction to process a variant. We'll start</span> 634<span class="comment">// by defining a simple recursive variant to use.</span> 635<span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">make_recursive_variant</span><span class="special"><</span> 636 <span class="keyword">int</span><span class="special">,</span> 637 <span class="keyword">double</span><span class="special">,</span> 638 <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span><span class="special">,</span> 639 <span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">recursive_variant_</span><span class="special">></span> <span class="special">>::</span><span class="identifier">type</span> <span class="identifier">variant_type</span><span class="special">;</span> 640<span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">vector</span><span class="special"><</span><span class="identifier">variant_type</span><span class="special">></span> <span class="identifier">vector_type</span><span class="special">;</span> 641 642<span class="comment">// Now we'll define a multifunction that can operate</span> 643<span class="comment">// on the leaf nodes of the variant.</span> 644<span class="keyword">typedef</span> <span class="identifier">multifunction</span><span class="special"><</span><span class="keyword">void</span><span class="special">(</span><span class="keyword">int</span><span class="special">),</span> <span class="keyword">void</span><span class="special">(</span><span class="keyword">double</span><span class="special">),</span> <span class="keyword">void</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span><span class="special">)></span> <span class="identifier">function_type</span><span class="special">;</span> 645 646<span class="keyword">class</span> <span class="identifier">variant_handler</span> 647<span class="special">{</span> 648<span class="keyword">public</span><span class="special">:</span> 649 <span class="keyword">void</span> <span class="identifier">handle</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">variant_type</span><span class="special">&</span> <span class="identifier">arg</span><span class="special">)</span> 650 <span class="special">{</span> 651 <span class="identifier">boost</span><span class="special">::</span><span class="identifier">apply_visitor</span><span class="special">(</span><span class="identifier">impl</span><span class="special">,</span> <span class="identifier">arg</span><span class="special">);</span> 652 <span class="special">}</span> 653 <span class="keyword">void</span> <span class="identifier">set_handler</span><span class="special">(</span><span class="identifier">function_type</span> <span class="identifier">f</span><span class="special">)</span> 654 <span class="special">{</span> 655 <span class="identifier">impl</span><span class="special">.</span><span class="identifier">f</span> <span class="special">=</span> <span class="identifier">f</span><span class="special">;</span> 656 <span class="special">}</span> 657<span class="keyword">private</span><span class="special">:</span> 658 <span class="comment">// A class that works with boost::apply_visitor</span> 659 <span class="keyword">struct</span> <span class="identifier">dispatcher</span> <span class="special">:</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">static_visitor</span><span class="special"><</span><span class="keyword">void</span><span class="special">></span> 660 <span class="special">{</span> 661 <span class="comment">// used for the leaves</span> 662 <span class="keyword">template</span><span class="special"><</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">></span> 663 <span class="keyword">void</span> <span class="keyword">operator</span><span class="special">()(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&</span> <span class="identifier">t</span><span class="special">)</span> <span class="special">{</span> <span class="identifier">f</span><span class="special">(</span><span class="identifier">t</span><span class="special">);</span> <span class="special">}</span> 664 <span class="comment">// For a vector, we recursively operate on the elements</span> 665 <span class="keyword">void</span> <span class="keyword">operator</span><span class="special">()(</span><span class="keyword">const</span> <span class="identifier">vector_type</span><span class="special">&</span> <span class="identifier">v</span><span class="special">)</span> 666 <span class="special">{</span> 667 <span class="identifier">boost</span><span class="special">::</span><span class="identifier">for_each</span><span class="special">(</span><span class="identifier">v</span><span class="special">,</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">apply_visitor</span><span class="special">(*</span><span class="keyword">this</span><span class="special">));</span> 668 <span class="special">}</span> 669 <span class="identifier">function_type</span> <span class="identifier">f</span><span class="special">;</span> 670 <span class="special">};</span> 671 <span class="identifier">dispatcher</span> <span class="identifier">impl</span><span class="special">;</span> 672<span class="special">};</span> 673 674<span class="keyword">int</span> <span class="identifier">main</span><span class="special">()</span> <span class="special">{</span> 675 <span class="identifier">variant_handler</span> <span class="identifier">x</span><span class="special">;</span> 676 <span class="identifier">x</span><span class="special">.</span><span class="identifier">set_handler</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special"><<</span> <span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">val</span><span class="special">(</span><span class="string">"Value: "</span><span class="special">)</span> <span class="special"><<</span> <span class="identifier">phoenix</span><span class="special">::</span><span class="identifier">placeholders</span><span class="special">::</span><span class="identifier">_1</span> <span class="special"><<</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">endl</span><span class="special">);</span> 677 678 <span class="identifier">x</span><span class="special">.</span><span class="identifier">handle</span><span class="special">(</span><span class="number">1</span><span class="special">);</span> 679 <span class="identifier">x</span><span class="special">.</span><span class="identifier">handle</span><span class="special">(</span><span class="number">2.718</span><span class="special">);</span> 680 <span class="identifier">x</span><span class="special">.</span><span class="identifier">handle</span><span class="special">(</span><span class="string">"The quick brown fox jumps over the lazy dog."</span><span class="special">);</span> 681 <span class="identifier">x</span><span class="special">.</span><span class="identifier">handle</span><span class="special">(</span><span class="identifier">vector_type</span><span class="special">{</span> <span class="number">1.618</span><span class="special">,</span> <span class="string">"Gallia est omnis divisa in partes tres"</span><span class="special">,</span> <span class="number">42</span> <span class="special">});</span> 682<span class="special">}</span> 683</pre> 684<p> 685 </p> 686</div> 687</div> 688<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr> 689<td align="left"></td> 690<td align="right"><div class="copyright-footer">Copyright © 2011-2013 Steven Watanabe<p> 691 Distributed under the Boost Software License, Version 1.0. (See accompanying 692 file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>) 693 </p> 694</div></td> 695</tr></table> 696<hr> 697<div class="spirit-nav"> 698<a accesskey="p" href="any.html"><img src="../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../boost_typeerasure.html"><img src="../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="conceptdef.html"><img src="../../../doc/src/images/next.png" alt="Next"></a> 699</div> 700</body> 701</html> 702
