在C中初始化静态d::映射

Question

这是一个与这篇文章相似的问题。我认为最有希望的答案与模板化静态初始化有关。这是该答案中的类：

template <typename T, typename U>
class create_map
{
private:
    std::map<T, U> m_map;
public:
    create_map(const T& key, const U& val)
    {
        m_map[key] = val;
    }

    create_map<T, U>& operator()(const T& key, const U& val)
    {
        m_map[key] = val;
        return *this;
    }

    operator std::map<T, U>()
    {
        return m_map;
    }
};

用法:

std::map mymap = create_map<int, int >(1,2)(3,4)(5,6);

这适用于结构或类以及基类型。我想做的是将其与unique_prt一起使用

std::map mymap = create_map<DWORD, std::unique_ptr<Structure|Class>>(1, new Structure|Class())(2, new Structure|Class())

我试图使用一个模板类，这样我就可以拥有任何类型的值。我从这篇文章中得到一个想法，使用一个接口作为基类，然后使用一个模板派生类来保存任何类型的值。这些类看起来像这样:

class MyFieldInterface
{
public:
    int m_Size;
    virtual ~MyFieldInterface() = default;
}

template <typename T>
class MyField : public MyFieldInterface {
    T m_Value; 
}

然后可以像我前面描述的那样设置地图:

std::map<DWORD, unique_ptr<MyFieldInterface>> mymap;

但尝试使用create_map初始化它失败：

std::map mymap = create_map<DWORD, unique_ptr<MyFieldInterface>>(1, new MyField<DWORD>())(2, new MyField<char>())(3, new MyField<WORD>())

我得到的错误是这样的：

operator()
Error: no instance of constructor "create_map<T, U>::create_map [with T=DWORD, U=std::unique_ptr<MyFieldInterface, std::default_delete<MyFieldInterface>>]" matches the argument list
argument types are: (DWORD, MyField<DWORD>*)

所以我认为我需要一个可以正确处理指针的构造函数和一个运算符（）。我将两者添加到类中：

create_map(const T& key, const U* val)
{
    m_map[key] = val;
}

create_map<T, U>& operator()(const T& key, const U* val)
{
    m_map[key] = val;
    return *this;
}

我得到了同样的错误。所以我在没有*的情况下尝试：

create_map(const T& key, const U val)
{
    m_map[key] = val;
}

create_map<T, U>& operator()(const T& key, const U val)
{
    m_map[key] = val;
    return *this;
}

我得到了同样的错误。当我写这篇文章时，我意识到这个问题可能与继承有关，而不一定与create_map的操作符有关。你能帮我找出我需要的operator()定义或基类/派生类定义吗？

请将您的答案限制为不包含Boost C库，因为我不允许在工作中使用它们。

编辑:根据T.C .的要求更新了MyFieldInterface。




Answer 1

在T.C .的指导下，加上VC2012中没有make_unique，我不再使用unique_ptr

std::map mymap = create_map<DWORD, shared_ptr<MyFieldInterface>>(1, make_shared<MyField<DWORD>>())(2, make_shared<MyField<char>>())(3, make_shared<MyField<WORD>>())

这给了我一直在寻找的功能，而不必改变底层的类。虽然这符合我的需要，但我实际上要将T.C .的答案标记为正确，因为不管您使用哪一个，它都有效。

Answer 2

这是一种可能的实现：

template <typename T, typename U>
class create_map
{
private:
    std::map<T, U> m_map;
public:
    create_map(T key, U val)
    {
        m_map.emplace(std::move(key), std::move(val));
    }

    create_map&& operator()(T key, U val) &&
    {
        m_map.emplace(std::move(key), std::move(val));
        return std::move(*this);
    }

    operator std::map<T, U>() &&
    {
        return std::move(m_map);
    }
};

请注意按值获取参数，然后使用emplace将其移动到映射中，以及从m_map移动的转换运算符。

我不知道MSVC 2012是否支持裁判资格赛。如果没有，您需要删除它(这是两个<代码>

现在，您的调用不能使用裸news，因为1）它不是异常安全的，2）原始指针不能隐式转换为unique_ptr。一个不考虑数组的简单make_unique实现是

namespace util {
    template<class T, class... Args>
    std::unique_ptr<T> make_unique(Args&&... args) {
        return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
    }
}

然后，您可以更改新Myfield

演示。

*使用限定调用会禁用ADL，当您升级编译器时，如果您的调用有参数，这可能会产生令人惊讶的效果。根据规范，make_unique的完整实现可以在N3656中的示例代码中找到，make_unique提案文件。