annotate gcc/testsuite/g++.dg/template/sfinae27.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // Origin: PR c++/46162
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 struct small_type { char dummy; };
kono
parents:
diff changeset
4 struct large_type { char dummy[2]; };
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 template<class T>
kono
parents:
diff changeset
7 struct has_foo_member_variable
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 template<int T::*> struct tester;
kono
parents:
diff changeset
10 template<class U> static small_type has_foo(tester<&U::foo> *);
kono
parents:
diff changeset
11 template<class U> static large_type has_foo(...);
kono
parents:
diff changeset
12 static const bool value = (sizeof(has_foo<T>(0)) == sizeof(small_type));
kono
parents:
diff changeset
13 };
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 struct A
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 static int foo()
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 return 0;
kono
parents:
diff changeset
20 }
kono
parents:
diff changeset
21 };
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 struct B
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 static int foo;
kono
parents:
diff changeset
26 };
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 void
kono
parents:
diff changeset
29 bar()
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 bool b = has_foo_member_variable<A>::value;
kono
parents:
diff changeset
32 }
kono
parents:
diff changeset
33