summaryrefslogtreecommitdiffstats
path: root/mojo/public/cpp/bindings/lib/callback_internal.h
blob: 9df5b40a73555e7f72aa8ac046a62aefd1701058 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
// Copyright 2014 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef MOJO_PUBLIC_CPP_BINDINGS_LIB_CALLBACK_INTERNAL_H_
#define MOJO_PUBLIC_CPP_BINDINGS_LIB_CALLBACK_INTERNAL_H_

#include "mojo/public/cpp/bindings/lib/template_util.h"

namespace mojo {
class String;

namespace internal {

template <typename T>
struct Callback_ParamTraits {
  typedef T ForwardType;
};

template <>
struct Callback_ParamTraits<String> {
  typedef const String& ForwardType;
};

template <typename T, typename... Args>
struct HasCompatibleCallOperator {
  // This template's second parameter is the signature of the operator()
  // overload we want to try to detect:
  //   void operator()(Args...) const;
  template <typename U,
            void (U::*)(
                typename internal::Callback_ParamTraits<Args>::ForwardType...)
                const>
  struct TestType {};

  // This matches type U if it has a call operator with the
  // expected signature.
  template <typename U>
  static YesType Test(TestType<U, &U::operator()>*);

  // This matches anything else.
  template <typename U>
  static NoType Test(...);

  // HasCompatibleCallOperator<T, Args...>::value will be true if T has a
  // compatible call operator.
  enum { value = (sizeof(Test<T>(nullptr)) == sizeof(YesType)) };
};

}  // namespace internal
}  // namespace mojo

#endif  // MOJO_PUBLIC_CPP_BINDINGS_LIB_CALLBACK_INTERNAL_H_