Я о том, что если я работаю с конкретным типом объекта в котором в начале лежит vtable я вероятно потрачу место в cache line на его загрузку, хотя мне он сейчас не нужен.

Обычно класс делается виртуальным когда это таки нужно.

плюс удобство

Ну вот у меня есть класс. Он реализует одну виртуальную функцию. И в реализации используется 10 неполиморфных вызовов методов класса.

"виртуальный класс" не значит что все его методы обязаны быть виртуальными )

Именно. Но когда я делаю вызов невиртуальной функции у меня все равно под ногами будет путаться vtable (и потенциально съедать место в кеше), потому что он лежит прямо в классе.

ну rationale я понял

Про перенос в плюсы https://github.com/ldionne/dyno

Я уже говорил, что я этим не пользовался на практике в расте, но в rust book'е это не выглядело чем-то неудобным. На счет перформанса, как я изначально говорил, это сложно оценить. С точки зрения дизайна языка это позволяет легко расширять поведение любой 3rd party структуры.

Просто когда мы смотрим на трейты раста, нужно понимать, что они используются в том числе для рантайм полиморфизма в то время как концепты используются в compile time. Наверное, в большинстве случаев это не имеет значения, но помнить об этом стоит.

Трейты это по сути тайпклассы

Правда в хаскеле система типов помощнее

Но к концептам это не имеет отношения

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

Потому что тайпклассов в мейнстрима нет за пределами раста и скалы :)

Поэтому термин чужеродный

Я бы с радостью сослался на какую нибудь джаву, но там нет ни того ни другого

так может тогда давайте разговаривать (переходим к аналогиям) не на латыни?

А оно невыразимо тогда получится

Тайпклассы это хкт?

Это трейты + хкт да