int a; char tmp; while（cin>>a>>tmp）｛     v.push_back（a）; ｝