explicit71.c

来自「Mac OS X 10.4.9 for x86 Source Code gcc」· C语言 代码 · 共 16 行

// { 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 "" }