Почему массивы не lvalues?

Question

Я понимаю, что стандарт C запрещает использование массивов в качестве (изменяемая) lvalues, то есть на левой стороне присваивания:

int lhs[4], rhs[4] = {0, 1, 2, 3}; 
lhs = rhs; /* illegal! */ 

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

memcpy((void *) lhs, (void *) rhs, sizeof(lhs)); 

и налагая бремя обеспечения, что rhs достаточно большой для пользователя, но это не было принято решение в этом должно быть так.

Однако, очень похожий пример делает работы прекрасно:

struct { int a[4]; } lhs, rhs = {{0, 1, 2, 3, 4}}; 
lhs = rhs; 

Просто обертывание массива в структуре, можно получить именно поведение, описанное выше, то есть присвоение lhs = rhs эквивалентно до:

memcpy((void *) &lhs, (void *) &rhs, sizeof(lhs)); 

В чем причина этого (как мне кажется) непоследовательности? Есть ли проблема с разрешающими назначениями массива, которые интерпретируются как memcpy?

Answer 1

C должен быть языком низкого уровня, а не скрывать потенциальную память или трудоемкие задачи за простым синтаксисом. Один оператор генерирует одну инструкцию сборки; для более сложных вещей вызовите функцию. В начале C вы также не могли назначать структуры или передавать их между функциями (вы должны передать указатель).

РЕДАКТИРОВАТЬ:

на структуру одно значение. Его размер статичен и известен во время компиляции. Массив - это несколько значений, и большинство массивов динамически распределяются/перераспределяются. Их размер неизвестен во время компиляции, поэтому компилятор не будет знать, сколько памяти выделять и копировать.

int *a, *b; 
a = malloc(/* value based on e.g. user input */); 
b = a; /* compile this into what? */ 

Для того, чтобы работать, C будет иметь внутренне хранить размер на массив вместе с указателем или вместе с данными указал. Это решение было оставлено программисту.