Does the current paper allow explicit template parameters in the
specialization of a template class?

Example:

template<class T>
class A {
  A() {}
  ~A() {}
};

class A<int> {
  A() {}  // ok
  ~A() {}  // ok

  A<int>() {}  // ok
  ~A<int>() {}  // not implemented in cfront 3.0 based compilers

  A();   // ok
  ~A();   // ok

  A<int>();  // ok
  ~A<int>();  // not implemented in cfront 3.0 based compilers
}

A<int>::A() {}  // ok
A<int>::~A() {}  // ok
A<int>::A<int>() {} // legal? most compilers get confused
A<int>::~A<int>() {} // legal? most compilers get confused


It seems that all the above forms should be legal, since there should
be no difference between functions defined within the class definition
and functions defined outside the class definition.


--
    Jeffrey J. Persch
    jjpersch@shell.com