1

以下代码适用于 gcc 甚至 VC11 Nov CTP，但无法使用 VC11 RTM 进行编译。

template<typename T>
struct A {
    typedef typename T::Type BreakMe;
    T x;
};
struct B { typedef int Type; };

template<typename T>
struct C {
    static A<T> f(A<T> a) {
        return A<decltype(a.x)>();
    }
    static auto g(A<T> a) -> A<decltype(a.x)> {
        return A<decltype(a.x)>();
    }
};

int main(int argc, char* argv[])
{
    C<B>::f(A<B>());
    C<B>::g(A<B>());
    return 0;
}

VC11 RTM 似乎失败了 decltype 作为返回值中的模板参数传递：它认为“T=unknown”。请注意f，尽管在其中使用 decltype ，但编译得很好。

这是 RTM 中的编译器错误吗？如果是这样，有没有办法解决它？

4

1 回答 1

2

我找到了解决方法。

诀窍是将整个返回类型传递给辅助结构，并强制在那里解析模板。typedef- 在辅助结构中使用返回类型似乎还不够，因为 decltyped 模板参数似乎仍然未知。但是，将其设置为辅助结构中函数的返回类型似乎会强制该类型被解析。然后，您可以简单地获取此函数的返回类型（再次使用 decltype）。

将其包装在一个变通方法宏中给出

#if defined(_MSC_VER) && _MSC_VER <= 1700
namespace workarounds {
  template<typename T>
  struct resolve_template {
    static T ret();
  };
}
#define RESOLVE_TEMPLATE(A) decltype(::workarounds::resolve_template<A>::ret())
#else
#define RESOLVE_TEMPLATE(A) A
#endif

将其添加到上面给出：http ://rise4fun.com/Vcpp/JplI

于 2013-04-17T20:18:21.777 回答