非類型模板參數vs函數參數

Question

我寫了一個簡單的示例，該示例以某種方式可以編譯。

#include <iostream>
using namespace std;

template <int A>
void func()
{
    cout << 1 + A << endl;
    return;
}

int main()
{
    // I can not even use this strange func()
    int a = 1; func(a); // this does not compile
    func(1);            // this does not compile as well 
    return 0;
}

這個例子讓我很沮喪：

首先，我給模板提供了非類型模板參數，但沒有提供任何參數（在括號中）以實現自身功能。 看起來模板參數成為函數參數，但是為什么呢？

其次，即使它可以編譯，我也找不到使用此模板的方法，請參閱main注釋。

第三，存在具有整數類型的非類型模板參數的模板函數的原因是什么？ 與具有常規功能有什么不同？

Answer 1

int A不是函數參數，它是模板參數。 func不帶參數，您可以這樣實例化/調用它：

func<1>(); // compile-time constant needed

請查看C ++函數模板。 您不能以所需的方式使用模板參數。

另一方面，具有類型模板參數和一個功能參數：

template <typename A>
void func(A a)
{
    cout << 1 + a << endl;
}

將使您的程序有效。 也許這就是您想要的。

編輯：

根據您的要求，以下是此類非類型函數模板參數的用法：

template <size_t S>
void func(const int (&array)[S])
{
    cout << "size of the array is: " << S << endl;
}

或std::array版本：

template <size_t S>
void func(std::array<int, S> const& array)
{
    cout << "size of the array is: " << S << endl;
}

這里的S被推導為傳遞數組的大小。