- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我处于这样一种情况,我在两个类的定义之间有一个循环依赖循环,其中(据我所知)两个类都需要另一个类型是一个完整的类型才能正确定义它们。
简而言之,我需要的是正在发生的事情的简化版本:
struct Map;
struct Node {
// some interface...
private:
// this cannot be done because Map is an incomplete type
char buffer[sizeof(Map)];
// plus other stuff...
void* dummy;
};
struct Map {
// some interface...
private:
// this is Map's only member
std::unordered_map<std::string, Node> map_;
};
实际情况比上面的要复杂,因为Node
实际上将是一个变体类型(类似于 boost::variant
),它使用新的放置在预分配(并具有适当的对齐方式,我在这个简化中忽略了这一点)缓冲区中显式构造多种类型的对象之一:缓冲区因此不完全是 sizeof(Map)
而是一些依赖于 sizeof(Map)
的计算常数.
问题显然是 sizeof(Map)
在 Map
时不可用仅向前声明。此外,如果我将声明的顺序更改为转发声明 Node
首先,然后编译Map
失败,因为 std::unordered_map<std::string, Node>
Node
时无法实例化是一个不完整的类型,至少对于我在 Ubuntu 上的 GCC 4.8.2。 (我知道它更依赖于 libstdc++ 版本而不是 GCC 版本,但我不知道如何找到它...)
作为替代方案,我正在考虑以下解决方法:
struct Node {
// some interface...
private:
// doing this instead of depending on sizeof(Map)
char buffer[sizeof(std::unordered_map<std::string, void*>)];
// other stuff...
void* dummy;
};
struct Map {
// some interface...
private:
// this is Map's only member
std::unordered_map<std::string, Node> map_;
};
// and asserting this after the fact to make sure buffer is large enough
static_assert (sizeof(Map) <= sizeof(std::unordered_map<std::string, void*>),
"Map is unexpectedly too large");
这基本上依赖于 std::unordered_map<std::string, T>
的假设所有 T 的大小都相同,这似乎适用于我使用 GCC 进行的测试。
因此,我的问题有三个方面:
C++ 标准中是否有任何内容要求此假设成立? (我假设没有,但如果有,我会感到惊喜...)
如果不是,是否实际上可以安全地假设它对所有合理的实现都适用,并且我的修订版本中的静态断言永远不会触发?
<最后,对于这个问题,有没有我没有想到的更好的解决方法?我敢肯定,有可能我可以做一些我没有想到的明显的事情,但不幸的是我想不出任何事情......
最佳答案
1)没有
2) STL 容器不能用不完整的类型实例化。但是,显然某些编译器确实允许这样做。不允许这不是一个微不足道的决定,在许多情况下,您的假设确实成立。 This文章可能会让您感兴趣。鉴于根据标准,如果不添加间接层就无法解决此问题,而您不想这样做。我只是要提醒一下,你确实没有按照标准做事。
话虽如此,我认为您的解决方案是使用 STL 容器的最佳解决方案。当大小确实超过预期大小时,静态断言确实会发出警告。
3) 是的,通过添加另一层间接寻址,我的解决方案如下:
您遇到的问题是对象的大小取决于其数组的大小。假设您有一个对象 A 和一个对象 B:
struct A
{
char sizeof[B]
}
struct B
{
char sizeof[A]
}
对象 A 会增长,以便容纳 B 大小的字符。但是反过来对象 B 也必须增长。我想你可以看到这是怎么回事。我知道这正是您的问题,但我认为基本原则非常相似。
在这种特殊情况下,我会通过更改
来解决它char buffer[sizeof(Map)];
线只是一个指针:
char* buffer
并在初始化后动态分配内存。 Sow 你的 cpp 文件看起来像这样:
//node.cpp
//untested code
node::node()
{
buffer = malloc(sizeof(map));
}
node::~node()
{
free buffer;
}
关于c++ - 假设 sizeof(std::unordered_map<std::string, T>) 对于所有 T 都相同实际上是安全的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30205748/
一旦我看到了用C++进行某种假设的方法,例如: int x=7; assume (x==7);//if not right a red error will appear and program wi
我正在尝试测试我的数据库类。这是它的简化示例。 class Database: """ it has more methods but I show only the most important "
这只是一个思考练习,我会对任何意见感兴趣。尽管如果它有效,我可以想出一些我会使用它的方法。 传统上,如果你想对由数组或范围等形成的嵌套循环的结果执行一个函数,你会这样写: def foo(x, y)
当某些假设无效时,MSTest 是否有办法不运行测试?就像 JUnit 的“Assume.*”方法一样: //Setup Assume.assumeEquals(2, count); //Only r
为什么会出现这个警告?如果我检查边界,这并不是一个真正的假设。以及如何修复? 如果num_actions_to_skip设置为 1,而不是 2,错误消失。 谢谢 error: assuming sig
书理解和使用 C 指针 , by Richard Reese 说: The null concept is an abstraction supported by the null pointer c
所以我有两个假设,一个是 h : A -> B,另一个是 h2 : A。如何让 h3 : B 出现在我的假设中? 最佳答案 pose proof (h h2) as h3. 引入h3 : B作为新假设
我知道发生冲突的可能性很小,但如果我生成了一批 1000 个 GUID(例如),是否可以安全地假设它们都是唯一的以节省对每个 GUID 的测试? 奖励问题 测试 GUID 唯一性的最佳方法是什么?也许
这个问题已经有答案了: Jackson JSON: get node name from json-tree (5 个回答) 已关闭 7 年前。 我正在尝试迭代 JsonNode 树,并且我编写了以下
我无法弄清楚如何在 Sympy 中假设复数的正实部。Mathematica 代码示例: a = InverseFourierTransform[ R/(I omega - lambda) + Con
这个问题在这里已经有了答案: 关闭 14 年前。 重复: Do web sites really need to cater for browsers that don’t have Javascr
我使用hypothesis 已经有一段时间了。我想知道如何重用 @given parts。 我有一些大约 20 行,我将整个 @given 部分复制到几个测试用例之上。 一个简单的测试例子 @give
您好,我的 C++ 代码中有一个错误。我有 2 个 .cpp 文件和 1 个 .h 文件,我试图从头文件访问 5 个字符串和 1 个 int,但我收到一条错误消息,提示“缺少显式类型(假设为‘int’
我正在尝试使用 IAR 开发一个项目。这是错误消息:错误 [Pe260]:缺少显式类型(假定为“int”) 问候。 当我尝试:void send_data_byte(unsigned char dat
我正在处理一个数组,我想在其中添加它的一些值。在某些时候,为了仅通过一次计算即可完成此操作,它会要求数组外的索引。 有没有办法说,“如果索引在数组之外,则假定值为 0”? 有点像这样:
在 Python 2 中,我想评估一个包含文字表示的字符串。我想安全地执行此操作,所以我不想使用 eval()——相反,我已经习惯了使用 ast.literal_eval()的任务。 但是,我还想在纯
我正在对时间进行大量计算,通过添加秒数来构建相对于其他时间对象的时间对象。该代码应该在嵌入式设备和服务器上运行。大多数文档都说 time_t 是某种算术类型,通常存储自纪元以来的时间。假设 time_
我正在编写一个程序,其中大多数使用的库函数返回-1 并设置错误号。程序的行为是在发生错误时退出。要从程序外部确定确切的退出点和错误(例如使用 gdb),我想使用以下方法: err = func_1(.
这是我今天考试的一道题: 在 C 中,假设指针是严格类型化的(即,指向 int 的指针不能用于指向 char)。这会降低它的表达能力吗?如果不是,您为什么以及如何补偿此限制?如果是,如何?您还需要添加
我将星期几存储在数据库中,其中星期日 = 1,星期一 = 2 等。 在数据库查询中,我需要将日期转换为 System.DayOfWeek。 根据 MSDN : The value of the con
我是一名优秀的程序员,十分优秀!