Константная ссылка на структуру со ссылкой на член на неконстантную [дубликат] ⇐ C++

[Anonymous]

Следующий код действителен?

Код: Выделить всё

#include 

struct MyRef {
int &valueRef;
};

void modify(const MyRef &ref) {
ref.valueRef = 42;
}

int main() {
int x = 0;
const MyRef ref{x};
modify(ref);
assert(x == 42);
return 0;
}

Он компилируется и работает без видимых ошибок.
Насколько я понимаю, константная ссылка действует так, как если бы квалификатор const был применен ко всем членам структуры MyRef . И const не влияет на тип valueRef, поскольку это ссылка, и все ссылки являются «константными» в том смысле, что ее нельзя переназначить, чтобы указать на другой объект. Однако, как я обнаружил, int & const ref; является неправильно сформированным объявлением (dcl.ref/1), и поэтому, в свою очередь, доступ к valueRef через const MyRef & должен быть недействительным.

Подробнее здесь: https://stackoverflow.com/questions/792 ... -non-const