解密(Std)是合法的，它有什么目的吗？

Question

当在命名空间中使用decltype时，我可以编写编译代码，但是语句在g++4.9.1下似乎没有任何效果，而在clang下则生成error: unexpected namespace name 'std': expected expression

例如，以下所有代码都是在g++下编译的，但是程序集没有显示为它们生成的任何代码。

using s = decltype(std);
auto n = typeid(decltype(std)).name();
auto sz = n.size();
std::printf("size is %zu\n", sz+1);
std::printf("this type is: %s\n\n", n.c_str());

// the only limit is your imagination
int f();
std::ostream trash = f(typeid(decltype(std)) * 10 - 6 ^ typeid(decltype(std)));

如果g++允许这样做是对的呢？如果是这样，代码消失而不是导致编译时错误的好处是什么？

Answer 1

不，这不合法。语法允许的两个解密类型说明符形式是(N3690，§7.1.6.2/1)：

解密-说明符： decltype (表达式) decltype ( auto )

名称空间名称不是表达式。

我引用的这一段来自一个标准的C++11草稿，所以decltype(auto)不适用于C++11，但答案是一样的。