密码模板模板参数错误

Cryptic template template parameter error

本文关键字：错误 参数 密码      更新时间：2023-10-16

我正试图创建一个从std::map或std::unordered_map获取键的函数。我可以使用一个简单的重载，但首先我想知道这个代码出了什么问题。

template<typename K, typename V, template<typename, typename> class TContainer>  
std::vector<K> getKeys(const TContainer<K, V>& mMap)
{
    std::vector<K> result;
    for(const auto& itr(std::begin(mMap)); itr != std::end(mMap); ++itr) result.push_back(itr->first);
    return result;
}

当用std::unordered_map调用它时，即使手动指定所有模板类型名，clang++3.4也会说：

模板模板参数与其对应的模板模板参数具有不同的模板参数。

问题是std::map和std::unordered_map实际上不是具有两个参数的模板。它们是：

namespace std {
    template <class Key, class T, class Compare = less<Key>,
              class Allocator = allocator<pair<const Key, T>>>
    class map;
    template <class Key, class T, class Hash = hash<Key>,
              class Pred = equal_to<Key>,
              class Allocator = allocator<pair<const Key, T>>>
    class unordered_map;
}

这里有一些类似的东西确实有效：

template <typename K, typename... TArgs, template<typename...> class TContainer>
std::vector<K> getKeys(const TContainer<K, TArgs...>& mMap)
{
    std::vector<K> result;
    for (auto&& p : mMap)
        result.push_back(p.first);
    return result;
}

我更喜欢的版本：

template <typename Container>
auto getKeys2(const Container& mMap) -> std::vector<typename Container::key_type>
{
    std::vector<typename Container::key_type> result;
    for (auto&& p : mMap)
        result.push_back(p.first);
    return result;
}

使用两种功能的演示程序：http://ideone.com/PCkcu6

相关文章：