defarg5.c

linux下编程用 编译软件

// { dg-do compile }

// Origin: Ivan Godard <[e-mail]>
//	   Wolfgang Bangerth <[e-mail]>

// PR c++/17344: Substitution failure is not an error
// for default template argument

template <class> struct intTraits; 
 
template<> struct intTraits<int> { 
    static const int i = 0; 
}; 
 
template<typename E, E i = intTraits<E>::i> struct A {}; 
 
struct S { 
    template <template <typename> class X> S(X<void>); 
}; 
 
int bar(S); 
int bar(A<int,0>); 
 
A<int> bed; 
int i = bar(bed);