c++ - 具有嵌套模板类的模板类，g++ 编译正常，vs2013 不会编译

Question

我正在实现自己的 map ，这是一段代码。令我困扰的部分代码是这两个声明:

template<typename KEY, typename VAL>
Map<KEY,VAL>::MapPair<KEY,VAL> Map<KEY,VAL>::make_map_pair(KEY k, VAL v){
    return MapPair<KEY,VAL>(k,v);
 }

template<typename KEY, typename VAL>
template<typename K, typename V>
Map<KEY,VAL>::MapPair<K,V>& Map<KEY,VAL>::MapPair<K,V>::setKey(K keyp, V val){
    key = keyp;
    value = val;
 }

类定义如下:

 template <typename KEY, typename VAL>
 class Map{
 private:
    template<typename K, typename V>
    class MapPair {
    public:
        K key;
        V value;
        MapPair(){};
        MapPair(K key, V value);
        MapPair<K,V>& setKey(K key, V val);
        V& getValue();
        K getKey();
        bool operator==(MapPair<K,V> item);
    };

    List<MapPair<KEY,VAL>> pair_list_;
    MapPair<KEY,VAL> make_empty_map_pair(KEY k);
    MapPair<KEY,VAL> make_map_pair(KEY k, VAL v);
 public:
    Map(){}
    bool exists(KEY key);
    VAL& operator[](KEY key);
    VAL pop_pair(KEY key);
 };

这段代码在没有 g++ 窥视的情况下编译，但 Visual Studio 2013 会抛出错误:

error C2059: syntax error : ')'
error C2059: syntax error : ')'

每个顶级函数定义都会产生一个错误。

来自 debain 7.5 下的 g++

g++ -Wall -c -std=c++11  vm.cpp
g++ vm.o -o vm

并且它运行良好，没有运行时问题，并且可以完成它应该做的事情。

问题是为什么 g++ 运行得这么好，而 vs2013 不会编译它？我该怎么做才能使这段代码在 vs2013 上正确编译？我可以养成什么样的习惯来确保我编写的代码的可移植性？

Answer 1

事实证明，VS2013 喜欢在嵌套类的返回类型之前插入 typename。我知道我“可以”做到这一点，但直到这个时候我才知道我为什么要这么做。

template<typename KEY, typename VAL>
typename Map<KEY,VAL>::MapPair<KEY,VAL> Map<KEY,VAL>::make_map_pair(KEY k, VAL v){
/*^^^^^ right here before the nested class object that it will return.*/
    return MapPair<KEY,VAL>(k,v);
}

最好的办法是使用它，这样即使 g++ 不需要它，代码也可以通过较少的更改进行移植。