ок.. вернемся взад: с какой проблемой мы столкнулись, решив переопределять шаблонные методы, но этого делать низя, потому мы переопределили сериализаторы?
честногря, я даже не знаю с какой целью интересуюсь, потому что башка и так на работе забилась, а ее еще туда чтото пропихиваю.. может, думаю, клин клином..

вообще вопрос был изначально про "почему нельзя переопределять шаблонные методы в классах"
ответ: потому что это влечёт за собой лавинообразное раздувание бинарника

зачем может быть нужно переопределять шаблонный метод? например в задаче где хочется подменять поведение шаблонного метода в runtime

ааа, теперь вроде доперло

Без ООП это делается через duck typing и избегание диспетчеризации в рантайме. Она нужна в крайне редких случаях.

в любом случае ducktype тоже оперирует объектами

а как избежать диспечеризации в рт при подмене проведения в рт я не пойму

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

Теоретически они могли бы эти данные возвращать, а код уже сам их мог решить как сериализировать

можно уйти от ООП в виде классов и интерфейсов и прийти к кастрированному ООП на структурах и делегатах

для этого 'коду' нужно знать тип

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

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

это логично

можно только типы наружу выдернуть и снаружи инстацировать

что делать не хочется

некоторые языки позволяют вроде

которые jit

итак, у нас есть объект, который формирует структуру данных {BeginScope, IntValue, StringValue, EndScope}
1. этот объект получает ISerializator { beginScope... } и сам дерагает его методы.
тогда все сериализаторы наследуются от этого интерфейса
2. любой независимый сериализатор может опрашивать Формирователь (знает его АПИ) и пихать данные как хочет. сериализаторы ваще не связаны какими либо зависимостями или интерфейсами

храниться некий jit, а он уже в рт приводится к типу

ну да