Неконстантный указатель на элемент массива может использоваться для доступа ко всему массиву, что потребует от компилятора перезагрузки любых ранее выбранных элементов массива из памяти:
void use_value(int* a) {
a[1] = 2; // change array pointed to by a
}
void do_thing() {
int a[] = {1, 2, 3};
calculate(a[1]); // do something with this value (presumably a[1] will be stored in a register)
use_value(&a[0]);
calculate(a[1]); // the compiler must now reload a[1] from memory
}
Меня интересует, возникает ли эта проблема, если указатель меняется на ссылку:
void use_value(int& a) {
(&a)[1] = 2; // is this UB?
}
void do_thing() {
int a[] = {1, 2, 3};
calculate(a[1]); // do something with this value (presumably a[1] will be stored in a register)
use_value(a[0]);
calculate(a[1]); // must the compiler now reload a[1] from memory?
}
Подробнее здесь: https://stackoverflow.com/questions/793 ... tire-array
