为vector定义不变式，带着或者不带v == 0的可能性。