Question

我正在阅读本教程：

http://www.learncpp.com/cpp-tutorial/144-expression-parameters-and-template-specialization/

并且提到了However, template type parameters are not the only type of template parameters available. Template classes **(not template functions)** can make use of another kind of template parameter known as an expression parameter.

所以我写了一个程序：

#include <iostream>

using namespace std;

    template<typename T,int n>
    bool Compare(T t,const char* c)
    {
    if (n != 1)
    {
     cout << "Exit Failure" << endl;
     exit(EXIT_FAILURE);
     }

    bool result=false;
    cout << c << endl;
    cout << t << endl;
    cout << t.compare(c) << endl;
    if(t.compare(c) == 0)
    result = true;

    return result;
    }




int main()
{
    string name="Michael";

    if (Compare<string,1>(name,"Sam"))
    cout << "It is Sam" << endl;
    else
    cout << "This is not Sam" << endl;
    return 0;
    }

获得输出：

$ ./ExpressionParameter
Sam
Michael
-1
This is not Sam

显然，此处模板参数将int n作为expression parameter。所以教程Template classes (not template functions) can make use of another kind of template parameter known as an expression parameter.中提到的观点似乎不正确。

进一步阅读

Non-type template parameters

也有同样的建议。

所以我理解的是：无论是函数模板还是类模板，模板参数都可以是template type parameter i.e. typename或expression parameter。唯一的限制是，对于表达式参数 - 它必须是constant integral expression。编译器不区分它是function还是class。

我的理解是否正确？

Answer 1

是的，您似乎正确理解了这一点。

这样做的一个用例是编写通用代码，但仍然可以获得编译时常量的好处（例如更好的编译器优化）。

一个例子是std::array，它为其长度采用了这样的模板size_t参数。另一个示例是std::enable_if，它使用bool。

模板参数的类型（对于功能模板）：C ++

1 个答案: