blob: e8d90ca76816dabf6245e6ac1d88f36491ef77e7 (
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
|
// PR c++/61083
// { dg-do compile { target c++11 } }
template<typename T> T declval();
template<typename T, typename U>
struct is_same {
static const bool value = false;
};
template<typename T>
struct is_same<T, T> {
static const bool value = true;
};
struct true_type {};
struct false_type {};
template <typename T>
struct is_foo {
private:
template<typename U, U> struct helper {};
template <typename Z> static auto
test(Z z) -> decltype(helper<void (Z::*)() const, &Z::foo>(), true_type());
template <typename> static auto test(...) -> false_type;
public:
enum { value = is_same<decltype(test<T>(declval<T>())), true_type>::value };
};
struct A {
int foo();
void foo() const;
};
struct A1 : public A {};
static_assert (is_foo<A>::value == 1, "");
static_assert (is_foo<A1>::value == 0, "");
|