А>Автора удивила разница в поведении для non-POD типов, и я с ним согласен. Согласно стандарту, ее быть не должно. Поправьте меня, если это не так.
Я предлагаю все не усложнять. В версии стандарта, о которой говорит автор, нет понятия value-initialization.В стандарте 2003 года, текст другой, я привел отрывки из него.
Of course, the code must be complete enough to compile and link.