#include <iostream>
#include <unordered_map>
#include <string>
struct tree_node {
// tree_node() : attrib_val{"null"} {}
std::unordered_map<std::string, tree_node> child;
};
int main(int argc, char const *argv[])
{
return 0;
}
此代码在我的Mac上使用clang编译得很好：
$ g++ --version
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk/usr/include/c++/4.2.1
Apple LLVM version 10.0.1 (clang-1001.0.46.4)
Target: x86_64-apple-darwin18.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
$ g++ -std=c++11 test.cpp
$
在我的Linux机器上，使用gcc 9.1.0时，出现以下错误：
In file included from /usr/um/gcc-9.1.0/include/c++/9.1.0/bits/stl_algobase.h:64,
from /usr/um/gcc-9.1.0/include/c++/9.1.0/bits/char_traits.h:39,
from /usr/um/gcc-9.1.0/include/c++/9.1.0/ios:40,
from /usr/um/gcc-9.1.0/include/c++/9.1.0/ostream:38,
from /usr/um/gcc-9.1.0/include/c++/9.1.0/iostream:39,
from test.cpp:1:
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/stl_pair.h: In instantiation of ‘struct std::pair<const std::__cxx11::basic_string<char>, tree_node>’:
/usr/um/gcc-9.1.0/include/c++/9.1.0/ext/aligned_buffer.h:91:28: required from ‘struct __gnu_cxx::__aligned_buffer<std::pair<const std::__cxx11::basic_string<char>, tree_node> >’
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/hashtable_policy.h:233:43: required from ‘struct std::__detail::_Hash_node_value_base<std::pair<const std::__cxx11::basic_string<char>, tree_node> >’
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/hashtable_policy.h:264:12: required from ‘struct std::__detail::_Hash_node<std::pair<const std::__cxx11::basic_string<char>, tree_node>, true>’
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/hashtable_policy.h:2016:13: required from ‘struct std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<const std::__cxx11::basic_string<char>, tree_node>, true> > >’
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/hashtable.h:173:11: required from ‘class std::_Hashtable<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, tree_node>, std::allocator<std::pair<const std::__cxx11::basic_string<char>, tree_node> >, std::__detail::_Select1st, std::equal_to<std::__cxx11::basic_string<char> >, std::hash<std::__cxx11::basic_string<char> >, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, false, true> >’
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/unordered_map.h:105:18: required from ‘class std::unordered_map<std::__cxx11::basic_string<char>, tree_node>’
test.cpp:7:46: required from here
/usr/um/gcc-9.1.0/include/c++/9.1.0/bits/stl_pair.h:215:11: error: ‘std::pair<_T1, _T2>::second’ has incomplete type
215 | _T2 second; /// @c second is a copy of the second object
| ^~~~~~
test.cpp:5:8: note: forward declaration of ‘struct tree_node’
5 | struct tree_node {
出于某种原因，它不喜欢tree_node作为unordered_map中的值。
这是未定义的行为，由[res.on.functions]/2.5：
[[如果实例化模板组件或评估概念时使用不完整类型（[basic.types]]作为模板参数，除非该组件特别允许，否则效果未定义。
这是一个令人讨厌的案例，在这里，我基本上必须证明否定该答案才有效，但是我发现标准中没有地方提到允许您在[res.on.functions]/2.5中使用不完整类型的异常。因此，该程序可以执行任何操作。特别是，尽管Clang现在可以编译它，但它可能会在将来的任何时候停止工作，并且编译后的代码std::map专业化无法正常工作也很有可能。 Certain容器，尤其是map，有一个子句，可以在正确的条件下以不完整的类型实例化它们。但是这种情况是未定义的行为，因此编译器没有义务警告您或错误。为避免这种情况，请以某种方式更改程序。我相信以下内容是合法的，而不会强迫您存储太多额外的指针。
std::vectorstruct tree_node {
std::unique_ptr<std::unordered_map<std::string, tree_node>> child;
};
是一般的不执行规则的例外-可以将其实例化为不完整的类型（但是其某些成员并不那么松懈）是可以的。我认为这意味着在std::unique_ptr定义中需要完成std::unordered_map<std::string, tree_node>专业化的点上，不需要tree_node完整，因此std::unique_ptr专业化不会触发并且UB避免使用std::unordered_map，因为不需要完整填写。请注意，您仍然可以编写构造函数，函数，析构函数等，而不必担心，因为所有这些定义都隐式移出类定义和在类定义之后移动，并且tree_node在类定义结束后变为完整。
更改：
tree_node收件人：
struct tree_node {
// tree_node() : attrib_val{"null"} {}
std::unordered_map<std::string, tree_node> child;
};
使编译问题消失。是否对您想要的内容有任何反映？