非类型模板参数 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中的我的cmets。

第三，模板函数存在非整型模板参数的原因是什么？它与具有常规功能有什么不同？

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这里推导出传入数组的大小。