История изменений

Как вам в этом во всем поможет void*? Это ведь всего лишь указатель на хрен-знает-что. Я вам пример с потоками привел не просто так. Параметрический полиморфизм подразумевает своего рода создание фрейма стека с информацией о типах. Так сконструируйте его сами, не через один единственный вызов а несколько последовательных операторов. Тут вы сможете проверить типы того что пытаетесь передавать, и еще применить контракты. Хотя с контрактами в плюсах беда, лично мне их дико не хватает. Не то что бы их невозможно было реализовать но хотелось бы плюшек на уровне синтаксиса.

Как вам в этом во всем поможет void*? Это ведь всего лишь указатель на-хрен-знает-что. Я вам пример с потоками привел не просто так. Параметрический полиморфизм подразумевает своего рода создание фрейма стека с информацией о типах. Так сконструируйте его сами, не через один единственный вызов а несколько последовательных операторов. Тут вы сможете проверить типы того что пытаетесь передавать, и еще применить контракты. Хотя с контрактами в плюсах беда, лично мне их дико не хватает. Не то что бы их невозможно было реализовать но хотелось бы плюшек на уровне синтаксиса.