访问struct成员就好像它们是单个数组一样?

我有两个结构,其值应该计算一个沉重的平均值,就像这个简化版本:

typedef struct { int v_move, v_read, v_suck, v_flush, v_nop, v_call; } values; typedef struct { int qtt_move, qtt_read, qtt_suck, qtd_flush, qtd_nop, qtt_call; } quantities; 

然后我用它们来计算:

 average = v_move*qtt_move + v_read*qtt_read + v_suck*qtt_suck + v_flush*qtd_flush + v_nop*qtd_nop + v_call*qtt_call; 

现在和他们一起我需要包含另一个变量。 现在,例如,我需要包含v_cleanqtt_clean 。 我无法将结构更改为数组:

 typedef struct { int v[6]; } values; typedef struct { int qtt[6]; } quantities; 

这将简化我的工作,但它们是需要变量名称清晰的API的一部分。

所以,我正在寻找一种方法来访问该结构的成员,可能使用sizeof() ,所以我可以将它们视为一个数组,但仍然保持API不可更改。 保证所有值都是int ,但我不能保证int的大小。

在我脑海中写下这个问题…… union做这个工作吗? 还有另一种聪明的方法可以自动化添加其他成员的任务吗?

谢谢,Beco

如果所有成员都保证为int类型,则可以使用指向int的指针并将其递增:

 int *value = &(values.v_move); int *quantity = &(quantities.qtt_move); int i; average = 0; // although it should work, a good practice many times IMHO is to add a null as the last member in struct and change the condition to quantity[i] != null. for (i = 0; i < sizeof(quantities) / sizeof(*quantity); i++) average += values[i] * quantity[i]; 

(因为结构中成员的顺序保证是声明的)

你要做的是不可能以任何优雅的方式做。 无法将连续的struct成员可靠地作为数组进行访问。 目前接受的答案是黑客,而不是解决方案。

正确的解决方案是切换到一个数组,无论它需要多少工作。 如果你使用枚举常量进行数组索引(在他现在删除的答案中建议使用@digEmAll),名称和代码将与你现在拥有的一样清晰。

如果您仍然不想或不能切换到数组,那么您尝试做的唯一或多或少可接受的方法是创建“索引数组”或“映射数组”(见下文)。 C ++有一个专门的语言function,可以帮助人们优雅地实现它 – 指向成员的指针。 在C中,您必须使用offsetof宏来模拟该C ++function

 static const size_t values_offsets[] = { offsetof(values, v_move), offsetof(values, v_read), offsetof(values, v_suck), /* and so on */ }; static const size_t quantities_offsets[] = { offsetof(quantities, qtt_move), offsetof(quantities, qtt_read), offsetof(quantities, qtt_suck), /* and so on */ }; 

如果现在你得到了

 values v; quantities q; 

和索引

 int i; 

你可以生成指向各个字段的指针

 int *pvalue = (int *) ((char *) &v + values_offsets[i]); int *pquantity = (int *) ((char *) &q + quantities_offsets[i]); *pvalue += *pquantity; 

当然,您现在可以以任何您想要的方式迭代i 。 这也远非优雅,但至少它具有一定程度的可靠性和有效性,而不是任何丑陋的黑客。 通过将重复的部分包装到适当命名的函数/宏中,可以使整个事物看起来更优雅。

在我脑海中写下这个问题……工会可以做这个工作吗? 还有另一种聪明的方法可以自动化添加其他成员的任务吗?

是的, union当然可以做到这一点:

 union { values v; /* As defined by OP */ int array[6]; } u; 

您可以在API中使用指向u.values的指针,并在代码中使用u.array

就个人而言,我认为所有其他答案都打破了最不惊讶的规则。 当我看到一个简单的结构定义时,我假设该结构将使用普通访问方法进行访问。 通过union ,很明显应用程序将以特殊方式访问它,这促使我特别注意代码。

这听起来好像这应该是一个数组,因为开始,使用访问器方法或宏使您仍然可以使用漂亮的名称,如移动,读取等。但是,正如您所提到的,由于API破坏,这是不可行的。

我想到的两个解决方案是:

  • 使用编译器特定的指令来确保您的结构被打包(因此,将它转换为数组是安全的)
  • 邪恶的宏黑魔法。

这个问题很常见,过去已经以多种方式解决了。 它们都不是完全安全或干净的。 这取决于您的具体应用。 以下是可能的解决方案列表:

1)您可以重新定义结构,使字段成为数组元素,并使用宏将每个特定元素映射为结构字段。 例如:

 struct values { varray[6]; }; #define v_read varray[1] 

这种方法的缺点是大多数调试器不理解宏。 另一个问题是理论上编译器可以为原始结构和重新定义的结构选择不同的对齐,因此不保证二进制兼容性。

2)依靠编译器的行为并将所有字段视为数组字段(oops,当我写这篇文章时,其他人写了同样的内容 – 给他+1)

3)创建一个静态的元素偏移数组(在启动时初始化)并使用它们“映射”元素。 它非常棘手,并不是那么快,但其优势在于它独立于结构中场的实际配置。 示例(不完整,仅供澄清):

 int positions[10]; position[0] = ((char *)(&((values*)NULL)->v_move)-(char *)NULL); position[1] = ((char *)(&((values*)NULL)->v_read)-(char *)NULL); //... values *v = ...; int vread; vread = *(int *)(((char *)v)+position[1]); 

好吧,一点也不简单。 在这种情况下,像“offsetof”这样的宏可能会有所帮助。

如果使用gcc,如何使用__attribute__((packed))

所以你可以将你的结构声明为:

 typedef struct { int v_move, v_read, v_suck, v_flush, v_nop, v_call; } __attribute__((packed)) values; typedef struct { int qtt_move, qtt_read, qtt_suck, qtd_flush, qtd_nop, qtt_call; } __attribute__((packed)) quantities; 

根据gcc手册,您的结构将使用尽可能少的内存来存储结构,省略通常可能存在的任何填充。 唯一的问题是确定平台上的sizeof(int) ,可以通过某些编译器宏或使用

还有一件事是,当需要访问结构并将其存储回内存时,解压缩和重新打包结构会有性能损失。 但至少可以肯定的是,布局是一致的,并且它可以像使用类似于你想要的指针类型的数组一样被访问(也就是说,你不必担心填充指针偏移量) )。

谢谢,

贾森