危険なキャストキャストの結果、const資格が失われる

Question

ISO C標準（6.3.16.1）によれば、「両方のオペランドが両方とも互換性のある型のポインターであり、左に指されている型は、右に指されている型のすべての修飾子を持っています。 私は静的解析ツールでその警告を受けましたが、実際の問題があるかどうかはわかりません。あなたは以下のコードで見ることができるように、そのポインタはそれのプロトタイプ

int main() 
{ 
    static volatile const signed int batu[5] = {1,2,3,4,5}; 
    unsigned int x = 5; 
    func(x, (signed int *) batu); 
} 

signed int func(unsigned int p1, volatile const signed int *p2) 
{ 
    return 0; 
} 

Answer 1

に「CONST」修飾子を持つ関数に渡されますので、あなたはちょうどあなたが関数への呼び出しで持って(signed int *)キャストを削除する必要があります。変数batuと関数で期待される引数p2は、同じ型（以下参照）の修飾子が含まれているので、キャストはまったく必要ありません。

配列タイプは、sizeofまたはユニキャスト&オペレータへの入力の場合を除いて、常に自動的に同等のポインタタイプに変換されます。 C標準6.3.2.1/3より。