爲什麼我們使用非類型模板參數？

Question

我理解這個概念，但我不知道爲什麼我需要使用非類型模板參數？

Answer 1

有許多用例，那麼讓我們來看看一對夫婦的情況下，他們是不可缺少的，其中：

• 固定大小的數組或matrix類，例如見C++ 11 std::array或boost::array。

• 一種可能實現的std::begin爲陣列，或需要一個固定的尺寸爲C風格陣列的大小，例如任何的代碼：

返回的數組的大小：

template <typename T, unsigned int N> 
unsigned int size(T const (&)[N]) 
{ 
    return N; 
} 

它們在模板元編程中也非常有用。

Answer 2

在編譯時進行編程。考慮WikiPedia例如，

template <int N> 
struct Factorial { 
    enum { value = N * Factorial<N - 1>::value }; 
}; 

template <> 
struct Factorial<0> { 
    enum { value = 1 }; 
}; 

// Factorial<4>::value == 24 
// Factorial<0>::value == 1 
const int x = Factorial<4>::value; // == 24 
const int y = Factorial<0>::value; // == 1 

還有一堆的維基百科頁面上的其他例子。

編輯

正如在評論中提到的，上面的例子說明了什麼可以做而不是人們在現實項目用什麼。

Answer 3

一個真實世界的例子來自非類型模板參數與模板參數推導組合以推導數組的大小：

template <typename T, unsigned int N> 
void print_array(T const (&arr)[N])  // both T and N are deduced 
{ 
    std::cout << "["; 
    for (unsigned int i = 0; i != N; ++i) 
    { 
     if (i != 0) { std::cout << ", "; 
     std::cout << arr[i]; 
    } 
    std::cout << "]"; 
} 

int main() 
{ 
    double x[] = { 1.5, -7.125, 0, std::sin(0.5) }; 
    print_array(x); 
} 

Answer 4

非類型參數的另一個例子是：

template <int N> 
struct A 
{ 
    // Other fields. 
    int data[N]; 
}; 

這裏數據字段的長度被參數化。這個結構的不同實例可以有不同的數組長度。