c++ - 如何使用带有模板的本地类？

Question

GCC 似乎不赞成使用本地类实例化模板:

template <typename T>
void f(T);

void g()
{
    struct s {};

    f(s()); // error: no matching function for call to 'f(g()::s)'
}

VC 不会提示。

应该怎么做？

Answer 1

在 C++03 中无法完成，C++0x 可以 lift不过这个限制。

C++03，§14.3.1/2:

A local type, a type with no linkage, an unnamed type or a type compounded from any of these types shall not be used as a template-argument for a template type-parameter.