const 指针到指针在 C 和 C++ 中意味着什么？

Question

我知道从右到左阅读声明的经验法则，并且我相当确定我知道发生了什么，直到一位同事告诉我：

const MyStructure** ppMyStruct;

意味着“ppMyStruct 是一个指向 const 指针的指针，该指针指向 (可变）MyStructure”（在 C++ 中）。

我本以为这意味着“ppMyStruct 是指向 const MyStructure 的指针”。 我在 C++ 规范中寻找答案，但显然我不太擅长...

in 在 C++ 中意味着什么，在 C 中意味着同样的事情吗？

Answer 1

你是对的。

另一个答案已经指出了“顺时针螺旋法则"。 我非常喜欢那个——不过有点复杂。

Answer 2

作为其他评论的推论，不要将“const”放在第一位。 它确实属于类型之后。 这会立即澄清其含义，只需像往常一样 RTL 阅读即可：

MyStructure const** ppMyStruct;

Answer 3

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
}

Answer 4

你的同事错了。 这是一个指向 const MyStructure 的（非常量）指针的（非常量）指针。 在 C 和 C++ 中。

Answer 5

在这种情况下，工具 cdecl（或 c++decl）可能会有所帮助：

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

Answer 6

你的解释是对的。 这是另一种看待它的方式：

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

这些都是带有一个 const 限定符的指针到指针的替代方案。 从右到左的规则可用于破译声明（至少在 C++ 中；我不是 C 专家）。

Answer 7

你的同事错了，对于C和C++来说也是一样的。 请尝试以下操作：

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 在最后两行给出以下错误：

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

GCC 4 说：

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

G++ 4 说：

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