>>909
もうちょっと調べたら 8.5 [dcl.init] p7 にあった。
"An object that is value-initialized is deemed to be constructed ... even if no constructor
is invoked for the object’s initialization."

ってことで "Constructs ..." には　value-initialized が（ unsigned char なら 0 初期化が）
必要となるので、やっぱり何もしないconstructはAllocator requirementsに適合しないね。