Здравствуйте, Zhendos, Вы писали:

Z>Так идея в том чтобы storage тоже имел "forward declaration" наряду с blob.

Z>https://stackoverflow.com/questions/951234/forward-declaration-of-nested-types-classes-in-c

Это не идея, а непонимание. Полный тип в C++ это его имя и описание его структуры. А "forward declaration" объявляет лишь имя типа (incomplete type) структура которого сейчас неизвестна и поэтому получить доступ к структуре (storage::blob) incomplete type через его имя невозможно. Тут всё логично и никакой "дыры" в языке нет. Можно ввести в язык расширяемые классы, ну как namespace может расширяться в разных единицах трансляции новыми declaration/definition. Этакая альтернатива наследованию, но к чему это может привести прогнозировать сложно.