无论我传递的是字符串文字还是字符串对象，如何让这个函数模板工作？

Question

我有以下函数模板，它接受任何类型的映射并返回与某个键关联的值或调用站点提供的默认值：

template <template <typename Key, typename Val, typename ...Args> typename C, typename Key, typename Val, typename ...Args>
Val get_or_default(C<Key, Val, Args...> const& my_map, Key const& k, Val const& v)
{
    typename C<Key, Val, Args...>::const_iterator const it = my_map.find(k);
    return (it != my_map.end()) ? it->second : v;
}

当我这样调用函数时：

// initialize map
    std::map<std::string, int> m1{ {"jim",1},{"mark",2},{"sally",3} };
// call get_or_default with std::string as key arg
    std::cout << get_or_default(m1, std::string("jim"), -1) << std::endl;

一切都按预期工作，但是当我像这样调用函数时：

std::cout << get_or_default(m1, "jim", -1) << std::endl;

我收到以下错误消息：

error C2782: 'Val get_or_default(const C<Key,Val,Args...> &,const Key &,const Val &)': template parameter 'Key' is ambiguous

我认为参数Key 是模棱两可的，因为它是在地图模板中使用std::string 调用的，但get_or_default 的第二个参数是const char*

无论我传递的是字符串对象还是字符串文字，如何才能让这个函数工作？

非常感谢您的帮助。

Answer 1

由于您对 Key 模板参数的推导有冲突，您可以简单地将 Key 参数之一设为非推导上下文。

首先提供一个简单的类型标识结构：

template<typename T>
struct I { using type = T; };

然后像这样使用它：

template <template <typename Key, typename Val, typename ...Args> typename C,typename Key, typename Val, typename ...Args>
Val get_or_default(C<Key, Val, Args...> const& my_map, typename I<Key>::type  const &k, Val const& v)
{
    typename C<Key, Val, Args...>::const_iterator const it = my_map.find(k);
    return (it != my_map.end()) ? it->second : v;
}

您可以稍微简化一下。删除模板模板参数名称，因为它们无论如何都不会被使用。此外，您可以使用 auto 作为迭代器类型。此外，可变参数似乎没有用于任何目的。

template <template <typename, typename> typename C, typename Key, typename Val>
Val get_or_default(C<Key, Val> const& my_map, typename I<Key>::type const &k, Val const& v)
{
    auto const it = my_map.find(k);
    return (it != my_map.end()) ? it->second : v;
}

这是一个有效的demo。

Answer 2

这应该适合你：

template<class C, class Key, class Val>
Val get_or_default(C const& mp, Key const& k, Val const& v)
{
    typename C::const_iterator it = mp.find(k);
    return (it != mp.end()) ? it->second : v;
}

如果您想要更好的类型限制和错误消息并且 c++ 20 是一个选项，那么概念就是要走的路