OLD | NEW |
| (Empty) |
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::is_empty<T>. */ | |
34 template <typename T> | |
35 class SkTIsEmpty { | |
36 struct Derived : public T { char unused; }; | |
37 public: | |
38 static const bool value = sizeof(Derived) == sizeof(char); | |
39 }; | |
40 | |
41 /** Pre-C++11 version of std::true_type. */ | |
42 typedef SkTBool<true> SkTrue; | |
43 | |
44 /** Pre-C++11 version of std::false_type. */ | |
45 typedef SkTBool<false> SkFalse; | |
46 | |
47 /** SkTIf_c::type = (condition) ? T : F; | |
48 * Pre-C++11 version of std::conditional. | |
49 */ | |
50 template <bool condition, typename T, typename F> struct SkTIf_c { | |
51 typedef F type; | |
52 }; | |
53 template <typename T, typename F> struct SkTIf_c<true, T, F> { | |
54 typedef T type; | |
55 }; | |
56 | |
57 /** SkTIf::type = (Condition::value) ? T : F; */ | |
58 template <typename Condition, typename T, typename F> struct SkTIf { | |
59 typedef typename SkTIf_c<static_cast<bool>(Condition::value), T, F>::type ty
pe; | |
60 }; | |
61 | |
62 /** SkTMux::type = (a && b) ? Both : (a) ? A : (b) ? B : Neither; */ | |
63 template <typename a, typename b, typename Both, typename A, typename B, typenam
e Neither> | |
64 struct SkTMux { | |
65 typedef typename SkTIf<a, typename SkTIf<b, Both, A>::type, | |
66 typename SkTIf<b, B, Neither>::type>::type type; | |
67 }; | |
68 | |
69 /** SkTEnableIf_c::type = (condition) ? T : [does not exist]; */ | |
70 template <bool condition, class T = void> struct SkTEnableIf_c { }; | |
71 template <class T> struct SkTEnableIf_c<true, T> { | |
72 typedef T type; | |
73 }; | |
74 | |
75 /** SkTEnableIf::type = (Condition::value) ? T : [does not exist]; */ | |
76 template <class Condition, class T = void> struct SkTEnableIf | |
77 : public SkTEnableIf_c<static_cast<bool>(Condition::value), T> { }; | |
78 | |
79 /** Use as a return type to enable a function only when cond_type::value is true
, | |
80 * like C++14's std::enable_if_t. E.g. (N.B. this is a dumb example.) | |
81 * SK_WHEN(SkTrue, int) f(void* ptr) { return 1; } | |
82 * SK_WHEN(!SkTrue, int) f(void* ptr) { return 2; } | |
83 */ | |
84 #define SK_WHEN(cond_prefix, T) typename SkTEnableIf_c<cond_prefix::value, T>::t
ype | |
85 #define SK_WHEN_C(cond, T) typename SkTEnableIf_c<cond, T>::type | |
86 | |
87 // See http://en.wikibooks.org/wiki/More_C++_Idioms/Member_Detector | |
88 #define SK_CREATE_MEMBER_DETECTOR(member)
\ | |
89 template <typename T>
\ | |
90 class HasMember_##member {
\ | |
91 struct Fallback { int member; };
\ | |
92 struct Derived : T, Fallback {};
\ | |
93 template <typename U, U> struct Check;
\ | |
94 template <typename U> static uint8_t func(Check<int Fallback::*, &U::member>
*); \ | |
95 template <typename U> static uint16_t func(...);
\ | |
96 public:
\ | |
97 typedef HasMember_##member type;
\ | |
98 static const bool value = sizeof(func<Derived>(NULL)) == sizeof(uint16_t);
\ | |
99 } | |
100 | |
101 // Same sort of thing as SK_CREATE_MEMBER_DETECTOR, but checks for the existence
of a nested type. | |
102 #define SK_CREATE_TYPE_DETECTOR(type) \ | |
103 template <typename T> \ | |
104 class HasType_##type { \ | |
105 template <typename U> static uint8_t func(typename U::type*); \ | |
106 template <typename U> static uint16_t func(...); \ | |
107 public: \ | |
108 static const bool value = sizeof(func<T>(NULL)) == sizeof(uint8_t); \ | |
109 } | |
110 | |
111 #endif | |
OLD | NEW |