Inicio Explorar Axuda
Rexistro Iniciar sesión
devn00b
/
EQ2EMu
9
3
Fork 0
Ficheiros Incidencias 59
Árbore: fb9ec032f8
Ramas Etiquetas
EQ2EMu
/
EQ2
/
source
/
depends
/
boost_1_72_0
/
libs
/
tti
/
doc
/
html
/
the_type_traits_introspection_library
/
tti_usingMM.html

tti_usingMM.html 29 KB
Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418 
  1. <html>
    2. 

  2. <head>
    3. 

  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
    4. 

  4. <title>An example using the Macro Metafunctions</title>
    5. 

  5. <link rel="stylesheet" href="../../../../../doc/src/boostbook.css" type="text/css">
    6. 

  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
    7. 

  7. <link rel="home" href="../index.html" title="Chapter&#160;1.&#160;The Type Traits Introspection Library">
    8. 

  8. <link rel="up" href="../index.html" title="Chapter&#160;1.&#160;The Type Traits Introspection Library">
    9. 

  9. <link rel="prev" href="tti_enclosing_type.html" title="Enclosing Type">
    10. 

  10. <link rel="next" href="tti_func_templates.html" title="Introspecting Function Templates">
    11. 

  11. </head>
    12. 

  12. <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
    13. 

  13. <table cellpadding="2" width="100%"><tr>
    14. 

  14. <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../boost.png"></td>
    15. 

  15. <td align="center"><a href="../../../../../index.html">Home</a></td>
    16. 

  16. <td align="center"><a href="../../../../../libs/libraries.htm">Libraries</a></td>
    17. 

  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
    18. 

  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
    19. 

  19. <td align="center"><a href="../../../../../more/index.htm">More</a></td>
    20. 

  20. </tr></table>
    21. 

  21. <hr>
    22. 

  22. <div class="spirit-nav">
    23. 

  23. <a accesskey="p" href="tti_enclosing_type.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.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="tti_func_templates.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
    24. 

  24. </div>
    25. 

  25. <div class="section">
    26. 

  26. <div class="titlepage"><div><div><h2 class="title" style="clear: both">
    27. 

  27. <a name="the_type_traits_introspection_library.tti_usingMM"></a><a class="link" href="tti_usingMM.html" title="An example using the Macro Metafunctions">An example
    28. 

  28.     using the Macro Metafunctions</a>
    29. 

  29. </h2></div></div></div>
    30. 

  30. <p>
    31. 

  31.       <a name="sectti_usingMM"></a>Using the macro metafunctions can be illustrated
    32. 

  32.       by first creating some hypothetical user-defined type with corresponding nested
    33. 

  33.       types and other inner elements. With this type we can illustrate the use of
    34. 

  34.       the macro metafunctions. This is just meant to serve as a model for what a
    35. 

  35.       type T might entail from within a class or function template where 'T' is a
    36. 

  36.       type passed to the template.
    37. 

  37.     </p>
    38. 

  38. <pre class="programlisting"><span class="comment">// An enclosing type</span>
    39. 

  39. 

  40. <span class="keyword">struct</span> <span class="identifier">AType</span>
    41. 

  41.   <span class="special">{</span>
    42. 

  42. 

  43.   <span class="comment">// Type</span>
    44. 

  44. 

  45.   <span class="keyword">typedef</span> <span class="keyword">int</span> <span class="identifier">AnIntType</span><span class="special">;</span> <span class="comment">// as a typedef</span>
    46. 

  46. 

  47.   <span class="keyword">struct</span> <span class="identifier">BType</span> <span class="comment">// as a nested type</span>
    48. 

  48.     <span class="special">{</span>
    49. 

  49.     <span class="keyword">struct</span> <span class="identifier">CType</span>
    50. 

  50.       <span class="special">{</span>
    51. 

  51.       <span class="special">};</span>
    52. 

  52.     <span class="special">};</span>
    53. 

  53. 

  54.   <span class="comment">// Template</span>
    55. 

  55. 

  56.   <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">&gt;</span> <span class="keyword">struct</span> <span class="identifier">AMemberTemplate</span> <span class="special">{</span> <span class="special">};</span>
    57. 

  57.   <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">&gt;</span> <span class="keyword">struct</span> <span class="identifier">AnotherMemberTemplate</span> <span class="special">{</span> <span class="special">};</span>
    58. 

  58.   <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">&gt;</span> <span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">long</span><span class="special">&gt;</span> <span class="keyword">struct</span> <span class="identifier">ManyParameters</span> <span class="special">{</span> <span class="special">};</span>
    59. 

  59.   <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">,</span><span class="keyword">short</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">&gt;</span> <span class="keyword">struct</span> <span class="identifier">MoreParameters</span> <span class="special">{</span> <span class="special">};</span>
    60. 

  60. 

  61.   <span class="comment">// Data</span>
    62. 

  62. 

  63.   <span class="identifier">BType</span> <span class="identifier">IntBT</span><span class="special">;</span>
    64. 

  64. 

  65.   <span class="comment">// Function</span>
    66. 

  66. 

  67.   <span class="keyword">int</span> <span class="identifier">IntFunction</span><span class="special">(</span><span class="keyword">short</span><span class="special">)</span> <span class="special">{</span> <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span> <span class="special">}</span>
    68. 

  68. 

  69.   <span class="comment">// Static Data</span>
    70. 

  70. 

  71.   <span class="keyword">static</span> <span class="keyword">short</span> <span class="identifier">DSMember</span><span class="special">;</span>
    72. 

  72. 

  73.   <span class="comment">// Static Function</span>
    74. 

  74. 

  75.   <span class="keyword">static</span> <span class="keyword">int</span> <span class="identifier">SIntFunction</span><span class="special">(</span><span class="keyword">long</span><span class="special">,</span><span class="keyword">double</span><span class="special">)</span> <span class="special">{</span> <span class="keyword">return</span> <span class="number">2</span><span class="special">;</span> <span class="special">}</span>
    76. 

  76. 

  77.   <span class="special">};</span>
    78. 

  78. </pre>
    79. 

  79. <p>
    80. 

  80.       I will be using the type above just to illustrate the sort of metaprogramming
    81. 

  81.       questions we can ask of some type T which is passed to the template programmer
    82. 

  82.       in a class template. Here is what the class template might look like:
    83. 

  83.     </p>
    84. 

  84. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">tti</span><span class="special">/</span><span class="identifier">tti</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
    85. 

  85. 

  86. <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
    87. 

  87. <span class="keyword">struct</span> <span class="identifier">OurTemplateClass</span>
    88. 

  88.   <span class="special">{</span>
    89. 

  89. 

  90.   <span class="comment">// compile-time template code regarding T</span>
    91. 

  91. 

  92.   <span class="special">};</span>
    93. 

  93. </pre>
    94. 

  94. <p>
    95. 

  95.       Now let us create and invoke the macro metafunctions for each of our inner
    96. 

  96.       element types, to see if type T above corresponds to our hypothetical type
    97. 

  97.       above. Imagine this being within 'OurTemplateClass' above. In the examples
    98. 

  98.       below the same macro is invoked just once to avoid ODR violations.
    99. 

  99.     </p>
    100. 

  100. <h4>
    101. 

  101. <a name="the_type_traits_introspection_library.tti_usingMM.h0"></a>
    102. 

  102.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.type"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.type">Type</a>
    103. 

  103.     </h4>
    104. 

  104. <p>
    105. 

  105.       Does T have a nested type called 'AnIntType' ?
    106. 

  106.     </p>
    107. 

  107. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TYPE</span><span class="special">(</span><span class="identifier">AnIntType</span><span class="special">)</span>
    108. 

  108. 

  109. <span class="identifier">has_type_AnIntType</span>
    110. 

  110.   <span class="special">&lt;</span>
    111. 

  111.   <span class="identifier">T</span>
    112. 

  112.   <span class="special">&gt;</span>
    113. 

  113. </pre>
    114. 

  114. <p>
    115. 

  115.       Does T have a nested type called 'BType' ?
    116. 

  116.     </p>
    117. 

  117. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TYPE</span><span class="special">(</span><span class="identifier">BType</span><span class="special">)</span>
    118. 

  118. 

  119. <span class="identifier">has_type_BType</span>
    120. 

  120.   <span class="special">&lt;</span>
    121. 

  121.   <span class="identifier">T</span>
    122. 

  122.   <span class="special">&gt;</span>
    123. 

  123. </pre>
    124. 

  124. <h4>
    125. 

  125. <a name="the_type_traits_introspection_library.tti_usingMM.h1"></a>
    126. 

  126.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.type_checking_the_typedef_using_a_lambda_expression"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.type_checking_the_typedef_using_a_lambda_expression">Type
    127. 

  127.       checking the typedef using a lambda expression</a>
    128. 

  128.     </h4>
    129. 

  129. <p>
    130. 

  130.       Does T have a nested typedef called 'AnIntType' whose type is an 'int' ?
    131. 

  131.     </p>
    132. 

  132. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">mpl</span><span class="special">/</span><span class="identifier">placeholders</span><span class="special">.</span><span class="identifier">hpp</span>
    133. 

  133. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_traits</span><span class="special">/</span><span class="identifier">is_same</span><span class="special">.</span><span class="identifier">hpp</span>
    134. 

  134. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">placeholders</span><span class="special">;</span>
    135. 

  135. 

  136. <span class="identifier">has_type_AnIntType</span>
    137. 

  137.   <span class="special">&lt;</span>
    138. 

  138.   <span class="identifier">T</span><span class="special">,</span>
    139. 

  139.   <span class="identifier">boost</span><span class="special">::</span><span class="identifier">is_same</span><span class="special">&lt;</span><span class="identifier">_1</span><span class="special">,</span><span class="keyword">int</span><span class="special">&gt;</span>
    140. 

  140.   <span class="special">&gt;</span>
    141. 

  141. </pre>
    142. 

  142. <h4>
    143. 

  143. <a name="the_type_traits_introspection_library.tti_usingMM.h2"></a>
    144. 

  144.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.template"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.template">Template</a>
    145. 

  145.     </h4>
    146. 

  146. <p>
    147. 

  147.       Does T have a nested class template called 'AMemberTemplate' whose template
    148. 

  148.       parameters are all types ('class' or 'typename') ?
    149. 

  149.     </p>
    150. 

  150. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TEMPLATE</span><span class="special">(</span><span class="identifier">AMemberTemplate</span><span class="special">,</span><span class="identifier">BOOST_PP_NIL</span><span class="special">)</span>
    151. 

  151. 

  152. <span class="identifier">has_template_AMemberTemplate</span>
    153. 

  153.   <span class="special">&lt;</span>
    154. 

  154.   <span class="identifier">T</span>
    155. 

  155.   <span class="special">&gt;</span>
    156. 

  156. </pre>
    157. 

  157. <h4>
    158. 

  158. <a name="the_type_traits_introspection_library.tti_usingMM.h3"></a>
    159. 

  159.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.template_using_variadic_macros"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.template_using_variadic_macros">Template
    160. 

  160.       using variadic macros</a>
    161. 

  161.     </h4>
    162. 

  162. <p>
    163. 

  163.       Does T have a nested class template called 'AMemberTemplate' whose template
    164. 

  164.       parameters are all types ('class' or 'typename') ?
    165. 

  165.     </p>
    166. 

  166. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TEMPLATE</span><span class="special">(</span><span class="identifier">AnotherMemberTemplate</span><span class="special">)</span>
    167. 

  167. 

  168. <span class="identifier">has_template_AnotherMemberTemplate</span>
    169. 

  169.   <span class="special">&lt;</span>
    170. 

  170.   <span class="identifier">T</span>
    171. 

  171.   <span class="special">&gt;</span>
    172. 

  172. </pre>
    173. 

  173. <h4>
    174. 

  174. <a name="the_type_traits_introspection_library.tti_usingMM.h4"></a>
    175. 

  175.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.template_with_params"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.template_with_params">Template
    176. 

  176.       with params</a>
    177. 

  177.     </h4>
    178. 

  178. <p>
    179. 

  179.       Does T have a nested class template called 'MoreParameters' whose template
    180. 

  180.       parameters are specified exactly ?
    181. 

  181.     </p>
    182. 

  182. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TEMPLATE</span><span class="special">(</span><span class="identifier">MoreParameters</span><span class="special">,(</span><span class="number">8</span><span class="special">,(</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">,</span><span class="keyword">short</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">)))</span>
    183. 

  183. 

  184. <span class="identifier">has_template_MoreParameters</span>
    185. 

  185.   <span class="special">&lt;</span>
    186. 

  186.   <span class="identifier">T</span>
    187. 

  187.   <span class="special">&gt;</span>
    188. 

  188. </pre>
    189. 

  189. <h4>
    190. 

  190. <a name="the_type_traits_introspection_library.tti_usingMM.h5"></a>
    191. 

  191.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.template_with_params_using_variadic_macros"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.template_with_params_using_variadic_macros">Template
    192. 

  192.       with params using variadic macros</a>
    193. 

  193.     </h4>
    194. 

  194. <p>
    195. 

  195.       Does T have a nested class template called 'ManyParameters' whose template
    196. 

  196.       parameters are specified exactly ?
    197. 

  197.     </p>
    198. 

  198. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_TEMPLATE</span><span class="special">(</span><span class="identifier">ManyParameters</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">int</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span><span class="special">&gt;</span> <span class="keyword">class</span><span class="special">,</span><span class="keyword">class</span><span class="special">,</span><span class="keyword">long</span><span class="special">)</span>
    199. 

  199. 

  200. <span class="identifier">has_template_ManyParameters</span>
    201. 

  201.   <span class="special">&lt;</span>
    202. 

  202.   <span class="identifier">T</span>
    203. 

  203.   <span class="special">&gt;</span>
    204. 

  204. </pre>
    205. 

  205. <h4>
    206. 

  206. <a name="the_type_traits_introspection_library.tti_usingMM.h6"></a>
    207. 

  207.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_data"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_data">Member
    208. 

  208.       data</a>
    209. 

  209.     </h4>
    210. 

  210. <p>
    211. 

  211.       Does T have a member data called 'IntBT' whose type is 'AType::BType' ?
    212. 

  212.     </p>
    213. 

  213. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_MEMBER_DATA</span><span class="special">(</span><span class="identifier">IntBT</span><span class="special">)</span>
    214. 

  214. 

  215. <span class="identifier">has_member_data_IntBT</span>
    216. 

  216.   <span class="special">&lt;</span>
    217. 

  217.   <span class="identifier">T</span><span class="special">,</span>
    218. 

  218.   <span class="identifier">AType</span><span class="special">::</span><span class="identifier">BType</span>
    219. 

  219.   <span class="special">&gt;</span>
    220. 

  220. </pre>
    221. 

  221. <h4>
    222. 

  222. <a name="the_type_traits_introspection_library.tti_usingMM.h7"></a>
    223. 

  223.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_data_with_composite_type"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_data_with_composite_type">Member
    224. 

  224.       data with composite type</a>
    225. 

  225.     </h4>
    226. 

  226. <p>
    227. 

  227.       Does T have a member data called 'IntBT' whose type is 'AType::BType' ?
    228. 

  228.     </p>
    229. 

  229. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_MEMBER_DATA</span><span class="special">(</span><span class="identifier">IntBT</span><span class="special">)</span>
    230. 

  230. 

  231. <span class="identifier">has_member_data_IntBT</span>
    232. 

  232.   <span class="special">&lt;</span>
    233. 

  233.   <span class="identifier">AType</span><span class="special">::</span><span class="identifier">BType</span> <span class="identifier">T</span><span class="special">::*</span>
    234. 

  234.   <span class="special">&gt;</span>
    235. 

  235. </pre>
    236. 

  236. <h4>
    237. 

  237. <a name="the_type_traits_introspection_library.tti_usingMM.h8"></a>
    238. 

  238.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_function_with_individual_types"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_function_with_individual_types">Member
    239. 

  239.       function with individual types</a>
    240. 

  240.     </h4>
    241. 

  241. <p>
    242. 

  242.       Does T have a member function called 'IntFunction' whose type is 'int (short)'
    243. 

  243.       ?
    244. 

  244.     </p>
    245. 

  245. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_MEMBER_FUNCTION</span><span class="special">(</span><span class="identifier">IntFunction</span><span class="special">)</span>
    246. 

  246. 

  247. <span class="identifier">has_member_function_IntFunction</span>
    248. 

  248.   <span class="special">&lt;</span>
    249. 

  249.   <span class="identifier">T</span><span class="special">,</span>
    250. 

  250.   <span class="keyword">int</span><span class="special">,</span>
    251. 

  251.   <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">&lt;</span><span class="keyword">short</span><span class="special">&gt;</span>
    252. 

  252.   <span class="special">&gt;</span>
    253. 

  253. </pre>
    254. 

  254. <h4>
    255. 

  255. <a name="the_type_traits_introspection_library.tti_usingMM.h9"></a>
    256. 

  256.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_function_with_composite_type"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_function_with_composite_type">Member
    257. 

  257.       function with composite type</a>
    258. 

  258.     </h4>
    259. 

  259. <p>
    260. 

  260.       Does T have a member function called 'IntFunction' whose type is 'int (short)'
    261. 

  261.       ?
    262. 

  262.     </p>
    263. 

  263. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_MEMBER_FUNCTION</span><span class="special">(</span><span class="identifier">IntFunction</span><span class="special">)</span>
    264. 

  264. <span class="identifier">has_member_function_IntFunction</span>
    265. 

  265.   <span class="special">&lt;</span>
    266. 

  266.   <span class="keyword">int</span> <span class="special">(</span><span class="identifier">T</span><span class="special">::*)(</span><span class="keyword">short</span><span class="special">)</span>
    267. 

  267.   <span class="special">&gt;</span>
    268. 

  268. </pre>
    269. 

  269. <h4>
    270. 

  270. <a name="the_type_traits_introspection_library.tti_usingMM.h10"></a>
    271. 

  271.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.static_member_data"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.static_member_data">Static
    272. 

  272.       member data</a>
    273. 

  273.     </h4>
    274. 

  274. <p>
    275. 

  275.       Does T have a static member data called 'DSMember' whose type is 'short' ?
    276. 

  276.     </p>
    277. 

  277. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_STATIC_MEMBER_DATA</span><span class="special">(</span><span class="identifier">DSMember</span><span class="special">)</span>
    278. 

  278. 

  279. <span class="identifier">has_static_member_data_DSMember</span>
    280. 

  280.   <span class="special">&lt;</span>
    281. 

  281.   <span class="identifier">T</span><span class="special">,</span>
    282. 

  282.   <span class="keyword">short</span>
    283. 

  283.   <span class="special">&gt;</span>
    284. 

  284. </pre>
    285. 

  285. <h4>
    286. 

  286. <a name="the_type_traits_introspection_library.tti_usingMM.h11"></a>
    287. 

  287.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.static_member_function_with_individual_types"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.static_member_function_with_individual_types">Static
    288. 

  288.       member function with individual types</a>
    289. 

  289.     </h4>
    290. 

  290. <p>
    291. 

  291.       Does T have a static member function called 'SIntFunction' whose type is 'int
    292. 

  292.       (long,double)' ?
    293. 

  293.     </p>
    294. 

  294. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION</span><span class="special">(</span><span class="identifier">SIntFunction</span><span class="special">)</span>
    295. 

  295. 

  296. <span class="identifier">has_static_member_function_SIntFunction</span>
    297. 

  297.   <span class="special">&lt;</span>
    298. 

  298.   <span class="identifier">T</span><span class="special">,</span>
    299. 

  299.   <span class="keyword">int</span><span class="special">,</span>
    300. 

  300.   <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">&lt;</span><span class="keyword">long</span><span class="special">,</span><span class="keyword">double</span><span class="special">&gt;</span>
    301. 

  301.   <span class="special">&gt;</span>
    302. 

  302. </pre>
    303. 

  303. <h4>
    304. 

  304. <a name="the_type_traits_introspection_library.tti_usingMM.h12"></a>
    305. 

  305.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.static_member_function_with_composite_type"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.static_member_function_with_composite_type">Static
    306. 

  306.       member function with composite type</a>
    307. 

  307.     </h4>
    308. 

  308. <p>
    309. 

  309.       Does T have a static member function called 'SIntFunction' whose type is 'int
    310. 

  310.       (long,double)' ?
    311. 

  311.     </p>
    312. 

  312. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION</span><span class="special">(</span><span class="identifier">SIntFunction</span><span class="special">)</span>
    313. 

  313. 

  314. <span class="identifier">has_static_member_function_SIntFunction</span>
    315. 

  315.   <span class="special">&lt;</span>
    316. 

  316.   <span class="identifier">T</span><span class="special">,</span>
    317. 

  317.   <span class="keyword">int</span> <span class="special">(</span><span class="keyword">long</span><span class="special">,</span><span class="keyword">double</span><span class="special">)</span>
    318. 

  318.   <span class="special">&gt;</span>
    319. 

  319. </pre>
    320. 

  320. <h4>
    321. 

  321. <a name="the_type_traits_introspection_library.tti_usingMM.h13"></a>
    322. 

  322.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.data"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.data">Data</a>
    323. 

  323.     </h4>
    324. 

  324. <p>
    325. 

  325.       Does T have a member data or static member data called 'DSMember' whose type
    326. 

  326.       is 'short' ?
    327. 

  327.     </p>
    328. 

  328. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_DATA</span><span class="special">(</span><span class="identifier">DSMember</span><span class="special">)</span>
    329. 

  329. 

  330. <span class="identifier">has_static_member_data_DSMember</span>
    331. 

  331.   <span class="special">&lt;</span>
    332. 

  332.   <span class="identifier">T</span><span class="special">,</span>
    333. 

  333.   <span class="keyword">short</span>
    334. 

  334.   <span class="special">&gt;</span>
    335. 

  335. </pre>
    336. 

  336. <h4>
    337. 

  337. <a name="the_type_traits_introspection_library.tti_usingMM.h14"></a>
    338. 

  338.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.function"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.function">Function</a>
    339. 

  339.     </h4>
    340. 

  340. <p>
    341. 

  341.       Does T have a member function or a static member function called 'IntFunction'
    342. 

  342.       whose type is 'int (short)' ?
    343. 

  343.     </p>
    344. 

  344. <pre class="programlisting"><span class="identifier">BOOST_TTI_HAS_FUNCTION</span><span class="special">(</span><span class="identifier">IntFunction</span><span class="special">)</span>
    345. 

  345. 

  346. <span class="identifier">has_function_IntFunction</span>
    347. 

  347.   <span class="special">&lt;</span>
    348. 

  348.   <span class="identifier">T</span><span class="special">,</span>
    349. 

  349.   <span class="keyword">int</span><span class="special">,</span>
    350. 

  350.   <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">&lt;</span><span class="keyword">short</span><span class="special">&gt;</span>
    351. 

  351.   <span class="special">&gt;</span>
    352. 

  352. </pre>
    353. 

  353. <h4>
    354. 

  354. <a name="the_type_traits_introspection_library.tti_usingMM.h15"></a>
    355. 

  355.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_type"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_type">Member
    356. 

  356.       type</a>
    357. 

  357.     </h4>
    358. 

  358. <p>
    359. 

  359.       Create a nested type T::BType::CType without creating a compiler error if T
    360. 

  360.       does not have the nested type BType::CType ?
    361. 

  361.     </p>
    362. 

  362. <pre class="programlisting"><span class="identifier">BOOST_TTI_MEMBER_TYPE</span><span class="special">(</span><span class="identifier">BType</span><span class="special">)</span>
    363. 

  363. <span class="identifier">BOOST_TTI_MEMBER_TYPE</span><span class="special">(</span><span class="identifier">CType</span><span class="special">)</span>
    364. 

  364. 

  365. <span class="keyword">typename</span>
    366. 

  366. <span class="identifier">member_type_CType</span>
    367. 

  367.   <span class="special">&lt;</span>
    368. 

  368.   <span class="keyword">typename</span>
    369. 

  369.   <span class="identifier">member_type_BType</span>
    370. 

  370.     <span class="special">&lt;</span>
    371. 

  371.     <span class="identifier">T</span>
    372. 

  372.     <span class="special">&gt;::</span><span class="identifier">type</span>
    373. 

  373.   <span class="special">&gt;::</span><span class="identifier">type</span>
    374. 

  374. </pre>
    375. 

  375. <h4>
    376. 

  376. <a name="the_type_traits_introspection_library.tti_usingMM.h16"></a>
    377. 

  377.       <span class="phrase"><a name="the_type_traits_introspection_library.tti_usingMM.member_type_existence"></a></span><a class="link" href="tti_usingMM.html#the_type_traits_introspection_library.tti_usingMM.member_type_existence">Member
    378. 

  378.       type existence</a>
    379. 

  379.     </h4>
    380. 

  380. <p>
    381. 

  381.       Does a nested type T::BType::CType, created without creating a compiler error
    382. 

  382.       if T does not have the nested type BType::CType, actually exist ?
    383. 

  383.     </p>
    384. 

  384. <pre class="programlisting"><span class="identifier">BOOST_TTI_MEMBER_TYPE</span><span class="special">(</span><span class="identifier">BType</span><span class="special">)</span>
    385. 

  385. <span class="identifier">BOOST_TTI_MEMBER_TYPE</span><span class="special">(</span><span class="identifier">CType</span><span class="special">)</span>
    386. 

  386. 

  387. <span class="keyword">typedef</span> <span class="keyword">typename</span>
    388. 

  388. <span class="identifier">member_type_CType</span>
    389. 

  389.   <span class="special">&lt;</span>
    390. 

  390.   <span class="keyword">typename</span>
    391. 

  391.   <span class="identifier">member_type_BType</span>
    392. 

  392.     <span class="special">&lt;</span>
    393. 

  393.     <span class="identifier">T</span>
    394. 

  394.     <span class="special">&gt;::</span><span class="identifier">type</span>
    395. 

  395.   <span class="special">&gt;::</span><span class="identifier">type</span>
    396. 

  396. <span class="identifier">AType</span><span class="special">;</span>
    397. 

  397. 

  398. <span class="identifier">boost</span><span class="special">::</span><span class="identifier">tti</span><span class="special">::</span><span class="identifier">valid_member_type</span>
    399. 

  399.   <span class="special">&lt;</span>
    400. 

  400.   <span class="identifier">AType</span>
    401. 

  401.   <span class="special">&gt;</span>
    402. 

  402. </pre>
    403. 

  403. </div>
    404. 

  404. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
    405. 

  405. <td align="left"></td>
    406. 

  406. <td align="right"><div class="copyright-footer">Copyright &#169; 2011-2013 Tropic Software
    407. 

  407.       East Inc<p>
    408. 

  408.         Distributed under the Boost Software License, Version 1.0. (See accompanying
    409. 

  409.         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>)
    410. 

  410.       </p>
    411. 

  411. </div></td>
    412. 

  412. </tr></table>
    413. 

  413. <hr>
    414. 

  414. <div class="spirit-nav">
    415. 

  415. <a accesskey="p" href="tti_enclosing_type.html"><img src="../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.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="tti_func_templates.html"><img src="../../../../../doc/src/images/next.png" alt="Next"></a>
    416. 

  416. </div>
    417. 

  417. </body>
    418. 

  418. </html>
    419.