c++ - 如何忽略函数模板中的常量？

Question

我有以下模板函数:

template<typename K, typename V>
bool hasKey( const std::map<K, V>& m, K& k ) {
    return m.find(k) != m.end();
}

映射中的键不是const。

现在，我可能有一个const K。我如何编写一个模板，允许我将 K 和 const K` 传递给函数？

每次调用函数时都使用const_cast 的解决方案吗？

Answer 1

你可以通过以下方式实现你想要的

template <typename Key, typename Value, typename K>
bool hasKey(const std::map<Key, Value>& mp, const K& k) {
    return mp.find(k) != mp.end();
}

通过这种方式，您可以确定在查看函数声明时不会修改任何操作数，因为它们都是对 const 的引用。

键类型的非 const 和 const 引用(甚至右值)都可以传递给 std::map 中的 .find() 方法。这是有效的，因为 .find() 方法通过 const 引用接受键类型，所以如果你传递一个非常量引用，它无论如何都会被 const 引用绑定(bind)，所以它没有什么区别.

通过单独模板化键类型获得的另一件事是与透明比较器的兼容性(C++14 起，参见 http://en.cppreference.com/w/cpp/container/map/find )。有关透明比较器的更多信息，请参阅 What are transparent comparators? .