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

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

lpd>>Вместо шаблонов почти всегда достаточно использовать полиморфизм, как уже упоминал Qbit86.

S>Интересно было бы посмотреть на type-safe union без шаблонов на полиморфизме.

В 98% случаев абсолютно все равно, сколько структура занимает памяти — сейчас не 1Mb памяти на все, и многие вообще пишут на Java.
В твоем примере можно просто reply_success_t и reply_failure_t унаследовать от reply_t, и этого достаточно для реализации любой логики. Либо result_success_t и result_failure_t унаследовать от result_t. В крайнем случае использовать union для полей, но только если это действительно необходимо.