具有unordered_map的依赖类型
Codependent types with unordered_map
假设我想在条目之间保持一定的顺序 的unordered_map<int,int>。一种节省内存的方法似乎是在映射的条目之间保留一个链表。也就是说,我将使用unordered_map<int,Node>而不是unordered_map<int,int>,其中Node定义为
struct Node {
int val;
typename std::unordered_map<int, Node>::iterator up;
};
这是否有效C++?Clang和gcc不允许这种说法Node是一个不完整的类型。有关完整的错误消息,请参阅下文。双方都接受以下内容:
template<typename Key, typename Value>
struct Map {
struct MapEntry {
Key key;
Value val;
MapEntry *prev, *next;
};
using Iterator = MapEntry*;
};
struct Node {
int val;
Map<int, Node>::Iterator up;
};
这里的规则到底是什么?为什么第一个不被接受,而第二个很好?在一个相关的问题中,出现了类似的问题,但是,要在此处应用相同的解释,必须unordered_map包含没有任何间接性的 Value 对象。也就是说,unordered_map的定义应该是这样的:
template<typename Key, typename Value>
class unordered_map {
Value val;
using value_type = std::pair<const Key, Value>;
using entry = std::tuple<value_type, entry*, entry*>;
using iterator = entry*;
};
我不明白为什么unordered_map应该直接存储值。否则 就像我上面给出的玩具示例结构 Map 一样,没有依赖循环。
In file included from /usr/include/c++/8/unordered_map:43,
from test.cpp:1:
/usr/include/c++/8/bits/stl_pair.h: In instantiation of ‘struct std::pair<const int, Node>’:
/usr/include/c++/8/ext/aligned_buffer.h:91:28: required from ‘struct __gnu_cxx::__aligned_buffer<std::pair<const int, Node> >’
/usr/include/c++/8/bits/hashtable_policy.h:234:43: required from ‘struct std::__detail::_Hash_node_value_base<std::pair<const int, Node> >’
/usr/include/c++/8/bits/hashtable_policy.h:280:12: required from ‘struct std::__detail::_Hash_node<std::pair<const int, Node>, false>’
/usr/include/c++/8/bits/hashtable_policy.h:2027:49: required from ‘struct std::__detail::_Hashtable_alloc<std::allocator<std::__detail::_Hash_node<std::pair<const int, Node>, false> > >’
/usr/include/c++/8/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> >’
/usr/include/c++/8/bits/unordered_map.h:105:18: required from ‘class std::unordered_map<int, Node>’
test.cpp:5:32: required from here
/usr/include/c++/8/bits/stl_pair.h:215:11: error: ‘std::pair<_T1, _T2>::second’ has incomplete type
_T2 second; /// @c second is a copy of the second object
^~~~~~
test.cpp:3:8: note: forward declaration of ‘struct Node’
struct Node {
唉,
struct Node {
int val;
typename std::unordered_map<int, Node>::iterator up;
};
C++C++17 标准无效。根据最近接受的不完整类型提案进入 C++17,向std::vector
、std::list
和std::forward_list
提供不完整类型Node
是有效的,但仍需提供完整类型unordered_map。
MSVC 和 libc++ 在不完整的值下工作正常,但这是由于它们超出了标准的要求。
相关文章:
- 如何从C++中的依赖类型中获得它所依赖的类型
- 当基类是依赖类型时,这是一个缺陷吗
- 通过依赖类型使用非类型模板参数的单类型模板参数类模板的部分专用化
- 为什么不需要在 C++20 中的依赖类型之前指定"typename"?
- 为什么在以下情况下不需要为依赖类型使用typename
- 提升multi_index获得依赖类型
- 继承依赖类型定义而不使用结构
- 依赖于依赖类型的非静态数据成员的非限定名称
- 依赖类型自动扣除
- 具有unordered_map的依赖类型
- 难以理解C++依赖类型与当前实例化上的内容
- 扣除其他类型的依赖类型
- C++:从依赖类型"Inferring"模板类型
- 编译器是否也将所有参数依赖类型实例化,即使超载函数的参数计数不匹配
- 限定依赖类型的类型定义
- 为什么对于依赖类型,单词 'typedef' 后面需要'typename'?
- 如何从模板化的类方法返回依赖类型
- 无法定义依赖类型定义的成员
- 如何在任意依赖类型上专门化模板
- 依赖类型不明确的 c++11 可变参数函数模板重载是否不明确