无序地图与地图

Question

有人知道为什么Dict类无效，但Dict2没有问题吗？

#include <string>
#include <unordered_map>
#include <map>
#include <variant>

class Dict
{
public:
    Dict() {}

private:
    std::unordered_map<std::string, std::variant<Dict, std::string>> data;
};

class Dict2
{
public:
    Dict2() {}

private:
    std::map<std::string, std::variant<Dict2, std::string>> data;
};

int main()
{
    Dict d;
    Dict2 d2;
    return 0;
}

我得到了一个错误

‘value’ is not a member of ‘std::is_trivially_move_constructible<Dict>’。

我查阅了小移动和复制可构造的概念，据我所知，移动构造器应该被定义或删除。我猜是因为在std::unordered_map中使用了std::variant，而编译器不知道应该如何移动对象。但我不确定我是否正确地理解了它。

Answer 1

我相信在这两种情况下，这种行为都是不明确的。Dict2只是偶然地编译了实现；“似乎有效”是未定义行为的一种可能表现。

在某些情况下(替换函数、处理函数、用于实例化标准库模板组件的类型的操作)，res.on.functions/1标准库依赖于由C++程序提供的组件。如果这些组件不符合它们的要求，则本国际标准不对实现提出任何要求。

特别是res.on.functions/2，在下列情况下未定义效果：

..。

(2.5) -如果在实例化模板组件时使用不完整类型(6.9)作为模板参数，除非该组件被特别允许。

在定义结束之前，Dict和Dict2都是不完整的类型。std::variant不允许使用不完整类型实例化。