explicit71.c

linux下编程用 编译软件

// { dg-do assemble  }
// by Alexandre Oliva <[e-mail]>
// Based on a testcase by Reid M. Pinchback <[e-mail]>
// According to the C++ Standard [temp.expl.spec]/17-18, explicit
// specializations are only valid if all enclosing template classes
// of the specialized template are fully specialized too

template <class X> 
class bug {
  template <class Y> 
  class a {}; 
};
template <class X> 
template <>			// { dg-error "" } invalid specialization
class bug<X>::a<char> {};	// { dg-error "" }