Add standard "Must be after no_chromium_code" comment in GN files.
[pdfium.git] / third_party / base / template_util.h
1 // Copyright (c) 2011 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 #ifndef PDFIUM_THIRD_PARTY_BASE_TEMPLATE_UTIL_H_
6 #define PDFIUM_THIRD_PARTY_BASE_TEMPLATE_UTIL_H_
7
8 #include <cstddef>  // For size_t.
9
10 namespace pdfium {
11 namespace base {
12
13 template<class T, T v>
14 struct integral_constant {
15   static const T value = v;
16   typedef T value_type;
17   typedef integral_constant<T, v> type;
18 };
19
20 typedef integral_constant<bool, true> true_type;
21 typedef integral_constant<bool, false> false_type;
22
23 template <class T, class U> struct is_same : public false_type {};
24 template <class T>
25 struct is_same<T, T> : true_type {};
26
27 template<bool B, class T = void>
28 struct enable_if {};
29
30 template<class T>
31 struct enable_if<true, T> { typedef T type; };
32
33 namespace internal {
34
35 // Types YesType and NoType are guaranteed such that sizeof(YesType) <
36 // sizeof(NoType).
37 typedef char YesType;
38
39 struct NoType {
40   YesType dummy[2];
41 };
42
43 // This class is an implementation detail for is_convertible, and you
44 // don't need to know how it works to use is_convertible. For those
45 // who care: we declare two different functions, one whose argument is
46 // of type To and one with a variadic argument list. We give them
47 // return types of different size, so we can use sizeof to trick the
48 // compiler into telling us which function it would have chosen if we
49 // had called it with an argument of type From.  See Alexandrescu's
50 // _Modern C++ Design_ for more details on this sort of trick.
51
52 struct ConvertHelper {
53   template <typename To>
54   static YesType Test(To);
55
56   template <typename To>
57   static NoType Test(...);
58
59   template <typename From>
60   static From& Create();
61 };
62
63 }  // namespace internal
64
65 // Inherits from true_type if From is convertible to To, false_type otherwise.
66 //
67 // Note that if the type is convertible, this will be a true_type REGARDLESS
68 // of whether or not the conversion would emit a warning.
69 template <typename From, typename To>
70 struct is_convertible
71     : integral_constant<bool,
72                         sizeof(internal::ConvertHelper::Test<To>(
73                             internal::ConvertHelper::Create<From>())) ==
74                             sizeof(internal::YesType)> {};
75
76 }  // namespace base
77 }  // namespace pdfium
78
79 #endif  // PDFIUM_THIRD_PARTY_BASE_TEMPLATE_UTIL_H_