В языках C и C++ встроенный оператор []
всегда работает с указателями и только с указателями. (Не совсем верно, см. поправку ниже).
Когда вы применяете встроенный оператор []
к объекту типа "массив", этот объект сначала незримо преобразуется к типу "указатель" (указывающий на начало массива), а затем уже к этому указателю применяется оператор []
.
Например, когда вы пишете
int a[10];
a[5] = 42;
язык С на самом деле внутренне интерпретирует этот код как
int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
ptr[5] = 42;
а это, по определению оператора []
через операторы +
и *
, интерпретируется как
int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
*(ptr + 5) = 42;
В вашем случае оператор []
сразу применен к указателю, то есть никаких незримых преобразований просто не нужно. С этой точки зрения можно даже утверждать, что использование оператора []
является, в некотором смысле, более естественным, чем использование этого оператора с массивами.
С педантичной точки зрения, вышесказанное справедливо только для С. В С++ оператор []
сначала преобразуется в эквивалентную форму через операторы +
и *
, а только затем в контексте оператора +
происходит преобразование массива к указателю. То есть в С++ (в отличие от С) мой пример проинтерпретируется как
int a[10];
*(a + 5) = 42;
а это уже, в свою очередь, интерпретируется как
int a[10];
int *ptr = (int *) a; /* `ptr` указывает на начало `a` в памяти */
*(ptr + 5) = 42;
Конечный итог, как видите, один и тот же, но абстрактная семантика несколько отличается.
(Спасибо @Croessmah за комментарий.)