如何在C中声明类似Ada的全新整数类型而非typedef别名？

C标准本身没有提供和Ada type a is new integer 完全对等的原生语法，不过可以通过结构体封装的方式实现完全等价的强类型隔离效果，避免typedef仅创建别名的问题。 #

核心实现逻辑 #

用仅包含单个整数成员的结构体定义新类型，C语言中不同名的结构体属于完全独立的类型，哪怕内部成员结构完全一致，编译器也会判定为不同类型，禁止隐式转换，刚好匹配Ada的强类型要求：

// 定义全新的独立整数类型a，底层存储为int
typedef struct {
    int val;
} a;

效果验证 #

这种定义下，a类型和普通int、其他同结构自定义整数类型完全不兼容，隐式混用会直接触发编译错误：

int standard_int = 100;
a custom_a = {200};

// 以下操作均会编译报错，符合强类型隔离要求
standard_int = custom_a;
custom_a = standard_int;

// 必须显式访问内部成员才能完成跨类型赋值
standard_int = custom_a.val;
custom_a.val = standard_int;

扩展优化 #

如果需要给自定义类型添加运算能力，可以封装对应的操作函数，比如加法实现：

a a_add(a op1, a op2) {
    return (a){op1.val + op2.val};
}

使用C11及以上版本标准时，还可以结合_Generic泛型宏实现类似运算符重载的效果，进一步简化使用体验。

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