结构到结构分配后的奇怪错误答案

【问题标题】：Weird error after struct-to-struct assignment结构到结构分配后的奇怪错误
【发布时间】：2013-02-15 09:25:14
【问题描述】：

我在我的程序中声明了以下类型和函数。

typedef char TYPE_name_type;
typedef char TYPE_name_category;
typedef struct {
   TYPE_name_category category;
   TYPE_name_type id;
} TYPE_cod_name;
typedef struct {
   TYPE_name_type name;
   TYPE_cod_name image;
} TYPE_beta_name;
typedef struct {
   TYPE_cod_name lefty;
   TYPE_cod_name righty;
} TYPE_codomain_pair;
typedef char TYPE_thread_ref;
typedef struct {
   TYPE_beta_name items[2];
   unsigned int length;
} TYPE_beta_env;
typedef struct {
   TYPE_thread_ref pid;
   TYPE_beta_env env;
} TYPE_thread_env;
typedef struct {
   TYPE_thread_env items[3];
   unsigned int length;
} TYPE_beta_type;

TYPE_beta_type FUNCTION_post_Reset
(TYPE_beta_type  V34,
 TYPE_thread_ref V35) {
  TYPE_beta_type result;
  TYPE_beta_type V78 = (TYPE__EMPTY_CONST_beta_type);
  TYPE_thread_env V79;
  TYPE_beta_type V79_cont;
  unsigned int V79_index;
  V79_cont = V34;
  V79_index = 0;
  V79 = V79_cont.items[0];
  if (V79_cont.length > 0) {
    while (1) {
      if (V79.pid == V35) {
         V78 = TYPE__OP_thread_env__CONCAT_OP__beta_type(V78, V79);
      }
      if(V79_index == (V79_cont.length - 1)) break;
      V79_index ++;
      V79 = V79_cont.items[V79_index];
      assert (V79.pid == V79_cont.items[V79_index].pid);
    }
  }
  return V78;
}

我注意到程序有时会在函数右侧的断言处停止在上一行的结构到结构分配之后。我尝试了几个版本的 gcc。它适用于 4.3.6、4.7.2 但总是失败与 4.6.3.

我正在使用内核 3.6.11 的 32 位 Fedora 16。

可能是由于 gcc 4.3.6 上的问题还是我忽略了什么？

【问题讨论】：

呃。所有东西的 TYPE_ 前缀是怎么回事？
另外，当您使用调试器单步执行代码时会发生什么？
代码很复杂，很难理解，但是你试过在调试器中运行吗？当断言失败时它会停止，你可以看到变量的状态等。
它是生成的代码，我使用 TYPE_ 前缀和丑陋的变量名来避免名称冲突。
不，我没有尝试调试它。我会去做的。感谢您的建议

标签： c gcc struct

【解决方案1】：

这是编程中最严重的错误之一：使用固定缓冲区大小。你几乎肯定迟早会遇到麻烦，因为需求会发生变化，而你固定的缓冲区大小是不够的。

这里的问题是项目的大小只有 3，我确信您会发现 V79_index 在断言失败时为 3。

Ps：我知道全世界都使用固定的缓冲区大小。但是全世界都曾经使用过goto。而且我认为两者都是有害的。

【讨论】：

当然，动态缓冲区很好，但有些应用程序无法避免固定缓冲区大小，例如不支持动态内存分配的嵌入式裸机应用程序。
@JimFell 是的，在编程方面没有一律例外。包括关于goto 和固定缓冲区大小的规则...不过，当您有选择时，请避免两者。