今天我们发现了一个令人困惑的C++11别名声明行为。
以下是示例:
template<typename T>
struct Q
{
typedef T t;
};
template<typename T>
void foo(Q<T> q)
{
using q_t = Q<T>;
//typedef Q<T> q_t; // if we uncomment this and comment 'using' the example compiles
typename q_t::t qwe; // <<<<<<<<<< Error: no type named ‘t’ in ‘using q_t = struct Q<T>’
}
int main(int argc, char *argv[])
{
Q<int> q;
foo(q);
return 0;
}
根据ISO 14882 (C++11)标准,这两个声明必须具有相同的语义(第145页)。
然而,如果我们使用'using'声明q_t,则在GCC 4.7.2(Debian Wheezy)和GCC 4.7.3(Ubuntu 13.04)上无法编译,但将'using'语句替换为'typedef'语句则可以编译。
这是GCC中的一个bug还是我们误解了标准?