Chris@16
|
1 // Boost.Units - A C++ library for zero-overhead dimensional analysis and
|
Chris@16
|
2 // unit/quantity manipulation and conversion
|
Chris@16
|
3 //
|
Chris@16
|
4 // Copyright (C) 2003-2008 Matthias Christian Schabel
|
Chris@16
|
5 // Copyright (C) 2008 Steven Watanabe
|
Chris@16
|
6 //
|
Chris@16
|
7 // Distributed under the Boost Software License, Version 1.0. (See
|
Chris@16
|
8 // accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
9 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
10
|
Chris@16
|
11 #ifndef BOOST_UNITS_MAKE_SYSTEM_HPP
|
Chris@16
|
12 #define BOOST_UNITS_MAKE_SYSTEM_HPP
|
Chris@16
|
13
|
Chris@16
|
14 /// \file
|
Chris@16
|
15 /// \brief Metafunction returning a homogeneous system that can
|
Chris@16
|
16 /// represent any combination of the base units.
|
Chris@16
|
17 /// \details
|
Chris@16
|
18 /// Metafunction make_system returning a homogeneous system that can
|
Chris@16
|
19 /// represent any combination of the base units. There must
|
Chris@16
|
20 /// be no way to represent any of the base units in terms
|
Chris@16
|
21 /// of the others. make_system<foot_base_unit, meter_base_unit>::type
|
Chris@16
|
22 /// is not allowed, for example.
|
Chris@16
|
23
|
Chris@16
|
24 #include <boost/units/config.hpp>
|
Chris@16
|
25 #include <boost/units/dimensionless_type.hpp>
|
Chris@16
|
26 #include <boost/units/homogeneous_system.hpp>
|
Chris@16
|
27 #include <boost/units/detail/dimension_list.hpp>
|
Chris@16
|
28 #include <boost/units/detail/sort.hpp>
|
Chris@16
|
29
|
Chris@16
|
30 namespace boost {
|
Chris@16
|
31
|
Chris@16
|
32 namespace units {
|
Chris@16
|
33
|
Chris@16
|
34 #ifdef BOOST_UNITS_DOXYGEN
|
Chris@16
|
35
|
Chris@16
|
36 namespace detail {
|
Chris@16
|
37
|
Chris@16
|
38 struct unspecified {};
|
Chris@16
|
39
|
Chris@16
|
40 }
|
Chris@16
|
41
|
Chris@16
|
42 /// Metafunction returning a homogeneous system that can
|
Chris@16
|
43 /// represent any combination of the base units. There must
|
Chris@16
|
44 /// be no way to represent any of the base units in terms
|
Chris@16
|
45 /// of the others. make_system<foot_base_unit, meter_base_unit>::type
|
Chris@16
|
46 /// is not allowed, for example.
|
Chris@16
|
47 template<class BaseUnit0, class BaseUnit1, class BaseUnit2, ..., class BaseUnitN>
|
Chris@16
|
48 struct make_system
|
Chris@16
|
49 {
|
Chris@16
|
50 typedef homogeneous_system<detail::unspecified> type;
|
Chris@16
|
51 };
|
Chris@16
|
52
|
Chris@16
|
53 #else
|
Chris@16
|
54
|
Chris@16
|
55 struct na {};
|
Chris@16
|
56
|
Chris@16
|
57 template<
|
Chris@16
|
58 class U0 = na,
|
Chris@16
|
59 class U1 = na,
|
Chris@16
|
60 class U2 = na,
|
Chris@16
|
61 class U3 = na,
|
Chris@16
|
62 class U4 = na,
|
Chris@16
|
63 class U5 = na,
|
Chris@16
|
64 class U6 = na,
|
Chris@16
|
65 class U7 = na,
|
Chris@16
|
66 class U8 = na,
|
Chris@16
|
67 class U9 = na
|
Chris@16
|
68 >
|
Chris@16
|
69 struct make_system;
|
Chris@16
|
70
|
Chris@16
|
71 template<>
|
Chris@16
|
72 struct make_system<>
|
Chris@16
|
73 {
|
Chris@16
|
74 typedef homogeneous_system<dimensionless_type> type;
|
Chris@16
|
75 };
|
Chris@16
|
76
|
Chris@16
|
77 // Codewarrior 9.2 doesn't like using the defaults. Need
|
Chris@16
|
78 // to specify na explicitly.
|
Chris@16
|
79 template<class T0>
|
Chris@16
|
80 struct make_system<T0, na, na, na, na, na, na, na, na, na>
|
Chris@16
|
81 {
|
Chris@16
|
82 typedef homogeneous_system<list<T0, dimensionless_type> > type;
|
Chris@16
|
83 };
|
Chris@16
|
84
|
Chris@16
|
85 template<class T0, class T1>
|
Chris@16
|
86 struct make_system<T0, T1, na, na, na, na, na, na, na, na>
|
Chris@16
|
87 {
|
Chris@16
|
88 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, dimensionless_type> > >::type> type;
|
Chris@16
|
89 };
|
Chris@16
|
90
|
Chris@16
|
91 template<class T0, class T1, class T2>
|
Chris@16
|
92 struct make_system<T0, T1, T2, na, na, na, na, na, na, na>
|
Chris@16
|
93 {
|
Chris@16
|
94 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, dimensionless_type> > > >::type> type;
|
Chris@16
|
95 };
|
Chris@16
|
96
|
Chris@16
|
97 template<class T0, class T1, class T2, class T3>
|
Chris@16
|
98 struct make_system<T0, T1, T2, T3, na, na, na, na, na, na>
|
Chris@16
|
99 {
|
Chris@16
|
100 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, dimensionless_type> > > > >::type> type;
|
Chris@16
|
101 };
|
Chris@16
|
102
|
Chris@16
|
103 template<class T0, class T1, class T2, class T3, class T4>
|
Chris@16
|
104 struct make_system<T0, T1, T2, T3, T4, na, na, na, na, na>
|
Chris@16
|
105 {
|
Chris@16
|
106 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, dimensionless_type> > > > > >::type> type;
|
Chris@16
|
107 };
|
Chris@16
|
108
|
Chris@16
|
109 template<class T0, class T1, class T2, class T3, class T4, class T5>
|
Chris@16
|
110 struct make_system<T0, T1, T2, T3, T4, T5, na, na, na, na>
|
Chris@16
|
111 {
|
Chris@16
|
112 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, list<T5, dimensionless_type> > > > > > >::type> type;
|
Chris@16
|
113 };
|
Chris@16
|
114
|
Chris@16
|
115 template<class T0, class T1, class T2, class T3, class T4, class T5, class T6>
|
Chris@16
|
116 struct make_system<T0, T1, T2, T3, T4, T5, T6, na, na, na>
|
Chris@16
|
117 {
|
Chris@16
|
118 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, list<T5, list<T6, dimensionless_type> > > > > > > >::type> type;
|
Chris@16
|
119 };
|
Chris@16
|
120
|
Chris@16
|
121 template<class T0, class T1, class T2, class T3, class T4, class T5, class T6, class T7>
|
Chris@16
|
122 struct make_system<T0, T1, T2, T3, T4, T5, T6, T7, na, na>
|
Chris@16
|
123 {
|
Chris@16
|
124 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, list<T5, list<T6, list<T7, dimensionless_type> > > > > > > > >::type> type;
|
Chris@16
|
125 };
|
Chris@16
|
126
|
Chris@16
|
127 template<class T0, class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8>
|
Chris@16
|
128 struct make_system<T0, T1, T2, T3, T4, T5, T6, T7, T8, na>
|
Chris@16
|
129 {
|
Chris@16
|
130 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, list<T5, list<T6, list<T7, list<T8, dimensionless_type> > > > > > > > > >::type> type;
|
Chris@16
|
131 };
|
Chris@16
|
132
|
Chris@16
|
133 template<class T0, class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9>
|
Chris@16
|
134 struct make_system
|
Chris@16
|
135 {
|
Chris@16
|
136 typedef homogeneous_system<typename detail::insertion_sort<list<T0, list<T1, list<T2, list<T3, list<T4, list<T5, list<T6, list<T7, list<T8, list<T9, dimensionless_type> > > > > > > > > > >::type> type;
|
Chris@16
|
137 };
|
Chris@16
|
138
|
Chris@16
|
139 #endif
|
Chris@16
|
140
|
Chris@16
|
141 } // namespace units
|
Chris@16
|
142
|
Chris@16
|
143 } // namespace boost
|
Chris@16
|
144
|
Chris@16
|
145 #endif
|