void growVector() { CHECK (0 == Dummy::checksum()); { typedef typename Table<HO>::Type Vect; Vect table; table.reserve(2); CHECK (0 == Dummy::checksum()); cout << ".\n..install one element at index[0]\n"; table.push_back(HO()); CHECK (0 == Dummy::checksum()); create_contained_object (table[0]); // switches into "managed" state CHECK (0 < Dummy::checksum()); int theSum = Dummy::checksum(); cout << ".\n..*** resize table to 16 elements\n"; for (uint i=0; i<15; ++i) table.push_back(HO()); CHECK (theSum == Dummy::checksum()); } CHECK (0 == Dummy::checksum()); }