Хранение данных не должно приводить к фрагментации.
Это снова что-то странное: если мы создаем экземпляры аллокаторов со своими функциями (их число определено), разве не нужно писать для их экземпляров аллокатор, чтобы при множестве типов уметь быстро убирать экземпляр под неиспользуемый тип и при этом избежать дыр?
Как сохранить тип value, если мы знаем, что она принимает все типы в Object, которые кастятся
(type) newvalue //newvalue имеет тип Object
есть порт, который принимает данные, причем тип данных должен быть задан еще при создании порта и не меняется, чтобы вызывать исключение при несоответствии.