3 // Copyright (C) 2005, 2006, 2008, 2009, 2010 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
25 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
27 // Permission to use, copy, modify, sell, and distribute this software
28 // is hereby granted without fee, provided that the above copyright
29 // notice appears in all copies, and that both that copyright notice and
30 // this permission notice appear in supporting documentation. None of
31 // the above authors, nor IBM Haifa Research Laboratories, make any
32 // representation about the suitability of this software for any
33 // purpose. It is provided "as is" without express or implied warranty.
36 * @file ext/typelist.h
37 * This file is a GNU extension to the Standard C++ Library.
39 * Contains typelist_chain definitions.
40 * Typelists are an idea by Andrei Alexandrescu.
46 #include <ext/type_traits.h>
48 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
50 /** @namespace __gnu_cxx::typelist
51 * @brief GNU typelist extensions for public compile-time use.
57 template<typename Root>
63 // Forward declarations of functors.
64 template<typename Hd, typename Typelist>
68 typedef Typelist tail;
71 // Apply all typelist types to unary functor.
72 template<typename Fn, typename Typelist>
76 /// Apply all typelist types to generator functor.
77 template<typename Gn, typename Typelist>
79 apply_generator(Gn&, Typelist);
81 // Apply all typelist types and values to generator functor.
82 template<typename Gn, typename TypelistT, typename TypelistV>
84 apply_generator(Gn&, TypelistT, TypelistV);
86 template<typename Typelist0, typename Typelist1>
89 template<typename Typelist_Typelist>
90 struct append_typelist;
92 template<typename Typelist, typename T>
95 template<typename Typelist, template<typename T> class Pred>
98 template<typename Typelist, int i>
101 template<typename Typelist, template<typename T> class Transform>
104 template<typename Typelist_Typelist>
107 template<typename Typelist>
110 template<typename T1>
113 template<typename T1, typename T2>
116 template<typename T1, typename T2, typename T3>
119 template<typename T1, typename T2, typename T3, typename T4>
122 template<typename T1, typename T2, typename T3, typename T4, typename T5>
125 template<typename T1, typename T2, typename T3,
126 typename T4, typename T5, typename T6>
128 } // namespace typelist
130 _GLIBCXX_END_NAMESPACE
133 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
139 template<typename Fn, typename Typelist_Chain>
142 template<typename Fn, typename Hd, typename Tl>
143 struct apply_<Fn, chain<Hd, Tl> >
154 template<typename Fn>
155 struct apply_<Fn, null_type>
161 template<typename Gn, typename Typelist_Chain>
162 struct apply_generator1_;
164 template<typename Gn, typename Hd, typename Tl>
165 struct apply_generator1_<Gn, chain<Hd, Tl> >
170 g.template operator()<Hd>();
171 apply_generator1_<Gn, Tl> next;
176 template<typename Gn>
177 struct apply_generator1_<Gn, null_type>
183 template<typename Gn, typename TypelistT_Chain, typename TypelistV_Chain>
184 struct apply_generator2_;
186 template<typename Gn, typename Hd1, typename TlT, typename Hd2, typename TlV>
187 struct apply_generator2_<Gn, chain<Hd1, TlT>, chain<Hd2, TlV> >
192 g.template operator()<Hd1, Hd2>();
193 apply_generator2_<Gn, TlT, TlV> next;
198 template<typename Gn>
199 struct apply_generator2_<Gn, null_type, null_type>
205 template<typename Typelist_Chain0, typename Typelist_Chain1>
208 template<typename Hd, typename Tl, typename Typelist_Chain>
209 struct append_<chain<Hd, Tl>, Typelist_Chain>
212 typedef append_<Tl, Typelist_Chain> append_type;
215 typedef chain<Hd, typename append_type::type> type;
218 template<typename Typelist_Chain>
219 struct append_<null_type, Typelist_Chain>
221 typedef Typelist_Chain type;
224 template<typename Typelist_Chain>
225 struct append_<Typelist_Chain, null_type>
227 typedef Typelist_Chain type;
231 struct append_<null_type, null_type>
233 typedef null_type type;
236 template<typename Typelist_Typelist_Chain>
237 struct append_typelist_;
239 template<typename Hd>
240 struct append_typelist_<chain<Hd, null_type> >
242 typedef chain<Hd, null_type> type;
245 template<typename Hd, typename Tl>
246 struct append_typelist_<chain< Hd, Tl> >
249 typedef typename append_typelist_<Tl>::type rest_type;
252 typedef typename append<Hd, node<rest_type> >::type::root type;
255 template<typename Typelist_Chain, typename T>
259 struct contains_<null_type, T>
267 template<typename Hd, typename Tl, typename T>
268 struct contains_<chain<Hd, Tl>, T>
272 value = contains_<Tl, T>::value
276 template<typename Tl, typename T>
277 struct contains_<chain<T, Tl>, T>
285 template<typename Typelist_Chain, template<typename T> class Pred>
286 struct chain_filter_;
288 template<template<typename T> class Pred>
289 struct chain_filter_<null_type, Pred>
291 typedef null_type type;
294 template<typename Hd, typename Tl, template<typename T> class Pred>
295 struct chain_filter_<chain<Hd, Tl>, Pred>
300 include_hd = Pred<Hd>::value
303 typedef typename chain_filter_<Tl, Pred>::type rest_type;
304 typedef chain<Hd, rest_type> chain_type;
307 typedef typename __conditional_type<include_hd, chain_type, rest_type>::__type type;
310 template<typename Typelist_Chain, int i>
311 struct chain_at_index_;
313 template<typename Hd, typename Tl>
314 struct chain_at_index_<chain<Hd, Tl>, 0>
319 template<typename Hd, typename Tl, int i>
320 struct chain_at_index_<chain<Hd, Tl>, i>
322 typedef typename chain_at_index_<Tl, i - 1>::type type;
325 template<class Typelist_Chain, template<typename T> class Transform>
326 struct chain_transform_;
328 template<template<typename T> class Transform>
329 struct chain_transform_<null_type, Transform>
331 typedef null_type type;
334 template<class Hd, class Tl, template<typename T> class Transform>
335 struct chain_transform_<chain<Hd, Tl>, Transform>
338 typedef typename chain_transform_<Tl, Transform>::type rest_type;
339 typedef typename Transform<Hd>::type transform_type;
342 typedef chain<transform_type, rest_type> type;
345 template<typename Typelist_Typelist_Chain>
346 struct chain_flatten_;
348 template<typename Hd_Tl>
349 struct chain_flatten_<chain<Hd_Tl, null_type> >
351 typedef typename Hd_Tl::root type;
354 template<typename Hd_Typelist, class Tl_Typelist>
355 struct chain_flatten_<chain<Hd_Typelist, Tl_Typelist> >
358 typedef typename chain_flatten_<Tl_Typelist>::type rest_type;
359 typedef append<Hd_Typelist, node<rest_type> > append_type;
361 typedef typename append_type::type::root type;
363 } // namespace detail
364 } // namespace typelist
366 _GLIBCXX_END_NAMESPACE
368 #define _GLIBCXX_TYPELIST_CHAIN1(X0) __gnu_cxx::typelist::chain<X0, __gnu_cxx::typelist::null_type>
369 #define _GLIBCXX_TYPELIST_CHAIN2(X0, X1) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN1(X1) >
370 #define _GLIBCXX_TYPELIST_CHAIN3(X0, X1, X2) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN2(X1, X2) >
371 #define _GLIBCXX_TYPELIST_CHAIN4(X0, X1, X2, X3) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN3(X1, X2, X3) >
372 #define _GLIBCXX_TYPELIST_CHAIN5(X0, X1, X2, X3, X4) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN4(X1, X2, X3, X4) >
373 #define _GLIBCXX_TYPELIST_CHAIN6(X0, X1, X2, X3, X4, X5) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) >
374 #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) >
375 #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) >
376 #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) >
377 #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) >
378 #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) >
379 #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) >
380 #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) >
381 #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) >
382 #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) >
384 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
388 template<typename Fn, typename Typelist>
390 apply(Fn& fn, Typelist)
392 detail::apply_<Fn, typename Typelist::root> a;
396 template<typename Fn, typename Typelist>
398 apply_generator(Fn& fn, Typelist)
400 detail::apply_generator1_<Fn, typename Typelist::root> a;
404 template<typename Fn, typename TypelistT, typename TypelistV>
406 apply_generator(Fn& fn, TypelistT, TypelistV)
408 typedef typename TypelistT::root rootT;
409 typedef typename TypelistV::root rootV;
410 detail::apply_generator2_<Fn, rootT, rootV> a;
414 template<typename Typelist0, typename Typelist1>
418 typedef typename Typelist0::root root0_type;
419 typedef typename Typelist1::root root1_type;
420 typedef detail::append_<root0_type, root1_type> append_type;
423 typedef node<typename append_type::type> type;
426 template<typename Typelist_Typelist>
427 struct append_typelist
430 typedef typename Typelist_Typelist::root root_type;
431 typedef detail::append_typelist_<root_type> append_type;
434 typedef node<typename append_type::type> type;
437 template<typename Typelist, typename T>
441 typedef typename Typelist::root root_type;
446 value = detail::contains_<root_type, T>::value
450 template<typename Typelist, template<typename T> class Pred>
454 typedef typename Typelist::root root_type;
455 typedef detail::chain_filter_<root_type, Pred> filter_type;
458 typedef node<typename filter_type::type> type;
461 template<typename Typelist, int i>
465 typedef typename Typelist::root root_type;
466 typedef detail::chain_at_index_<root_type, i> index_type;
469 typedef typename index_type::type type;
472 template<typename Typelist, template<typename T> class Transform>
476 typedef typename Typelist::root root_type;
477 typedef detail::chain_transform_<root_type, Transform> transform_type;
480 typedef node<typename transform_type::type> type;
483 template<typename Typelist_Typelist>
487 typedef typename Typelist_Typelist::root root_type;
488 typedef typename detail::chain_flatten_<root_type>::type flatten_type;
491 typedef node<flatten_type> type;
494 template<typename Typelist>
498 typedef typename at_index<Typelist, 0>::type first_type;
501 typedef node<chain<first_type, null_type> > type;
504 template<typename T1>
507 typedef node<_GLIBCXX_TYPELIST_CHAIN1(T1)> type;
510 template<typename T1, typename T2>
513 typedef node<_GLIBCXX_TYPELIST_CHAIN2(T1,T2)> type;
516 template<typename T1, typename T2, typename T3>
519 typedef node<_GLIBCXX_TYPELIST_CHAIN3(T1,T2,T3)> type;
522 template<typename T1, typename T2, typename T3, typename T4>
525 typedef node<_GLIBCXX_TYPELIST_CHAIN4(T1,T2,T3,T4)> type;
528 template<typename T1, typename T2, typename T3,
529 typename T4, typename T5>
532 typedef node<_GLIBCXX_TYPELIST_CHAIN5(T1,T2,T3,T4,T5)> type;
535 template<typename T1, typename T2, typename T3,
536 typename T4, typename T5, typename T6>
539 typedef node<_GLIBCXX_TYPELIST_CHAIN6(T1,T2,T3,T4,T5,T6)> type;
541 } // namespace typelist
542 _GLIBCXX_END_NAMESPACE