получается ты в тип запекаешь сериализацию в конкретный формат?

да нет же

я ± так и сделал)

т.е. push (пихается в сериализитор. ООП) & poll (сериализатор сам забирает все необходимое. не надо ООП)

Не вижу проблемы. Всё будет известно в CT.

По-хорошему там вовсе не в размере бинарника дело.
Дело в том, как С++ и D реализуют шаблоны/генерики.
template is not a function.
Шаблонная функция это еще не настоящая функция, она сама по себе ни во что не компилируется, пока компилятор не увидит ее вызов с конкретным типом. Шаблонные типы подставляются статически при компиляции и потому фиксированы, это статический полиморфизм, а тут в задаче нужен динамический, рантайм полиморфизм. Он совсем другими механизмами достигается.

Что интересно, во многих других языках генерики сделаны иначе, и там обычно нет такой проблемы.

я так понял, Олег не хотел, чтобы каждый сериализатор сам бегал по любому объекту и раздувал неограниченно итоговый код

не не не, в D просто нельзя переопределить шаблонный метод, я обошёл эту проблему через сериализацию в так скажем набор токенов (на практике вызовы методов интерфейса)

можно по сути и в набор токенов напрямую перевести, но на другой стороне нужен будет разбор этих токенов

а так на другой стороне у меня интерфейс, который знает что писать когда вызывается конкретный метод

так это же хорошо, не?

ну да, просто ООП

ну то есть в типе шаблоном генерится то, какие методы вызывать у сериализатора?

Мы сейчас теоретическую проблему подмены функции рассматриваем или вполне конкретную задачу?

теоритеческую

ну теоретически нам надо компилятор таскать с собой и мы решим много проблем

то есть Jit/aot

Тогда вопросов нет

А в практическом плане можно было бы обойти...

https://github.com/deviator/datasink/blob/master/source/datasink/base.d#L109 в шаблонном методе, который нельзя перегрузить