c++ - C++ 中基于类型的模板函数

Question

我想编写一个故障安全访问 std::map 的函数.

在我的代码中的许多地方，我想访问一个 std::map通过键，但如果键不存在，我想要一种默认值而不是异常(这是很多“无”的代码)。

我写了这个基于模板的函数

template <typename T1, typename T2>
T2 mapGetByKey(std::map<T1, T2>& map, T1 key, T2 defaultValue={})
{
    auto it = map.find(key);

    if (it != map.end())
    {
        return it->second;
    }

    return defaultValue;
};

效果很好。但是对于 std::map<int, const char*>我想有不同的行为。所以我可以添加这个专业:

template <typename T1>
const char* mapGetByKey(std::map<T1, const char*>& map, T1 key, const char* defaultValue="")
{
    auto it = map.find(key);

    if (it != map.end())
    {
        return it->second;
    }

    return defaultValue;
};

它也有效。但我认为只有一种情况需要大量代码。

有没有人知道如何在不将默认值设置为 "" 的情况下保存行？调用 std::map<int, const char*> ？

有没有办法在编译时区分类型，也许用一些 ifdef还是类似的东西？

Answer 1

选项 #1

template <typename T>
T defaultValue()
{
    return {};
}

template <>
const char* defaultValue<const char*>()
{
    return "default string";
}

template <typename T1, typename T2>
T2 mapGetByKey(std::map<T1, T2>& map, const T1& key)
{
    auto it = map.find(key);

    if (it != map.end())
    {
        return it->second;
    }

    return defaultValue<T2>();
}

DEMO 1

选项 #2

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

template <typename T1, typename T2>
T2 mapGetByKey(std::map<T1, T2>& map, T1 key, const typename identity<T2>::type& defaultValue = {})
{
    auto it = map.find(key);

    if (it != map.end())
    {
        return it->second;
    }

    return defaultValue;
}

template <typename T1>
const char* mapGetByKey(std::map<T1, const char*>& map, const T1& key)
{
    return mapGetByKey(map, key, "default string");
}

DEMO 2