OLD | NEW |
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "base/template_util.h" | 5 #include "base/template_util.h" |
6 | 6 |
7 #include <string> | 7 #include <string> |
8 | 8 |
9 #include "testing/gtest/include/gtest/gtest.h" | 9 #include "testing/gtest/include/gtest/gtest.h" |
10 | 10 |
(...skipping 12 matching lines...) Expand all Loading... |
23 std::ostream& operator<<(std::ostream& os, const StructWithOperator& v) { | 23 std::ostream& operator<<(std::ostream& os, const StructWithOperator& v) { |
24 return os; | 24 return os; |
25 } | 25 } |
26 | 26 |
27 // is_non_const_reference<Type> | 27 // is_non_const_reference<Type> |
28 static_assert(!is_non_const_reference<int>::value, "IsNonConstReference"); | 28 static_assert(!is_non_const_reference<int>::value, "IsNonConstReference"); |
29 static_assert(!is_non_const_reference<const int&>::value, | 29 static_assert(!is_non_const_reference<const int&>::value, |
30 "IsNonConstReference"); | 30 "IsNonConstReference"); |
31 static_assert(is_non_const_reference<int&>::value, "IsNonConstReference"); | 31 static_assert(is_non_const_reference<int&>::value, "IsNonConstReference"); |
32 | 32 |
33 class AssignParent {}; | |
34 class AssignChild : AssignParent {}; | |
35 | |
36 // is_assignable<Type1, Type2> | |
37 static_assert(!is_assignable<int, int>::value, "IsAssignable"); // 1 = 1; | |
38 static_assert(!is_assignable<int, double>::value, "IsAssignable"); | |
39 static_assert(is_assignable<int&, int>::value, "IsAssignable"); | |
40 static_assert(is_assignable<int&, double>::value, "IsAssignable"); | |
41 static_assert(is_assignable<int&, int&>::value, "IsAssignable"); | |
42 static_assert(is_assignable<int&, int const&>::value, "IsAssignable"); | |
43 static_assert(!is_assignable<int const&, int>::value, "IsAssignable"); | |
44 static_assert(!is_assignable<AssignParent&, AssignChild>::value, | |
45 "IsAssignable"); | |
46 static_assert(!is_assignable<AssignChild&, AssignParent>::value, | |
47 "IsAssignable"); | |
48 | |
49 struct AssignCopy {}; | |
50 struct AssignNoCopy { | |
51 AssignNoCopy& operator=(AssignNoCopy&&) { return *this; } | |
52 AssignNoCopy& operator=(const AssignNoCopy&) = delete; | |
53 }; | |
54 struct AssignNoMove { | |
55 AssignNoMove& operator=(AssignNoMove&&) = delete; | |
56 AssignNoMove& operator=(const AssignNoMove&) = delete; | |
57 }; | |
58 | |
59 static_assert(is_copy_assignable<AssignCopy>::value, "IsCopyAssignable"); | |
60 static_assert(!is_copy_assignable<AssignNoCopy>::value, "IsCopyAssignable"); | |
61 | |
62 static_assert(is_move_assignable<AssignCopy>::value, "IsMoveAssignable"); | |
63 static_assert(is_move_assignable<AssignNoCopy>::value, "IsMoveAssignable"); | |
64 static_assert(!is_move_assignable<AssignNoMove>::value, "IsMoveAssignable"); | |
65 | |
66 // A few standard types that definitely support printing. | 33 // A few standard types that definitely support printing. |
67 static_assert(internal::SupportsOstreamOperator<int>::value, | 34 static_assert(internal::SupportsOstreamOperator<int>::value, |
68 "ints should be printable"); | 35 "ints should be printable"); |
69 static_assert(internal::SupportsOstreamOperator<const char*>::value, | 36 static_assert(internal::SupportsOstreamOperator<const char*>::value, |
70 "C strings should be printable"); | 37 "C strings should be printable"); |
71 static_assert(internal::SupportsOstreamOperator<std::string>::value, | 38 static_assert(internal::SupportsOstreamOperator<std::string>::value, |
72 "std::string should be printable"); | 39 "std::string should be printable"); |
73 | 40 |
74 // Various kinds of enums operator<< support. | 41 // Various kinds of enums operator<< support. |
75 static_assert(internal::SupportsOstreamOperator<SimpleEnum>::value, | 42 static_assert(internal::SupportsOstreamOperator<SimpleEnum>::value, |
(...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
120 }; | 87 }; |
121 | 88 |
122 static_assert(is_trivially_destructible<int>::value, "IsTriviallyDestructible"); | 89 static_assert(is_trivially_destructible<int>::value, "IsTriviallyDestructible"); |
123 static_assert(is_trivially_destructible<TriviallyDestructible>::value, | 90 static_assert(is_trivially_destructible<TriviallyDestructible>::value, |
124 "IsTriviallyDestructible"); | 91 "IsTriviallyDestructible"); |
125 static_assert(!is_trivially_destructible<NonTriviallyDestructible>::value, | 92 static_assert(!is_trivially_destructible<NonTriviallyDestructible>::value, |
126 "IsTriviallyDestructible"); | 93 "IsTriviallyDestructible"); |
127 | 94 |
128 } // namespace | 95 } // namespace |
129 } // namespace base | 96 } // namespace base |
OLD | NEW |