>>>562 §23.2.4.2.2 void reserve(size_type n); 2 Effects: A directive that informs a vector of a planned change in size, so that it can manage the storage allocation accordingly. After reserve(), capacity() is greater or equal to the argument of reserve if reallocation happens; and equal to the previous value of capacity() otherwise. Reallocation happens at this point if and only if the current capacity is less than the argument of reserve(). 3 Complexity: It does not change the size of the sequence and takes at most linear time in the size of the sequence.
greater or qrual と書いてあるから等しいかもしくは大きいとなるので ぴったりのsize()になる保証はない。
