blob: 259638673a91af7022151228bbbe5f70d4e3fcd7 [file] [log] [blame]
[email protected]81814bc2011-09-10 03:03:001// 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#include "base/callback.h"
6#include "base/bind.h"
[email protected]7296f272011-11-21 19:23:447#include "base/memory/ref_counted.h"
[email protected]81814bc2011-09-10 03:03:008
9namespace base {
10
11// Do not put everything inside an anonymous namespace. If you do, many of the
[email protected]5dd6bdf2014-02-21 16:24:1312// helper function declarations will generate unused definition warnings.
[email protected]81814bc2011-09-10 03:03:0013
14static const int kParentValue = 1;
15static const int kChildValue = 2;
16
17class NoRef {
18 public:
19 void VoidMethod0() {}
20 void VoidConstMethod0() const {}
21 int IntMethod0() { return 1; }
22};
23
[email protected]7296f272011-11-21 19:23:4424class HasRef : public NoRef, public base::RefCounted<HasRef> {
[email protected]81814bc2011-09-10 03:03:0025};
26
27class Parent {
28 public:
29 void AddRef(void) const {}
30 void Release(void) const {}
31 virtual void VirtualSet() { value = kParentValue; }
32 void NonVirtualSet() { value = kParentValue; }
33 int value;
34};
35
36class Child : public Parent {
37 public:
38 virtual void VirtualSet() { value = kChildValue; }
39 void NonVirtualSet() { value = kChildValue; }
40};
41
42class NoRefParent {
43 public:
44 virtual void VirtualSet() { value = kParentValue; }
45 void NonVirtualSet() { value = kParentValue; }
46 int value;
47};
48
49class NoRefChild : public NoRefParent {
50 virtual void VirtualSet() { value = kChildValue; }
51 void NonVirtualSet() { value = kChildValue; }
52};
53
54template <typename T>
55T PolymorphicIdentity(T t) {
56 return t;
57}
58
59int UnwrapParentRef(Parent& p) {
60 return p.value;
61}
62
63template <typename T>
64void VoidPolymorphic1(T t) {
65}
66
dchengb760d722014-11-03 21:29:3067#if defined(NCTEST_METHOD_ON_CONST_OBJECT) // [r"fatal error: cannot initialize a parameter of type 'base::NoRef \*' with an lvalue of type 'typename enable_if<!IsMoveOnlyType<const HasRef \*const>::value, const HasRef \*const>::type' \(aka 'const base::HasRef \*const'\)"]
[email protected]81814bc2011-09-10 03:03:0068
69// Method bound to const-object.
70//
71// Only const methods should be allowed to work with const objects.
72void WontCompile() {
73 HasRef has_ref;
74 const HasRef* const_has_ref_ptr_ = &has_ref;
75 Callback<void(void)> method_to_const_cb =
76 Bind(&HasRef::VoidMethod0, const_has_ref_ptr_);
77 method_to_const_cb.Run();
78}
79
dchengb760d722014-11-03 21:29:3080#elif defined(NCTEST_METHOD_BIND_NEEDS_REFCOUNTED_OBJECT) // [r"fatal error: no member named 'AddRef' in 'base::NoRef'"]
[email protected]81814bc2011-09-10 03:03:0081
82// Method bound to non-refcounted object.
83//
84// We require refcounts unless you have Unretained().
85void WontCompile() {
86 NoRef no_ref;
87 Callback<void(void)> no_ref_cb =
88 Bind(&NoRef::VoidMethod0, &no_ref);
89 no_ref_cb.Run();
90}
91
dchengb760d722014-11-03 21:29:3092#elif defined(NCTEST_CONST_METHOD_NEEDS_REFCOUNTED_OBJECT) // [r"fatal error: no member named 'AddRef' in 'base::NoRef'"]
[email protected]81814bc2011-09-10 03:03:0093
94// Const Method bound to non-refcounted object.
95//
96// We require refcounts unless you have Unretained().
97void WontCompile() {
98 NoRef no_ref;
99 Callback<void(void)> no_ref_const_cb =
100 Bind(&NoRef::VoidConstMethod0, &no_ref);
101 no_ref_const_cb.Run();
102}
103
dchengb760d722014-11-03 21:29:30104#elif defined(NCTEST_CONST_POINTER) // [r"fatal error: reference to type 'base::NoRef \*const' could not bind to an lvalue of type 'typename enable_if<!IsMoveOnlyType<const NoRef \*const>::value, const NoRef \*const>::type' \(aka 'const base::NoRef \*const'\)"]
[email protected]81814bc2011-09-10 03:03:00105
106// Const argument used with non-const pointer parameter of same type.
107//
108// This is just a const-correctness check.
109void WontCompile() {
110 const NoRef* const_no_ref_ptr;
111 Callback<NoRef*(void)> pointer_same_cb =
112 Bind(&PolymorphicIdentity<NoRef*>, const_no_ref_ptr);
113 pointer_same_cb.Run();
114}
115
dchengb760d722014-11-03 21:29:30116#elif defined(NCTEST_CONST_POINTER_SUBTYPE) // [r"fatal error: reference to type 'base::NoRefParent \*const' could not bind to an lvalue of type 'typename enable_if<!IsMoveOnlyType<const NoRefChild \*const>::value, const NoRefChild \*const>::type' \(aka 'const base::NoRefChild \*const'\)"]
[email protected]81814bc2011-09-10 03:03:00117
118// Const argument used with non-const pointer parameter of super type.
119//
120// This is just a const-correctness check.
121void WontCompile() {
122 const NoRefChild* const_child_ptr;
123 Callback<NoRefParent*(void)> pointer_super_cb =
124 Bind(&PolymorphicIdentity<NoRefParent*>, const_child_ptr);
125 pointer_super_cb.Run();
126}
127
dchengb760d722014-11-03 21:29:30128#elif defined(DISABLED_NCTEST_DISALLOW_NON_CONST_REF_PARAM) // [r"fatal error: no member named 'AddRef' in 'base::NoRef'"]
129// TODO(dcheng): I think there's a type safety promotion issue here where we can
130// pass a const ref to a non const-ref function, or vice versa accidentally. Or
131// we make a copy accidentally. Check.
[email protected]81814bc2011-09-10 03:03:00132
133// Functions with reference parameters, unsupported.
134//
135// First, non-const reference parameters are disallowed by the Google
136// style guide. Second, since we are doing argument forwarding it becomes
137// very tricky to avoid copies, maintain const correctness, and not
138// accidentally have the function be modifying a temporary, or a copy.
139void WontCompile() {
140 Parent p;
141 Callback<int(Parent&)> ref_arg_cb = Bind(&UnwrapParentRef);
142 ref_arg_cb.Run(p);
143}
144
dchengb760d722014-11-03 21:29:30145#elif defined(NCTEST_DISALLOW_BIND_TO_NON_CONST_REF_PARAM) // [r"fatal error: static_assert failed \"do_not_bind_functions_with_nonconst_ref\""]
[email protected]81814bc2011-09-10 03:03:00146
147// Binding functions with reference parameters, unsupported.
148//
149// See comment in NCTEST_DISALLOW_NON_CONST_REF_PARAM
150void WontCompile() {
151 Parent p;
152 Callback<int(void)> ref_cb = Bind(&UnwrapParentRef, p);
153 ref_cb.Run();
154}
155
dchengb760d722014-11-03 21:29:30156#elif defined(NCTEST_NO_IMPLICIT_ARRAY_PTR_CONVERSION) // [r"fatal error: static_assert failed \"first_bound_argument_to_method_cannot_be_array\""]
[email protected]81814bc2011-09-10 03:03:00157
158// A method should not be bindable with an array of objects.
159//
160// This is likely not wanted behavior. We specifically check for it though
161// because it is possible, depending on how you implement prebinding, to
162// implicitly convert an array type to a pointer type.
163void WontCompile() {
164 HasRef p[10];
165 Callback<void(void)> method_bound_to_array_cb =
166 Bind(&HasRef::VoidMethod0, p);
167 method_bound_to_array_cb.Run();
168}
169
tzik401dd3672014-11-26 07:54:58170#elif defined(NCTEST_NO_RAW_PTR_FOR_REFCOUNTED_TYPES) // [r"fatal error: static_assert failed \"a_parameter_is_refcounted_type_and_needs_scoped_refptr\""]
[email protected]81814bc2011-09-10 03:03:00171
172// Refcounted types should not be bound as a raw pointer.
173void WontCompile() {
174 HasRef for_raw_ptr;
[email protected]7296f272011-11-21 19:23:44175 int a;
176 Callback<void(void)> ref_count_as_raw_ptr_a =
177 Bind(&VoidPolymorphic1<int*>, &a);
[email protected]81814bc2011-09-10 03:03:00178 Callback<void(void)> ref_count_as_raw_ptr =
179 Bind(&VoidPolymorphic1<HasRef*>, &for_raw_ptr);
180}
181
dchengb760d722014-11-03 21:29:30182#elif defined(NCTEST_WEAKPTR_BIND_MUST_RETURN_VOID) // [r"fatal error: static_assert failed \"weak_ptrs_can_only_bind_to_methods_without_return_values\""]
[email protected]81814bc2011-09-10 03:03:00183
184// WeakPtrs cannot be bound to methods with return types.
185void WontCompile() {
186 NoRef no_ref;
187 WeakPtrFactory<NoRef> weak_factory(&no_ref);
188 Callback<int(void)> weak_ptr_with_non_void_return_type =
189 Bind(&NoRef::IntMethod0, weak_factory.GetWeakPtr());
190 weak_ptr_with_non_void_return_type.Run();
191}
192
tzik8ce65702015-02-05 19:11:26193#elif defined(NCTEST_DISALLOW_ASSIGN_DIFFERENT_TYPES) // [r"fatal error: no viable conversion from 'Callback<typename internal::BindState<typename internal::FunctorTraits<void \(\*\)\(int\)>::RunnableType, typename internal::FunctorTraits<void \(\*\)\(int\)>::RunType, internal::TypeList<> >::UnboundRunType>' to 'Callback<void \(\)>'"]
[email protected]81814bc2011-09-10 03:03:00194
195// Bind result cannot be assigned to Callbacks with a mismatching type.
196void WontCompile() {
197 Closure callback_mismatches_bind_type = Bind(&VoidPolymorphic1<int>);
198}
199
200#endif
201
202} // namespace base