Cのvoidポインターのポインター演算

特定の型へのポインタを（言うときint、char、float、...）がインクリメントされ、その値はそのデータ型のサイズだけ増加されます。voidサイズのデータ​​を指すポインターxがインクリメントされた場合、xバイト先をどのように指すのですか？コンパイラーxは、ポインターの値に追加することをどのようにして知っていますか？

最終的な結論：CとC ++の両方でaの算術void*は違法です。

GCCは、拡張機能として、それを可能にする、参照に算術演算をvoid-と機能-ポインタ（このセクションでは、マニュアルの「C拡張機能」の章の一部であることに注意してください）。ClangとICC void*は、GCCとの互換性を目的とした算術演算を可能にします。他のコンパイラ（MSVCなど）は、での演算をvoid*許可しません。-pedantic-errorsフラグが指定されている場合、またはフラグが指定されている場合、GCCはそれを許可しません-Werror-pointer-arith（このフラグは、コードベースもMSVCでコンパイルする必要がある場合に役立ちます）。

Cスタンダードが語る

引用はn1256ドラフトから取得されます。

加算操作の状態に関する規格の説明：

6.5.6-2：さらに、両方のオペランドが算術型であるか、一方のオペランドがオブジェクト型へのポインタであり、もう一方が整数型である必要があります。

したがって、ここでの問題はvoid*、「オブジェクト型」へのポインタであるかどうか、または同等にvoid「オブジェクト型」であるかどうかです。「オブジェクトタイプ」の定義は次のとおりです。

6.2.5.1：型は、オブジェクト型（オブジェクトを完全に記述する型）、関数型（関数を記述する型）、および不完全型（オブジェクトを記述するが、サイズを決定するために必要な情報がない型）に分割されます。

そして標準は次のvoidように定義しています：

6.2.5-19：voidタイプは空の値のセットで構成されます。完成できない不完全なタイプです。

voidは不完全なタイプなので、オブジェクトタイプではありません。したがって、これは加算演算の有効なオペランドではありません。

したがって、voidポインターに対してポインター演算を実行することはできません。

ノート

もともと、void*C標準の以下のセクションのために、算術演算が許可されていると考えられていました。

6.2.5-27：void へのポインターは、文字型へのポインターと同じ表現および配置要件を持たなければならない。

しかしながら、

同じ表現と配置の 要件は、関数への引数、関数からの戻り値、および共用体のメンバーとしての互換性を意味します。

この手段だから、printf("%s", x)かと同じ意味を持っているxタイプを持っているchar*かvoid*、それはあなたが上の算術演算を行うことができることを意味するものではありませんvoid*。

編集者注：この回答は、最終的な結論を反映するように編集されています。

ポインター演算はポインターでは許可されていませんvoid*。

それをcharポインタにキャストし、ポインタをxバイト先に進めます。

C標準では許可されていません、ボイドポインタ演算を。しかし、GNU Cはの大きさを考慮することによって許可されている無効です1。

C11標準§6.2.5

パラグラフ-19

voidタイプは、値の空のセットを含みます。それは不完全なオブジェクト型に完了することができません。

次のプログラムはGCCコンパイラで正常に動作しています。

#include<stdio.h>

int main()
{
    int arr[2] = {1, 2};
    void *ptr = &arr;
    ptr = ptr + sizeof(int);
    printf("%d\n", *(int *)ptr);
    return 0;
}

他のコンパイラがエラーを生成する可能性があります。

void *まさにこの理由から、型に対してポインタ演算を行うことはできません！

ポインタ演算を行う前に、別のタイプのポインタにキャストする必要があります。

Voidポインターは、任意のメモリチャンクを指すことができます。したがって、コンパイラは、ボイドポインターでポインター演算を試みたときに、インクリメント/デクリメントするバイト数を認識しません。したがって、voidポインターは、ポインター演算に関与する前に、既知の型に最初に型キャストする必要があります。

void *p = malloc(sizeof(char)*10);
p++; //compiler does how many where to pint the pointer after this increment operation

char * c = (char *)p;
c++;  // compiler will increment the c by 1, since size of char is 1 byte.

コンパイラーは型キャストによって認識します。与えられたvoid *x：

• x+1 に1バイトを追加します x、ポインタは移動しますx+1
• (int*)x+1 追加する sizeof(int)バイトを、ポインタバイトに移動しますx + sizeof(int)
• (float*)x+1 アドレス sizeof(float)バイトなど

最初の項目は移植可能ではなく、C / C ++のGalateoに違反していますが、それでもC言語で正しく、ほとんどのコンパイラでコンパイルされ、適切なフラグ（-Wpointer-arithなど）が必要になる可能性があります。