能否将静态数组索引用于不透明结构体类型？

你的写法不可行，因为对于不透明结构体（typedef struct Set Set;仅声明类型、未定义大小），Set self[static 1]这种数组语法要求元素类型为完整类型——编译器需要知道Set的大小才能解析数组类型，而不透明结构体的大小未知，因此Clang会报“不完整数组类型”错误。

《Modern C》相关建议（第204页） #

Jens Gustedt在书中针对接收指针的函数，给出了不同场景的语法规范：

接收指针的函数应使用数组语法，并区分不同情况：

• 指向单个类型对象的指针——此类函数应使用static 1表示法，表明期望非空指针：

  void func(double a[static 1]);
  

• 指向已知数量对象集合的指针——此类函数应使用static N表示法，表明期望指针指向至少N个元素：

  void func(double a[static 7]);
  

• 指向未知数量对象集合的指针——此类函数应使用VLA表示法：

  void func(size_t n, double a[n]);
  

• 指向单个类型对象或空指针的指针——此类函数必须保证接收空指针时执行仍处于定义状态：

  void func(double *a);
  

编译器厂商才刚开始实现这些情况的检查，因此你的编译器可能尚未能检测此类错误。不过，明确写出这些规则有助于避免越界错误。

替代方案 #

对于不透明结构体的非空指针要求，你需要保留原函数声明void Set_Function(Set* self);，并在函数实现中手动检查空指针，示例如下：

#include "Set.h"
#include <assert.h>

void Set_Function(Set* self) {
    // Debug模式下触发断言，快速定位空指针问题
    assert(self != NULL);
    // 若需要运行时错误处理，可替换为：
    // if (!self) { /* 执行错误处理逻辑，如返回、设置错误码等 */ }
    
    // 函数核心逻辑...
}

同时，建议在函数注释中明确标注@param self 非空指针，指向Set实例，向开发者传递非空要求。

内容的提问来源于stack exchange，提问作者Biggs