Kā izskatīsies galīgais šablona funkcijas kompilētais kods, kad tā tiek izsaukta ar dažādu tipu argumentiem?

Kompilējot C++ šablona funkciju katram unikālam argumentu tipu komplektam, kompilators ģenerē atsevišķu funkcijas versiju (šablons tiek instanciēts). Tas nozīmē, ka, ja jums ir šablons:

template<typename T>
T add(T a, T b) {
    return a + b;
}

un jūs izsauc add(1, 2) un add(1.5, 2.5), kompilators izveidos divas atsevišķas funkcijas:

int add(int a, int b) { return a + b; }
double add(double a, double b) { return a + b; }

Tādējādi galīgais kompilētais kods satur konkrētas funkcijas versijas katram tipam, ar kuru tā tika izsaukta. Tas ļauj izmantot šablonus kā vispārējas funkcijas bez veiktspējas zuduma, jo izsaukumi tiek samazināti līdz parastām funkcijām ar konkrētiem tipiem.