C中的结构和键入

Question

这篇文章是关于在两部分C代码中理解细节。 为什么还可以：

typedef struct _api_t api_t;

typedef void (*api_set) (api_t * api;
             int a;
  );

typedef int (*api_read) (api_t * api;
  );
  
struct _api_t
{
  api_set set;
  api_read read;
};

这不是

typedef struct _api_t
{
  api_set set;
  api_read read;
} 
api_t;

typedef void (*api_set) (api_t * api;
             int a;
  );

typedef int (*api_read) (api_t * api;
  );

错误：未知类型名称'api_set'，错误：未知类型名称'api_read'

Answer 1

这些记录

typedef void (*api_set) (api_t * api;
             int a;
  );

typedef int (*api_read) (api_t * api;
  );

是不正确的。编译器应发出错误消息。

看来您的意思是以下代码

typedef struct _api_t api_t;

typedef void (*api_set) (api_t * api, int a );

typedef int (*api_read) (api_t * api  );
  
struct _api_t
{
  api_set set;
  api_read read;
};

此代码是正确的，因为在此结构定义中，

struct _api_t
{
  api_set set;
  api_read read;
};

名称 api_set and api_read （定义为前面的typedef中的函数指针）已经定义用于结构定义。

至于第二个代码段中的结构定义，则尚未定义“ api_set api_set 和 api_read ”的名称 api_set

typedef struct _api_t
{
  api_set set;
  api_read read;
} 
api_t;

未定义。

Answer 2

关于半分离符作为函数参数的分离器：

typedef void (*api_set) (api_t * api; int a;);

此意外“起作用”，因为有gcc扩展名允许正向声明的函数参数。
如果您以“ pedantic”模式运行汇编，那么您将看到警告：

warning: ISO C forbids forward parameter declarations [-Wpedantic]

参数的正向声明可用于将可变长度数组（VLAA）作为参数的函数有用，因为它允许传递数组size 的参数在之后，数组的参数。

• 没有

void foo(int n, int arr[static n]);

// calling example
int A[3];
foo(3, A);

• 带有正向声明的

void foo(int n; int arr[static n], int n);

// calling example
int A[3];
foo(A, 3);

前瞻性声明，就提出了即将到来的C23。参见

在您的代码中，两个参数 api and a a 是向前声明，尽管从未真正使用过。结果，这些远期声明被忽略，完整声明等同于：

typedef void (*api_set) ();

哪个指针指向未指定的参数数量和返回 void 。
可以使用任何数量的参数调用此功能，而不会引起编译器的警告。此外，这种类型是不完整的，因为它与返回的 void 的任何函数兼容，独立于所使用的参数数量和类型。

要解决问题，请使用，作为分离器：

typedef void (*api_set) (api_t *api, int a);

此外，请考虑为功能类型而不是功能指针创建别名。它通常会产生清晰的代码：

typedef struct _api_t api_t;

typedef void api_set_f (api_t *, int);
typedef int api_read_f (api_t *);
  
struct _api_t {
  // declare *pointer* to functions
  api_set_f* set;
  api_read_f* read;
};

在第二个示例中，结构 struct _api_t 包含类型 api_set 的成员，但是在解析的此阶段未定义此类型。