如何將值3傳遞給'x'以實例化模板函數'f'？

Question

編譯器如何將值3傳遞給非類型參數x？

#include <iostream> 

template <typename Type, size_t x> 
void f(Type (&a)[x]) 
{ 
    for (int i = 0; i < x; i++) 
    { 
     a[i] = i; 
     std::cout << a[i] << '\n'; 
    } 
} 

int main() 
{ 
    int v[3]; 
    f(v); 
} 

Answer 1

模板允許使用類型名稱和整數類型，如size_t。

對於整數類型，模板函數使用值（必須在編譯時已知）初始化，而不是類型。

編譯器知道函數f()預計Type (&a)[x]類型和檢查的說法，如果有的Type和x任何組合會爲你傳遞的參數v工作。

這個過程被稱爲模板類型扣除。