ttp9.c

来自「用于进行gcc测试」· C语言 代码 · 共 29 行

// { dg-do compile }

// Origin: David Abrahams <[e-mail]>
//	   Wolfgang Bangerth <[e-mail]>

// PR c++/12170: Deducing template template parameter from nested
// class template.

template <typename> struct W {};

template< template<typename> class F, typename T>
int foo(W< F<T> >);


template<typename T>
struct L  {
    static int const value = sizeof(foo(W<T>()));
    typedef T type;
};


template <typename>
struct Y {
    template <typename> struct X { typedef int type; };
    typedef typename L<X<int> >::type type;
};

template struct Y<int>;