char *、unsigned char *およびsigned char *のエイリアシングは、任意のエイリアスになります。

Question

char * signed char *とunsigned char *（および修飾子孫） はこれを免除されていますか？言い換えれば

、私は他のタイプの別名ポインタパラメータにそれらを期待していない場合は（彼らはそれらを別名可能性があるため）、それはrestrictchar*に関数の引数を適用することをお勧めします学んだ：

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

signed charとunsigned charのバリアントのrestrictキーワードを削除できますか？また

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

よい 別名互いに同じ種類の符号付きおよび符号なしの変異体へのポインタ？言い換えれば、intへのポインタと符号なしへのポインタを期待して、別のオブジェクトを指す必要がある場合は、とunsigned *のパラメータはそれぞれrestrict -qualifiedですか？

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

Answer 1

ルールは、（C11 6.5/7）である：

オブジェクトのみが、以下のタイプの1つを有する左辺値表現によってアクセスその格納された値でなければならない：

• を
• オブジェクトの有効なタイプと互換性のあるタイプの修飾バージョン
• オブジェクトの有効なタイプに対応する符号付きまたは符号なしタイプのタイプ
• オブジェクトの有効なタイプの修飾バージョンに対応する符号付きまたは符号なしタイプのタイプ
• 集合体または（再帰的に、副集合体または包含集合体のメンバを含む）、または
• の文字型のいずれかを含む集合型である。

char、signed charとunsigned charは、すべての文字の種類（：6.2.5/15参照）です。以前の箇条書きは、署名付きと署名なしの型に関する質問にも答えています。

固定幅の型はさまざまな型を参照するtypedefですので、そこに注意してください。