C++0x decltype 和范围解析运算符

Question

对于像 Foo: 这样的类，

struct Foo { static const int i = 9; };

我发现 GCC 4.5 将拒绝以下内容

Foo f;
int x = decltype(f)::i;

如果我使用中间 typedef，它将起作用，例如：

typedef decltype(f) ftype;
int x = ftype::i;

但我更喜欢保持命名空间干净。我认为优先级可能是一个问题，所以我也尝试过括号，但没有运气。这是不可能的，还是有一段语法可以帮助我？

Answer 1

decltype(f)::i 是有效的 C++0x。 GCC 只是还不支持它。您可以使用身份模板来解决这个问题

template<typename T> struct identity { typedef T type; };
int x = identity<decltype(f)>::type::i;

identity 是 boost::mpl 命名空间的一部分。