Сразу оговорюсь, вопрос чисто теоретический, без практического применения. 3 примера кода:
1)
std::string s = "abc";
char& c = s[0];
c = 'A'; // OK, s == "Abc"
2)
std::string s = "abc";
char& c = s[0];
s += "def";
c = 'A'; // Error: UB, s+="def" 'kill' c reference
3)
std::string s = "abc";
s.reserve(100);
char& c = s[0];
s += "def";
c = 'A'; // ??? OK (s == "Abcdef") or UB???
Цитата из Джосаттиса "Стандартная библиотека С++. Справочное руководство":
Для того, чтобы избежать ошибок ..., следует зарезервировать достаточную емкость до того, как будет инициализирована ссылка...
Собственно, вопрос, с точки зрения стандарта С++ 11 3-й пример кода корректен? (с точки зрения стиля - плохо, я понимаю).