| OLD | NEW |
| 1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. | 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 | 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 #ifndef BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ | 5 #ifndef BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ |
| 6 #define BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ | 6 #define BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ |
| 7 | 7 |
| 8 #include <tuple> |
| 9 #include <type_traits> |
| 10 |
| 8 #include "base/memory/ref_counted.h" | 11 #include "base/memory/ref_counted.h" |
| 9 #include "base/template_util.h" | |
| 10 #include "base/tuple.h" | |
| 11 #include "build/build_config.h" | |
| 12 | 12 |
| 13 // It is dangerous to post a task with a T* argument where T is a subtype of | 13 // It is dangerous to post a task with a T* argument where T is a subtype of |
| 14 // RefCounted(Base|ThreadSafeBase), since by the time the parameter is used, the | 14 // RefCounted(Base|ThreadSafeBase), since by the time the parameter is used, the |
| 15 // object may already have been deleted since it was not held with a | 15 // object may already have been deleted since it was not held with a |
| 16 // scoped_refptr. Example: http://crbug.com/27191 | 16 // scoped_refptr. Example: http://crbug.com/27191 |
| 17 // The following set of traits are designed to generate a compile error | 17 // The following set of traits are designed to generate a compile error |
| 18 // whenever this antipattern is attempted. | 18 // whenever this antipattern is attempted. |
| 19 | 19 |
| 20 namespace base { | 20 namespace base { |
| 21 | 21 |
| 22 // This is a base internal implementation file used by task.h and callback.h. | 22 // This is a base internal implementation file used by task.h and callback.h. |
| 23 // Not for public consumption, so we wrap it in namespace internal. | 23 // Not for public consumption, so we wrap it in namespace internal. |
| 24 namespace internal { | 24 namespace internal { |
| 25 | 25 |
| 26 template <typename T> | 26 template <typename T> |
| 27 struct NeedsScopedRefptrButGetsRawPtr { | 27 struct NeedsScopedRefptrButGetsRawPtr { |
| 28 #if defined(OS_WIN) | |
| 29 enum { | |
| 30 value = base::false_type::value | |
| 31 }; | |
| 32 #else | |
| 33 enum { | 28 enum { |
| 34 // Human readable translation: you needed to be a scoped_refptr if you are a | 29 // Human readable translation: you needed to be a scoped_refptr if you are a |
| 35 // raw pointer type and are convertible to a RefCounted(Base|ThreadSafeBase) | 30 // raw pointer type and are convertible to a RefCounted(Base|ThreadSafeBase) |
| 36 // type. | 31 // type. |
| 37 value = (is_pointer<T>::value && | 32 value = (std::is_pointer<T>::value && |
| 38 (is_convertible<T, subtle::RefCountedBase*>::value || | 33 (std::is_convertible<T, subtle::RefCountedBase*>::value || |
| 39 is_convertible<T, subtle::RefCountedThreadSafeBase*>::value)) | 34 std::is_convertible<T, subtle::RefCountedThreadSafeBase*>::value)) |
| 40 }; | 35 }; |
| 41 #endif | |
| 42 }; | 36 }; |
| 43 | 37 |
| 44 template <typename Params> | 38 template <typename Params> |
| 45 struct ParamsUseScopedRefptrCorrectly { | 39 struct ParamsUseScopedRefptrCorrectly { |
| 46 enum { value = 0 }; | 40 enum { value = 0 }; |
| 47 }; | 41 }; |
| 48 | 42 |
| 49 template <> | 43 template <> |
| 50 struct ParamsUseScopedRefptrCorrectly<std::tuple<>> { | 44 struct ParamsUseScopedRefptrCorrectly<std::tuple<>> { |
| 51 enum { value = 1 }; | 45 enum { value = 1 }; |
| 52 }; | 46 }; |
| 53 | 47 |
| 54 template <typename Head, typename... Tail> | 48 template <typename Head, typename... Tail> |
| 55 struct ParamsUseScopedRefptrCorrectly<std::tuple<Head, Tail...>> { | 49 struct ParamsUseScopedRefptrCorrectly<std::tuple<Head, Tail...>> { |
| 56 enum { value = !NeedsScopedRefptrButGetsRawPtr<Head>::value && | 50 enum { value = !NeedsScopedRefptrButGetsRawPtr<Head>::value && |
| 57 ParamsUseScopedRefptrCorrectly<std::tuple<Tail...>>::value }; | 51 ParamsUseScopedRefptrCorrectly<std::tuple<Tail...>>::value }; |
| 58 }; | 52 }; |
| 59 | 53 |
| 60 } // namespace internal | 54 } // namespace internal |
| 61 | 55 |
| 62 } // namespace base | 56 } // namespace base |
| 63 | 57 |
| 64 #endif // BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ | 58 #endif // BASE_MEMORY_RAW_SCOPED_REFPTR_MISMATCH_CHECKER_H_ |
| OLD | NEW |