gomp-20050608-branch/gcc/testsuite/g++.old-deja/g++.jason/template36.C

   1 // { dg-do run  }
   2 // Testcase for implicit 'typename' and resolution of 'typename's in the
   3 // current scope.
   4
   5 class base1 {
   6 public:
   7     int bar() const
   8     { return 1; }
   9 };
  10
  11 class base2 {
  12 public:
  13     int bar() const
  14     { return 0; }
  15 };
  16
  17 template<class X>
  18 struct base_trait {
  19     typedef base1 base;
  20 };
  21
  22 template<>
  23 struct base_trait<float> {
  24     typedef base2 base;
  25 };
  26
  27 template<class T>
  28 class weird : public base_trait<T>::base {
  29 public:
  30     typedef typename base_trait<T>::base base;
  31
  32     base f ();
  33     int base::* g ();
  34
  35     int zowee() const
  36     { return this->bar(); }
  37 };
  38
  39 template <class T>
  40 typename weird<T>::base weird<T>::f ()
  41 {
  42     return base();
  43 }
  44
  45 // The standard does not allow this case; the `typename' keyword may
  46 // not appear in a ptr-operator.
  47 #if 0
  48 template <class T>
  49 int typename weird<T>::base::* weird<T>::g ()
  50 { return 0; }
  51 #endif
  52
  53 int main()
  54 {
  55     weird<float> z;
  56     return z.zowee() || z.f().bar();
  57 }