Рекурсивный unordered_map

Question

У меня есть древовидная структура, которая внутренне использует неупорядоченную карту

#include <unordered_map>

struct Node {
        std::unordered_map<int, Node> children;
};

int main() {
        Node a;
}

Она отлично работает на Apple clang 11.0.3 и MSV C v19.24, но не компилируется на clang 10.0. 0 и g cc 10.1

В то время как обычный std::map отлично работает на всех компиляторах. Мне не удалось найти причину этого несоответствия. Есть ли способ использовать std::unordered_map как само значение? Или указатели - единственное решение здесь?

Вот ссылка на проводник компилятора https://godbolt.org/z/6eYch9

Вот ошибка от g cc:

    #3 with x86-64 gcc 10.1
    In file included from /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/unordered_map:43,
                    from <source>:1:
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/stl_pair.h:
In instantiation of 'struct std::pair<const int, Node>':
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/ext/aligned_buffer.h:91:28:
required from 'struct __gnu_cxx::__aligned_buffer<std::pair<const int,
Node> >'
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/hashtable_policy.h:233:43:
required from 'struct
std::__detail::_Hash_node_value_base<std::pair<const int, Node> >'
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/hashtable_policy.h:279:12:
required from 'struct std::__detail::_Hash_node<std::pair<const int,
Node>, false>'
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/hashtable_policy.h:1973:13:
required from 'struct
std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<const
int, Node>, false> > >'
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/hashtable.h:173:11:
required from 'class std::_Hashtable<int, std::pair<const int, Node>,
std::allocator<std::pair<const int, Node> >,
std::__detail::_Select1st, std::equal_to<int>, std::hash<int>,
std::__detail::_Mod_range_hashing,
std::__detail::_Default_ranged_hash,
std::__detail::_Prime_rehash_policy,
std::__detail::_Hashtable_traits<false, false, true> >'
    
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/unordered_map.h:105:18:
required from 'class std::unordered_map<int, Node>'

    <source>:4:39:   required from here
    /opt/compiler-explorer/gcc-10.1.0/include/c++/10.1.0/bits/stl_pair.h:218:11:
error: 'std::pair<_T1, _T2>::second' has incomplete type

      218 |       _T2 second;                ///< The second member
          |           ^~~~~~
    <source>:3:8: note: forward declaration of 'struct Node'
        3 | struct Node {
          |        ^~~~
    Compiler returned: 1

Answer 1

Контейнеры STL не требуются для работы с неполными типами. Если вы не против дополнительных косвенных обращений, то решение - std::map<int, std::unique_ptr<Node>>

.

Answer 2

Это та же проблема, что и при выполнении, например,

struct Node
{
    Node child;  // An instance of the full structure
};

Вы не можете использовать структуру (или класс) до того, как она будет полностью определена, а именно при закрытии }.

Однако вы можете определить указатели на структуру, потому что в этом случае компилятору не нужно полное определение структуры, нужно знать только имя структуры:

struct Node
{
    Node* child;  // Pointer to the structure
};

Итак, чтобы решить вашу проблема, вам нужна карта указателей :

std::unordered_map<int, Node*> children;