在 C 中强制执行强类型检查（typedef 的类型严格性）-c-IT问答社区-解决你的IT疑问

在 C 中强制执行强类型检查（typedef 的类型严格性）

user3607022 1月前

有没有办法强制对相同类型的 typedef 进行显式转换？我必须处理 utf8，有时我会对字符数和字节数的索引感到困惑。所以这很好...

有没有办法强制对相同类型的 typedef 进行显式转换？我必须处理 utf8，有时我会对字符数和字节数的索引感到困惑。所以最好有一些 typedef：

typedef unsigned int char_idx_t;
typedef unsigned int byte_idx_t;

另外，您还需要在它们之间进行显式转换：

char_idx_t a = 0;
byte_idx_t b;

b = a; // compile warning
b = (byte_idx_t) a; // ok

我知道 C 中不存在这样的功能，但也许你知道一个技巧或一个编译器扩展（最好是 gcc）可以做到这一点。

编辑我仍然不太喜欢匈牙利表示法。由于项目编码约定，我无法将其用于这个问题，但我现在在另一个类似的情况下使用它，其中类型相同，含义非常相似。而且我必须承认：它很有帮助。我永远不会去用 \'i\' 开头声明每个整数，但正如 Joel 的重叠类型示例一样，它可以救命。

帖子版权声明 1、本帖标题：在 C 中强制执行强类型检查（typedef 的类型严格性）
本站网址：http://xjnalaquan.com/
2、本网站的资源部分来源于网络，如有侵权，请联系站长进行删除处理。
3、会员发帖仅代表会员个人观点，并不代表本站赞同其观点和对其真实性负责。
4、本站一律禁止以任何方式发布或转载任何违法的相关信息，访客发现请向站长举报
5、站长邮箱：yeweds@126.com 除非注明，本帖由user3607022在本站《c》版块原创发布，转载请注明出处！

最新回复 (0)

最新倒序只看楼主

Lu Zoey 1月前 0 取消查看

引用 3楼
对于“句柄”类型（不透明指针），Microsoft 使用声明结构然后 typedef 指向该结构的指针的技巧：
```
#define DECLARE_HANDLE(name) struct name##__ { int unused; }; \
                             typedef struct name##__ *name
```
然后而不是
```
typedef void* FOOHANDLE;
typedef void* BARHANDLE;
```
他们确实：
```
DECLARE_HANDLE(FOOHANDLE);
DECLARE_HANDLE(BARHANDLE);
```
现在，这个可以工作了：
```
FOOHANDLE make_foo();
BARHANDLE make_bar();
void do_bar(BARHANDLE);

FOOHANDLE foo = make_foo();  /* ok */
BARHANDLE bar = foo;         /* won't work! */
do_bar(foo);                 /* won't work! */   
```