实现模板参数中定义的类型

Question

此代码在 Visual Studio 2013 上运行，但不在 gcc 4.9.2 上：

template <typename T>
void foo(){
    T::value_type bar('a');

    cout << bar << endl;
}

int main() {
    foo<string>();

    return 0;
}

似乎 Visual Studio 2013 推断类型以允许我实现模板参数中定义的类型，而 gcc 4.9.2 does not。

是否有一种解决方法可以在 gcc 中允许这种行为？

Answer 1

您需要告诉编译器T::value_type 命名了一个类型，以便它知道如何解析声明。

typename T::value_type bar('a');

请参阅this question，了解有关您需要在何处以及为何需要这样做的更多详细信息。