STLdoc
STLdocumentation
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Namespaces | Macros | Functions
typelist.h File Reference
#include <ext/type_traits.h>

Go to the source code of this file.

Namespaces

 __gnu_cxx::typelist
 

Macros

#define _GLIBCXX_TYPELIST_CHAIN1(X0)   __gnu_cxx::typelist::chain<X0, __gnu_cxx::typelist::null_type>
 
#define _GLIBCXX_TYPELIST_CHAIN2(X0, X1)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN1(X1) >
 
#define _GLIBCXX_TYPELIST_CHAIN3(X0, X1, X2)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN2(X1, X2) >
 
#define _GLIBCXX_TYPELIST_CHAIN4(X0, X1, X2, X3)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN3(X1, X2, X3) >
 
#define _GLIBCXX_TYPELIST_CHAIN5(X0, X1, X2, X3, X4)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN4(X1, X2, X3, X4) >
 
#define _GLIBCXX_TYPELIST_CHAIN6(X0, X1, X2, X3, X4, X5)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) >
 
#define _GLIBCXX_TYPELIST_CHAIN7(X0, X1, X2, X3, X4, X5, X6)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN6(X1, X2, X3, X4, X5, X6) >
 
#define _GLIBCXX_TYPELIST_CHAIN8(X0, X1, X2, X3, X4, X5, X6, X7)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN7(X1, X2, X3, X4, X5, X6, X7) >
 
#define _GLIBCXX_TYPELIST_CHAIN9(X0, X1, X2, X3, X4, X5, X6, X7, X8)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN8(X1, X2, X3, X4, X5, X6, X7, X8) >
 
#define _GLIBCXX_TYPELIST_CHAIN10(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN9(X1, X2, X3, X4, X5, X6, X7, X8, X9) >
 
#define _GLIBCXX_TYPELIST_CHAIN11(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN10(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) >
 
#define _GLIBCXX_TYPELIST_CHAIN12(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN11(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) >
 
#define _GLIBCXX_TYPELIST_CHAIN13(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN12(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) >
 
#define _GLIBCXX_TYPELIST_CHAIN14(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN13(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) >
 
#define _GLIBCXX_TYPELIST_CHAIN15(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN14(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) >
 
#define _GLIBCXX_TYPELIST_CHAIN16(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN15(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) >
 
#define _GLIBCXX_TYPELIST_CHAIN17(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN16(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) >
 
#define _GLIBCXX_TYPELIST_CHAIN18(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN17(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) >
 
#define _GLIBCXX_TYPELIST_CHAIN19(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN18(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) >
 
#define _GLIBCXX_TYPELIST_CHAIN20(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19)   __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN19(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) >
 

Functions

namespace __gnu_cxx _GLIBCXX_VISIBILITY (default)
 

Detailed Description

This file is a GNU extension to the Standard C++ Library.

Contains typelist_chain definitions. Typelists are an idea by Andrei Alexandrescu.

Macro Definition Documentation

#define _GLIBCXX_TYPELIST_CHAIN1 (   X0)    __gnu_cxx::typelist::chain<X0, __gnu_cxx::typelist::null_type>
#define _GLIBCXX_TYPELIST_CHAIN10 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN9(X1, X2, X3, X4, X5, X6, X7, X8, X9) >
#define _GLIBCXX_TYPELIST_CHAIN11 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN10(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) >
#define _GLIBCXX_TYPELIST_CHAIN12 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN11(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) >
#define _GLIBCXX_TYPELIST_CHAIN13 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN12(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) >
#define _GLIBCXX_TYPELIST_CHAIN14 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN13(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) >
#define _GLIBCXX_TYPELIST_CHAIN15 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN14(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) >
#define _GLIBCXX_TYPELIST_CHAIN16 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14,
  X15 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN15(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) >
#define _GLIBCXX_TYPELIST_CHAIN17 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14,
  X15,
  X16 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN16(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) >
#define _GLIBCXX_TYPELIST_CHAIN18 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14,
  X15,
  X16,
  X17 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN17(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) >
#define _GLIBCXX_TYPELIST_CHAIN19 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14,
  X15,
  X16,
  X17,
  X18 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN18(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) >
#define _GLIBCXX_TYPELIST_CHAIN2 (   X0,
  X1 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN1(X1) >
#define _GLIBCXX_TYPELIST_CHAIN20 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8,
  X9,
  X10,
  X11,
  X12,
  X13,
  X14,
  X15,
  X16,
  X17,
  X18,
  X19 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN19(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) >
#define _GLIBCXX_TYPELIST_CHAIN3 (   X0,
  X1,
  X2 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN2(X1, X2) >
#define _GLIBCXX_TYPELIST_CHAIN4 (   X0,
  X1,
  X2,
  X3 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN3(X1, X2, X3) >
#define _GLIBCXX_TYPELIST_CHAIN5 (   X0,
  X1,
  X2,
  X3,
  X4 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN4(X1, X2, X3, X4) >
#define _GLIBCXX_TYPELIST_CHAIN6 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) >
#define _GLIBCXX_TYPELIST_CHAIN7 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN6(X1, X2, X3, X4, X5, X6) >
#define _GLIBCXX_TYPELIST_CHAIN8 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN7(X1, X2, X3, X4, X5, X6, X7) >
#define _GLIBCXX_TYPELIST_CHAIN9 (   X0,
  X1,
  X2,
  X3,
  X4,
  X5,
  X6,
  X7,
  X8 
)    __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN8(X1, X2, X3, X4, X5, X6, X7, X8) >

Function Documentation

namespace __gnu_cxx _GLIBCXX_VISIBILITY ( default  )
137 {
138 _GLIBCXX_BEGIN_NAMESPACE_VERSION
139 
140 namespace typelist
141 {
142 namespace detail
143 {
144  template<typename Fn, typename Typelist_Chain>
145  struct apply_;
146 
147  template<typename Fn, typename Hd, typename Tl>
148  struct apply_<Fn, chain<Hd, Tl> >
149  {
150  void
151  operator()(Fn& f)
152  {
153  f.operator()(Hd());
154  apply_<Fn, Tl> next;
155  next(f);
156  }
157  };
158 
159  template<typename Fn>
160  struct apply_<Fn, null_type>
161  {
162  void
163  operator()(Fn&) { }
164  };
165 
166  template<typename Gn, typename Typelist_Chain>
167  struct apply_generator1_;
168 
169  template<typename Gn, typename Hd, typename Tl>
170  struct apply_generator1_<Gn, chain<Hd, Tl> >
171  {
172  void
173  operator()(Gn& g)
174  {
175  g.template operator()<Hd>();
176  apply_generator1_<Gn, Tl> next;
177  next(g);
178  }
179  };
180 
181  template<typename Gn>
182  struct apply_generator1_<Gn, null_type>
183  {
184  void
185  operator()(Gn&) { }
186  };
187 
188  template<typename Gn, typename TypelistT_Chain, typename TypelistV_Chain>
189  struct apply_generator2_;
190 
191  template<typename Gn, typename Hd1, typename TlT, typename Hd2, typename TlV>
192  struct apply_generator2_<Gn, chain<Hd1, TlT>, chain<Hd2, TlV> >
193  {
194  void
195  operator()(Gn& g)
196  {
197  g.template operator()<Hd1, Hd2>();
198  apply_generator2_<Gn, TlT, TlV> next;
199  next(g);
200  }
201  };
202 
203  template<typename Gn>
204  struct apply_generator2_<Gn, null_type, null_type>
205  {
206  void
207  operator()(Gn&) { }
208  };
209 
210  template<typename Typelist_Chain0, typename Typelist_Chain1>
211  struct append_;
212 
213  template<typename Hd, typename Tl, typename Typelist_Chain>
214  struct append_<chain<Hd, Tl>, Typelist_Chain>
215  {
216  private:
217  typedef append_<Tl, Typelist_Chain> append_type;
218 
219  public:
220  typedef chain<Hd, typename append_type::type> type;
221  };
222 
223  template<typename Typelist_Chain>
224  struct append_<null_type, Typelist_Chain>
225  {
226  typedef Typelist_Chain type;
227  };
228 
229  template<typename Typelist_Chain>
230  struct append_<Typelist_Chain, null_type>
231  {
232  typedef Typelist_Chain type;
233  };
234 
235  template<>
236  struct append_<null_type, null_type>
237  {
238  typedef null_type type;
239  };
240 
241  template<typename Typelist_Typelist_Chain>
242  struct append_typelist_;
243 
244  template<typename Hd>
245  struct append_typelist_<chain<Hd, null_type> >
246  {
247  typedef chain<Hd, null_type> type;
248  };
249 
250  template<typename Hd, typename Tl>
251  struct append_typelist_<chain< Hd, Tl> >
252  {
253  private:
254  typedef typename append_typelist_<Tl>::type rest_type;
255 
256  public:
257  typedef typename append<Hd, node<rest_type> >::type::root type;
258  };
259 
260  template<typename Typelist_Chain, typename T>
261  struct contains_;
262 
263  template<typename T>
264  struct contains_<null_type, T>
265  {
266  enum
267  {
268  value = false
269  };
270  };
271 
272  template<typename Hd, typename Tl, typename T>
273  struct contains_<chain<Hd, Tl>, T>
274  {
275  enum
276  {
277  value = contains_<Tl, T>::value
278  };
279  };
280 
281  template<typename Tl, typename T>
282  struct contains_<chain<T, Tl>, T>
283  {
284  enum
285  {
286  value = true
287  };
288  };
289 
290  template<typename Typelist_Chain, template<typename T> class Pred>
291  struct chain_filter_;
292 
293  template<template<typename T> class Pred>
294  struct chain_filter_<null_type, Pred>
295  {
296  typedef null_type type;
297  };
298 
299  template<typename Hd, typename Tl, template<typename T> class Pred>
300  struct chain_filter_<chain<Hd, Tl>, Pred>
301  {
302  private:
303  enum
304  {
305  include_hd = Pred<Hd>::value
306  };
307 
308  typedef typename chain_filter_<Tl, Pred>::type rest_type;
309  typedef chain<Hd, rest_type> chain_type;
310 
311  public:
312  typedef typename __conditional_type<include_hd, chain_type, rest_type>::__type type;
313  };
314 
315  template<typename Typelist_Chain, int i>
316  struct chain_at_index_;
317 
318  template<typename Hd, typename Tl>
319  struct chain_at_index_<chain<Hd, Tl>, 0>
320  {
321  typedef Hd type;
322  };
323 
324  template<typename Hd, typename Tl, int i>
325  struct chain_at_index_<chain<Hd, Tl>, i>
326  {
327  typedef typename chain_at_index_<Tl, i - 1>::type type;
328  };
329 
330  template<class Typelist_Chain, template<typename T> class Transform>
331  struct chain_transform_;
332 
333  template<template<typename T> class Transform>
334  struct chain_transform_<null_type, Transform>
335  {
336  typedef null_type type;
337  };
338 
339  template<class Hd, class Tl, template<typename T> class Transform>
340  struct chain_transform_<chain<Hd, Tl>, Transform>
341  {
342  private:
343  typedef typename chain_transform_<Tl, Transform>::type rest_type;
344  typedef typename Transform<Hd>::type transform_type;
345 
346  public:
347  typedef chain<transform_type, rest_type> type;
348  };
349 
350  template<typename Typelist_Typelist_Chain>
351  struct chain_flatten_;
352 
353  template<typename Hd_Tl>
354  struct chain_flatten_<chain<Hd_Tl, null_type> >
355  {
356  typedef typename Hd_Tl::root type;
357  };
358 
359  template<typename Hd_Typelist, class Tl_Typelist>
360  struct chain_flatten_<chain<Hd_Typelist, Tl_Typelist> >
361  {
362  private:
363  typedef typename chain_flatten_<Tl_Typelist>::type rest_type;
364  typedef append<Hd_Typelist, node<rest_type> > append_type;
365  public:
366  typedef typename append_type::type::root type;
367  };
368 } // namespace detail
369 } // namespace typelist
370 
371 _GLIBCXX_END_NAMESPACE_VERSION
372 } // namespace