Was bedeutet ein konstanter Zeiger-zu-Zeiger in C und in C++?

Ich kenne die Faustregel, Erklärungen von rechts nach links zu lesen, und ich war mir ziemlich sicher, dass ich wusste, was vor sich ging, bis mir ein Kollege sagte:

const MyStructure** ppMyStruct;

bedeutet “ppMyStruct ist ein Zeiger auf einen konstanten Zeiger auf eine (veränderliche) MyStructure” (in C++).

Ich hätte gedacht, es bedeutet “ppMyStruct is ein Zeiger auf einen Zeiger auf eine const MyStructure“. Ich habe in der C++-Spezifikation nach einer Antwort gesucht, aber anscheinend bin ich nicht sehr gut darin …

Was bedeutet in in C++ und bedeutet es dasselbe in C?

Dein Kollege liegt falsch. Das ist ein (nicht konstanter) Zeiger auf einen (nicht konstanten) Zeiger auf eine konstante MyStructure. Sowohl in C als auch in C++.

In solchen Fällen kann das Tool cdecl (oder c++decl) hilfreich sein:

     [flolo@titan ~]$ cdecl explain "const struct s** ppMyStruct"
     declare ppMyStruct as pointer to pointer to const struct s

Du hattest Recht mit deiner Interpretation. Hier ist eine andere Möglichkeit, es zu betrachten:

const MyStructure *      *ppMyStruct;        // ptr --> ptr --> const MyStructure
      MyStructure *const *ppMyStruct;        // ptr --> const ptr --> MyStructure
      MyStructure *      *const ppMyStruct;  // const ptr --> ptr --> MyStructure

Dies sind alle Alternativen eines Pointer-to-Pointer mit einem konstanten Qualifizierer. Die Rechts-nach-Links-Regel kann verwendet werden, um die Deklarationen zu entschlüsseln (zumindest in C++; ich bin kein C-Experte).

Ihr Kollege liegt falsch, und es ist dasselbe für C und C++. Versuche Folgendes:

typedef struct foo_t {
    int i;
} foo_t;

int main()
{
    foo_t f = {123};
    const foo_t *p = &f;
    const foo_t **pp = &p;
    printf("f.i = %d\n", (*pp)->i);
    (*pp)->i = 888; // error
    p->i = 999;     // error
}

Visual C++ 2008 gibt die folgenden Fehler für die letzten beiden Zeilen aus:

error C2166: l-value specifies const object
error C2166: l-value specifies const object

GCC4 sagt:

error: assignment of read-only location '**pp'
error: assignment of read-only location '*p'

G++4 sagt:

error: assignment of data-member 'foo_t::i' in read-only structure
error: assignment of data-member 'foo_t::i' in read-only structure

Du sind richtig.

Eine andere Antwort wies bereits auf die “Spiralregel im Uhrzeigersinn“. Das hat mir sehr gut gefallen – wenn auch etwas aufwendig.

Setzen Sie als Folge der anderen Kommentare nicht “const” an die erste Stelle. Es gehört wirklich nach dem Typ. Das hätte die Bedeutung sofort verdeutlicht, einfach wie gewohnt bei RTL lesen:

MyStructure const** ppMyStruct;

void Foo( int       *       ptr,
          int const *       ptrToConst,
          int       * const constPtr,
          int const * const constPtrToConst )
{
    *ptr = 0; // OK: modifies the pointee
    ptr  = 0; // OK: modifies the pointer

    *ptrToConst = 0; // Error! Cannot modify the pointee
    ptrToConst  = 0; // OK: modifies the pointer

    *constPtr = 0; // OK: modifies the pointee
    constPtr  = 0; // Error! Cannot modify the pointer

    *constPtrToConst = 0; // Error! Cannot modify the pointee
    constPtrToConst  = 0; // Error! Cannot modify the pointer
}