приращение указателя на массив

Question

Я пытаюсь понять, почему код, следующий C++ не компилирует

int main() { 
    int a[10]; 
    int (*p)[10] = &a; 
    int *q = static_cast<int *>(++p); 
} 

Если это не очевидно, что я пытаюсь сделать, это найти указатель на конец массива используя арифметику указателя.

Мое понимание до сих пор заключается в том, что p имеет указатель на массив из десяти целых чисел, а также выражение ++p. Обычно я могу назначить массив ints переменной типа указателя на int, но это не сработало указателем ++p.

Я сначала пробовал без static_cast, но это тоже не сработало.

Answer 1

p имеет тип указатель на массив из десяти целых чисел

Это правильно.

Обычно я могу присвоить массив целых чисел в переменной типа указатель в целое

Это тоже правильно. Кроме того, если вы сравниваете свои два утверждения, вы должны увидеть очевидную разницу: p не является массивом ints, это указатель на массив ints. Следовательно, разница.

Теперь, если вы разыменования, что указатель на массив, результат будет выражением, тип которого является массивом (грубо говоря), и что может быть распались к указателю:

int *q = static_cast<int *>(*++p);