sfinae2.c

来自「linux下编程用 编译软件」· C语言 代码 · 共 18 行

// PR c++/19989
// Don't instantiate a function template if it would generate an
//   array of size zero.

// { dg-do compile }

template<int T> struct cl {
  const static int value = T;
};

template<int I> void fn (char (*) [cl<I>::value] = 0 );

void foo (void)
{
  fn<0> ();  // { dg-error "no matching function" }
}