string s;
getline(cin, s);
s[s.size()] = "a";

这个算 UB 吗？

s += "a"; 肯定不算，但是不知道上面那个是不是 UB。很久之前用了上面的写法 RE 了。