Template Issues

This section describes unsupported template features.

• Template specialization is unsupported. Example:
  Listing: Example - Unsupported Template Specialization

  
  
  template <class T> class C {};
  template <> class C<double> {};
  
  ---------^-------------------- ERROR
  

• Declaring a template in a class is unsupported. Example:
  Listing: Example - Unsupported Declaration of Template in a Class

  
  
  struct S {
         template <class T1, class T2> void f(T1, T2) {}
  
  }; 
  
  -     template <class T> struct S<...>
  
  -template <int i>
  

• Non-template parameters are unsupported. Example:
  Listing: Example - Unsupported Non-template Parameters

  
  
      template<> int f()
  -  S03< ::T03[3]> s03;  
  
  --------------^------------------Doesn't know global scope ::
  
     template <int i, class P> struct S {}
  
      S<0xa301, int(*)[4][3]> s0; 
  
  -------------------------^--------Wrong type of template argument
  

• Implicit instantiations are unsupported. Example:
  Listing: Example - Unsupported Implicit Instantiations

  
  
  template <int i > struct A{
           A<i>() {} 
  
  -----------------^----------------ERROR implicit instantiation
  
        }
  
  -     void g00(void) {}
  
                 void g00(U) {}
  
        int  g00(char) { return 0; }
  
  ------^-------------------------ERROR: Function differ in return type
  
   
  

• Accepting a template template parameter is unsupported. Example:
  Listing: Example - Unsupported template Parameter

  
  
  template <template <class P> class X, class T> struct A{}

• Defining a static function template is unsupported. Example:
  Listing: Example - Unsupported Static Function

  
  
     template <class T> static int f(T t) {return 1}
  ----------------^--ERROR : Illegal storage class