具有两个模板参数的 C++ 模板容器，存储在模板类的字段中

Question

template<class TNodeValue>
struct Node
{
    Node* next;
    TNodeValue value; //need to store here TPair<typename Tkey, typename Tvalue>. Got C2512 error: no appropriate default consturctor available.
    Node();
    Node(TNodeValue _value);
};
template<typename TNodeValue>
Node<TNodeValue>::Node()
{
    next = NULL;
    value = NULL;
}
template<typename TNodeValue>
Node<TNodeValue>::Node(TNodeValue _value)
{
    next = NULL;
    value = _value;
}

T配对码：

template <typename Tkey, typename Tvalue>
struct TPair
{
    Tkey key;
    Tvalue value;

    TPair(Tkey _key, Tvalue _value)
    {
        key = _key;
        value = _value;
    }

};

调用错误的代码：

TPair<int, int> a(1, 2);
Node<TPair<int, int> > node(a);

问题是为什么它不会被存储？为什么 TNodeValue 不能存储像 TPair 这样的东西？得到 C2512 错误。 重要提示：不要使用标准库。

Answer 1

TPair<int, int> 没有默认构造函数，因此Node<TPair<int, int>> 构造函数格式错误，因为它们都试图调用此类型的默认构造函数。

Node 默认构造函数需要节点，因为您没有构造函数参数来构造 value 成员，但其他构造函数应使用初始化列表来构造 value：

// From C++11 and on, do this:
template<typename TNodeValue>
Node<TNodeValue>::Node(TNodeValue && _value)
    : next(nullptr), value(std::forward(_value)) { }

// Before C++11, do this:
template<typename TNodeValue>
Node<TNodeValue>::Node(TNodeValue const &_value)
    : next(0), value(_value) { }

即使你有value = _value;，由于你不使用初始化列表，代码要求默认构造value成员，然后从_value复制分配value --由于value的类型没有默认构造函数，所以这个Node构造函数无法实例化。

您还可以考虑将默认构造函数添加到TPair。