向前声明模板别名

Question

我有一个别名模板，与使用指令定义：

template<typename A> 
using T=TC<decltype(A::b),decltype(A::c)>; 

请问C++ 11提供了一种机制来转发声明此模板别名T？

我想：

template<typename> struct T; 

和：

template<typename> 
using T; 

但都返回编译器错误（ “与以前的声明冲突”）。我正在使用gcc 4.8。

让这个工作起作用的语法是什么？

Answer 1

不，这是不可能的。

你想要做的就是转发声明TC，然后在其下面定义T。

template<typename T, typename U> 
struct TC; 

template<typename A> 
using T=TC<decltype(A::b),decltype(A::c)>;