Quote Originally Posted by JohnW@Wessex View Post
Is that guaranteed ? Aren't you only allowed to assume that it will be 'size_type'?
"unsigned integer type" is pretty vague, nobody said it is exactly "unsigned int". unsigned integer type sounds perfectly fine to me.

At worst, I think you can assume that it is at least implicitly convertible to and from unsigned integer type.