Eu vou usar o rascunho mais recente N2176 (que encontrei aqui: http://www.iso-9899.info/wiki/The_Standard) da padronização de C para responder.
Na seção [6.7.6], uma das partes da sintaxe de um declarador é a declaração direta (ou direct-declarator), que é onde a sintaxe para a declaração de arranjos está. O que interessa-nos aqui é o declarador de arranjo (array declarator): dada uma declaração T D1
, se D1
estiver em uma das seguintes formas:
D [ type-qualifier-listopt assignment-expressionopt ]
D [ type-qualifier-listopt assignment-expression ]
D [ type-qualifier-list static assignment-expression ]
D [ type-qualifier-listopt ]
Então temos um declarador de arranjo. Perceba que os colchetes são usados apenas para indicar um declarador de arranjo, mais nada. Não há operação de subscrito1 ocorrendo aqui. Por exemplo, na declaração int a[8]
, a parte a[8]
é um declarador de arranjo, onde 8
é o tamanho do arranjo (ou quantidade de elementos).
Se não estivermos no contexto de declaração e encontrarmos uma expressão na forma I[N]
, onde I
já foi declarado como um arranjo (ou ponteiro) então certamente temos a operação de subscrito ocorrendo. Por exemplo:
int a[8]; // Declara `a` como um arranjo de 8 elementos de tipo `int`.
a[0]; // Acessa o primeiro elemento de `a`, retornando um valor do tipo `int`.
Finalmente, sobre sua última dúvida em relação a equivalência entre arranjos e ponteiros: arranjos podem decair para ponteiros. Elaborando: na declaração int a[8]
, o identificador a
foi declarado pra ter o tipo int[8]
. Entretanto, a expressão a
pode muito bem resultar em um valor cujo tipo é um ponteiro.
void foo(int *);
int main()
{
int a[8]; // Declara `a` tendo tipo `int[8]`.
foo(a); // O valor que a expressão `a` em si gera terá o
// tipo decaído para um `int *`.
}
Esse comportamento de decaimento é descrito na seção [6.3.2/3]:
Except when it is the operand of the sizeof operator, or the unary &
operator, or is a string literal used to initialize an array, an expression that has type "array of type" is converted to an expression with type "pointer to type" that points to the initial element of the array object and is not an lvalue. […]
1 Subscrito é o nome da operação de acesso a elementos de um arranjo.