gcc-4.9/gcc/testsuite/g++.dg/template/overload5.C


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

// PR c++/22621

struct foo {
    typedef int (*fun)(int);

  static int f(int);    // overload between static & non-static
    int f();

  static int g(int);    // non-overloaded static
};

template<foo::fun>
struct f_obj {
  // something ..
};

f_obj<&foo::f> a;   // OK
f_obj<foo::f>  b;   // OK (note: a and b are of the same type)

int foo::f()
{
  f_obj<&foo::f> a;   // OK
  f_obj<foo::f>  b;   // ERROR: foo::f cannot be a constant expression

  f_obj<&foo::g> c;   // OK
  f_obj<foo::g>  d;   // OK
}