Почему можно назначить значение полю структурного временного объекта?

Question

[Qubc]

Читаю Эккеля, запутался.

struct test {
	int i[10];
};

struct test foo(void) {
	struct test var;
	var.i[0] = 123;
	return var;
}

struct test const fooc(void) {
	struct test var;
	var.i[0] = 123;
	return var;
}

int main(){
	struct test A;

	A = foo();
	A = fooc();

	//! foo() = A; // понятно почему не ок в с и ок в с++ 
	//! fooc() = A;// понятно почему не ок в с и не ок в с++ 

	foo().i[0] = 1; // непонятно почему это ок в с и ок в с++
	fooc().i[0] = 1;// непонятно почему это ок в с
}

Comments

[res2001]

Тут еще замешалось что-то связанное с тем, что struct test.i - это массив. Если убрать массив из структуры и сделать просто int, например, то поведение изменится.

[Qubc]

res2001, хм, действительно, тогда все ожидаемо работает.

[A 82]

Код не вызовет ошибки и сделает пустую работу. При включении оптимизаций в компиляторе, код присвоения переменной вообще физически не создастся в итоговом экзешнике - он ни на что не влияет. Вообще в C++ можно писать много чего, что может ничего не делать, например (void)A; ничего не сделает с переменной A.