aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/utils/SkTLogic.h
diff options
context:
space:
mode:
authorGravatar jvanverth <jvanverth@google.com>2015-07-01 09:45:46 -0700
committerGravatar Commit bot <commit-bot@chromium.org>2015-07-01 09:45:46 -0700
commit4417c7f8bb85aa1eae536cc50c70c0cc87f31171 (patch)
treefba28ed61b62ff520d00983e5f8b3d1e0f1ef6d7 /src/utils/SkTLogic.h
parenta89f55198bdc58f0b6f6196907ab25a6afc1a661 (diff)
Revert "Move headers used by headers in include/ to include/private."
This reverts commit a89f55198bdc58f0b6f6196907ab25a6afc1a661. Reason: breaking the roll. TBR=mtklein@google.com NOPRESUBMIT=true NOTREECHECKS=true NOTRY=true Review URL: https://codereview.chromium.org/1216033008
Diffstat (limited to 'src/utils/SkTLogic.h')
-rw-r--r--src/utils/SkTLogic.h111
1 files changed, 111 insertions, 0 deletions
diff --git a/src/utils/SkTLogic.h b/src/utils/SkTLogic.h
new file mode 100644
index 0000000000..d188242446
--- /dev/null
+++ b/src/utils/SkTLogic.h
@@ -0,0 +1,111 @@
+/*
+ * Copyright 2013 Google Inc.
+ *
+ * Use of this source code is governed by a BSD-style license that can be
+ * found in the LICENSE file.
+ *
+ *
+ * This header provides some of the helpers (std::integral_constant) and
+ * type transformations (std::conditional) which will become available with
+ * C++11 in the type_traits header.
+ *
+ * Because we lack constexpr, we cannot mimic
+ * std::integral_constant::'constexpr operator T()'.
+ * As a result we introduce SkTBool and SkTIf similar to Boost in order to
+ * minimize the visual noise of many uses of '::value'.
+ */
+
+#ifndef SkTLogic_DEFINED
+#define SkTLogic_DEFINED
+
+/** Represents a templated integer constant.
+ * Pre-C++11 version of std::integral_constant.
+ */
+template <typename T, T v> struct SkTIntegralConstant {
+ static const T value = v;
+ typedef T value_type;
+ typedef SkTIntegralConstant<T, v> type;
+};
+
+/** Convenience specialization of SkTIntegralConstant. */
+template <bool b> struct SkTBool : SkTIntegralConstant<bool, b> { };
+
+/** Pre-C++11 version of std::is_empty<T>. */
+template <typename T>
+class SkTIsEmpty {
+ struct Derived : public T { char unused; };
+public:
+ static const bool value = sizeof(Derived) == sizeof(char);
+};
+
+/** Pre-C++11 version of std::true_type. */
+typedef SkTBool<true> SkTrue;
+
+/** Pre-C++11 version of std::false_type. */
+typedef SkTBool<false> SkFalse;
+
+/** SkTIf_c::type = (condition) ? T : F;
+ * Pre-C++11 version of std::conditional.
+ */
+template <bool condition, typename T, typename F> struct SkTIf_c {
+ typedef F type;
+};
+template <typename T, typename F> struct SkTIf_c<true, T, F> {
+ typedef T type;
+};
+
+/** SkTIf::type = (Condition::value) ? T : F; */
+template <typename Condition, typename T, typename F> struct SkTIf {
+ typedef typename SkTIf_c<static_cast<bool>(Condition::value), T, F>::type type;
+};
+
+/** SkTMux::type = (a && b) ? Both : (a) ? A : (b) ? B : Neither; */
+template <typename a, typename b, typename Both, typename A, typename B, typename Neither>
+struct SkTMux {
+ typedef typename SkTIf<a, typename SkTIf<b, Both, A>::type,
+ typename SkTIf<b, B, Neither>::type>::type type;
+};
+
+/** SkTEnableIf_c::type = (condition) ? T : [does not exist]; */
+template <bool condition, class T = void> struct SkTEnableIf_c { };
+template <class T> struct SkTEnableIf_c<true, T> {
+ typedef T type;
+};
+
+/** SkTEnableIf::type = (Condition::value) ? T : [does not exist]; */
+template <class Condition, class T = void> struct SkTEnableIf
+ : public SkTEnableIf_c<static_cast<bool>(Condition::value), T> { };
+
+/** Use as a return type to enable a function only when cond_type::value is true,
+ * like C++14's std::enable_if_t. E.g. (N.B. this is a dumb example.)
+ * SK_WHEN(SkTrue, int) f(void* ptr) { return 1; }
+ * SK_WHEN(!SkTrue, int) f(void* ptr) { return 2; }
+ */
+#define SK_WHEN(cond_prefix, T) typename SkTEnableIf_c<cond_prefix::value, T>::type
+#define SK_WHEN_C(cond, T) typename SkTEnableIf_c<cond, T>::type
+
+// See http://en.wikibooks.org/wiki/More_C++_Idioms/Member_Detector
+#define SK_CREATE_MEMBER_DETECTOR(member) \
+template <typename T> \
+class HasMember_##member { \
+ struct Fallback { int member; }; \
+ struct Derived : T, Fallback {}; \
+ template <typename U, U> struct Check; \
+ template <typename U> static uint8_t func(Check<int Fallback::*, &U::member>*); \
+ template <typename U> static uint16_t func(...); \
+public: \
+ typedef HasMember_##member type; \
+ static const bool value = sizeof(func<Derived>(NULL)) == sizeof(uint16_t); \
+}
+
+// Same sort of thing as SK_CREATE_MEMBER_DETECTOR, but checks for the existence of a nested type.
+#define SK_CREATE_TYPE_DETECTOR(type) \
+template <typename T> \
+class HasType_##type { \
+ template <typename U> static uint8_t func(typename U::type*); \
+ template <typename U> static uint16_t func(...); \
+public: \
+ static const bool value = sizeof(func<T>(NULL)) == sizeof(uint8_t); \
+}
+
+#endif