Given std::map<ID,struct>, efficient way to access std::vector<struct.member>?