Оптимизация — накладные расходы для «расширенного типа» структура в переполнении стека

Я хотел бы отслеживать то, что по сути является «типовой» информацией во время компиляции для нескольких функций, которые в настоящее время принимают аргументы того же типа. Вот пример; Скажи у меня две функции getThingIndex(uint64_t t) а также getThingAtIndex(uint64_t tidx), Первая функция обрабатывает аргумент как кодировку thing, выполняет нетривиальное вычисление индекса и возвращает его. Затем можно получить фактическую «вещь», позвонив getThingAtIndex, getThingAtIndexс другой стороны, предполагается, что вы запрашиваете структуру и уже имеете индекс. Последний из двух методов работает быстрее, но, что более важно, я хочу избежать головной боли, которая может возникнуть в результате передачи thing в getThingAtIndex или передавая index в getThingIndex,

Я думал о создании типов для thing и индекс вещей вроде как так:

struct Thing { uint64_t thing; }
struct ThingIndex { uint64_t idx; }

А затем изменить подписи функций выше, чтобы

getThingIndex(Thing t)
getThingAtIndex(ThingIndex idx)

Теперь, несмотря на то, что Thing а также ThingIndex закодировать то же самое
базовый тип, они тем не менее различаются во время компиляции, и я
меньше возможностей совершать глупые ошибки, передавая индекс
getThingIndex или вещь для getThingAtIndex,

Тем не менее, я обеспокоен накладными расходами этого подхода. Функции
называются много (от 10 до 100 миллионов) раз, и мне любопытно, если
компилятор оптимизирует создание этих структур, которые по существу
ничего не делать, кроме как кодировать информацию типа времени компиляции. Если компилятор не
выполнить такую ​​оптимизацию, есть ли способ создать эти типы «богатых типов» с нулевыми издержками?