可变参数模板包作为 std::unordered_map 的键

Question

有没有办法在std::unordered_map 中使用可变参数模板作为 Key 模板参数？

我尝试过这样做：

template<typename T, typename ...Args>
class Wrapper {
public:
    // some staff
private:
    unordered_map<Args, T> hashmap;

};

但是得到了这个错误：

错误 C3520 'Args'：参数包必须在此上下文中展开

Answer 1

有没有办法在 std::unordered_map 中使用可变参数模板作为 Key 模板参数？

不，据我所知：std::unordered_map 需要一个键类型和一个值类型。

但是如果你的意图是在Wrapper类中拥有一个hashmap，对于Args...中的每个类型，如果Args...类型都不同，你可以通过另一个继承和另一个包装级别

template <typename K, typename V>
struct wrpH
 { std::unordered_map<K, V> hashmap; };

template <typename T, typename ...Args>
class Wrapper : public wrpH<Args, T>...
 { };

此解决方案的问题是您在同一个class 中有更多hashmap，并且要访问它们，您必须显式地显示相应的基struct；如下

w.wrpH<Args, T>::hashmap[argsValue] = tValue;

以下是一个完整的工作示例

#include <iostream>
#include <unordered_map>

template <typename K, typename V>
struct wrpH
 { std::unordered_map<K, V> hashmap; };

template <typename T, typename ...Args>
class Wrapper : public wrpH<Args, T>...
 { };

int main()
 {
   Wrapper<int, int, long, long long>  w;

   w.wrpH<long, int>::hashmap[1L] = 2;

   std::cout << w.wrpH<int, int>::hashmap.size() << std::endl;
   std::cout << w.wrpH<long, int>::hashmap.size() << std::endl;
   std::cout << w.wrpH<long long, int>::hashmap.size() << std::endl;
 }

相反，如果您需要单个 hashmap 的键是所有 Args... 类型的组合，则可以使用接收可变类型列表作为模板参数的类作为键类型.正如 cmets 中所建议的，std::tuple 是显而易见的选择

std::unordered_map<std::tuple<Args...>, T> hashmap;

如果Args... 中的某些类型重合，这也有效。