Leia Arrays são ponteiros?. Isso explica a exceção para este caso. Mudar o valor de um array estaticamente declarado violaria a definição de array.
Todos os outros casos você tem um endereço direto, então a variável (que é um lvalue) contém um valor. Você pode pegar um valor qualquer e atribuir para algo que já tem um valor (geralmente desde que tenha compatibilidade entre eles, mas essa compatibilidade é flexível).
Conforme já deve ter visto, um array acaba sendo um ponteiro para o real valor. Então se você atribuir um valor para ele, está atribuindo para o ponteiro (atualmente apontando para o primeiro elemento do array) ou para o valor real? É para o ponteiro, que pela definição da linguagem não é um lvalue. Veja a especificação:
Except when it is the operand of the sizeof operator, the _Alignof 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. If the array object has register storage class, the behavior is undefined.
Um ponteiro puro não seria alocado estaticamente, mas ao declarar você disse que ali teria algo estático. Isso não é compatível, a linguagem não pode aceitar.
E você nem poderia sonhar com copiar o valor de um array em outro porque nada garante que um objeto seria compatível com outro, e permitirá melar a memória ou deixar sujeira, tanto que todas as cópias de array precisam ser feitas manualmente ou através de funções prontas como memcpy()
ou equivalente, se essa cópia for possível (não pode estar em área protegida de escrita).
Então se arrays não decaíssem para ponteiros a atribuição que você queria fazer poderia ocorrer normalmente, porque seria só uma sequência de bytes com tamanho conhecido, assim como é a struct
(tem exceção) ou outros tipos escalares, sem contar com indireção, e por consequência ele seria um lvalue. O fato de ser o objeto de forma direta permite que o compilador saiba o que ele está atribuindo.
Isso não é uma característica do array em si, mas do endereço da memória, veja que a especificação mostra isso, e podemos exemplificar com algo que também não é válido:
int x = 1;
int *y = malloc(sizeof int);
&x = y;
Coloquei no GitHub para referência futura.
O que está fazendo aí? Está dizendo que x
que é um nome para um endereço da memória (já leu sobre isso no link acima) e que foi colocado o valor inteiro 1
. Depois você está dizendo que essa variável deve apontar para outro lugar da memória que é o que está definido em y
. Você não está trocando o valor do objeto, mas está trocando a variável. Você não quer e não pode fazer isso, a variável não foi declarada para ser modificada pelo código.
O único motivo que o array estaticamente declarado é impedido de fazer o que você propôs é que ele faz exatamente essa operação, mesmo que você não veja por causa do decaimento automático. Ele só "aparenta" ser modificável mas não é.
Você está tentando mudar o ponteiro natural da variável que não foi declarada explicitamente como sendo um ponteiro.
strcpy
existentes, nenhuma delas muito prática ou boa.