|
1 /* |
|
2 * Copyright 2013 Google Inc. |
|
3 * |
|
4 * Use of this source code is governed by a BSD-style license that can be |
|
5 * found in the LICENSE file. |
|
6 * |
|
7 * |
|
8 * This header provides some of the helpers (std::integral_constant) and |
|
9 * type transformations (std::conditional) which will become available with |
|
10 * C++11 in the type_traits header. |
|
11 * |
|
12 * Because we lack constexpr, we cannot mimic |
|
13 * std::integral_constant::'constexpr operator T()'. |
|
14 * As a result we introduce SkTBool and SkTIf similar to Boost in order to |
|
15 * minimize the visual noise of many uses of '::value'. |
|
16 */ |
|
17 |
|
18 #ifndef SkTLogic_DEFINED |
|
19 #define SkTLogic_DEFINED |
|
20 |
|
21 /** Represents a templated integer constant. |
|
22 * Pre-C++11 version of std::integral_constant. |
|
23 */ |
|
24 template <typename T, T v> struct SkTIntegralConstant { |
|
25 static const T value = v; |
|
26 typedef T value_type; |
|
27 typedef SkTIntegralConstant<T, v> type; |
|
28 }; |
|
29 |
|
30 /** Convenience specialization of SkTIntegralConstant. */ |
|
31 template <bool b> struct SkTBool : SkTIntegralConstant<bool, b> { }; |
|
32 |
|
33 /** Pre-C++11 version of std::true_type. */ |
|
34 typedef SkTBool<true> SkTrue; |
|
35 |
|
36 /** Pre-C++11 version of std::false_type. */ |
|
37 typedef SkTBool<false> SkFalse; |
|
38 |
|
39 /** SkTIf_c::type = (condition) ? T : F; |
|
40 * Pre-C++11 version of std::conditional. |
|
41 */ |
|
42 template <bool condition, typename T, typename F> struct SkTIf_c { |
|
43 typedef F type; |
|
44 }; |
|
45 template <typename T, typename F> struct SkTIf_c<true, T, F> { |
|
46 typedef T type; |
|
47 }; |
|
48 |
|
49 /** SkTIf::type = (Condition::value) ? T : F; */ |
|
50 template <typename Condition, typename T, typename F> struct SkTIf { |
|
51 typedef typename SkTIf_c<static_cast<bool>(Condition::value), T, F>::type type; |
|
52 }; |
|
53 |
|
54 /** SkTMux::type = (a && b) ? Both : (a) ? A : (b) ? B : Neither; */ |
|
55 template <typename a, typename b, typename Both, typename A, typename B, typename Neither> |
|
56 struct SkTMux { |
|
57 typedef typename SkTIf<a, typename SkTIf<b, Both, A>::type, |
|
58 typename SkTIf<b, B, Neither>::type>::type type; |
|
59 }; |
|
60 |
|
61 #endif |