Из того, что я понимаю, если у вас есть, например,std::vector иstd::vectorКомпилятор создает два класса, по одному для каждого типа. Таким образом, хотя вы уменьшаете объем написанного кода, вы не уменьшаете размер исполняемого файла (поправьте меня, если ям неправильно).

Верно ли то же самое, даже если тип является указателем? Например, был бы экземплярstd::vector иstd::vector обязательно заставить компилятор генерировать отдельный код для каждого из двух экземпляров?