Shouldn't the last (optional) argument be (1) const and (2) a reference (rather than a potentially very expensive copying call-by-value)? Among other things, if you have a type declared with alignment attributes, it will fail on this. I notice the MSVC implementation has (1) but not (2). I can't see any code that would depend on the value being copied.