带有字符 *、无符号字符 * 和已签名字符 * 的别名

Question

char*（和限定变体）可以别名任何内容。有符号char*和无符号char*（及其限定变体）是否不受此限制？

换句话说，我已经了解到，如果我不希望char*函数参数别名其他类型的指针参数（因为它们可以别名它们），那么将 restrict 应用于 char* 函数参数是一个好主意：

int func(struct foo *f, char * restrict s /*different object*/);

我可以像这样删除有符号和无符号char变体的限制关键字吗？

int sfunc(struct foo *f, signed char *s /*different object*/);
int ufunc(struct foo *f, unsigned char *s /*different object*/);

同样，指向同一类型的有符号和无符号变体的指针是否可以相互别名？换句话说，如果我期望一个指向int的指针和一个指向unsigned的指针，并且它们应该指向不同的对象，那么int*和unsigned*参数是否都应该是 -限定的？

/* i and u should be different */
int uifunc(int * /*restrict?*/ i, unsigned * /*restrict?*/ u); 

Answer 1

规则是（C11 6.5/7）：

对象的存储值只能由具有以下类型之一的左值表达式访问:

< li >与对象的有效类型兼容的类型， < li >与对象的有效类型兼容的类型的限定版本， < li >与对象的有效类型对应的有符号或无符号类型， < li >一种类型，它是与对象的有效类型的合格版本相对应的有符号或无符号类型， < li >成员中包含上述类型之一的聚合或联合类型(递归地包括子聚合或包含联合的成员)，或者 < li >一种字符类型。

字符、有符号字符和无符号字符都是字符类型（参考：6.2.5/15）。前面的项目符号还回答了您关于有符号和无符号类型的问题。

请记住，固定宽度类型是typedef，它可能引用各种其他类型，所以要小心。