История изменений

на самом деле это значит - «объявляется константный указатель на int». и потому ты не сможешь присвоить один массив другому автоматом, через выражение a = b. а будешь ручками копировать массив.

Какими ручками? В C++ есть std::copy, который применим для вообще всего.

  int a[4] { 1,2,3,4 };
  int b[4];

  std::copy(std::begin(a), std::end(a), std::begin(b));

Ответь мне лучше, что будет лежать на стеке при вызове вот такой функции?

int f(int sz, int a[restrict sz]) {
  ...
}

Указатель? Или таки массив?

на самом деле это значит - «объявляется константный указатель на int». и потому ты не сможешь присвоить один массив другому автоматом, через выражение a = b. а будешь ручками копировать массив.

Какими ручками? В C++ есть std::copy, который применим для вообще всего.

  int a[4] { 1,2,3,4 };
  int b[4];

  std::copy(std::begin(a), std::end(a), std::begin(b));