vector<int> vec(10000); int size = 0, tmp = 0; while(cin >> tmp) { vec[size++] = tmp; if (getchar() == '\n&(392)#39;) break; } vec.resize(size);