是否可以使函数对于常量参数或变量参数的行为不同

Is it possible to make a function behave differently for constant argument or variable argument?

本文关键字：参数 变量 函数 可以使 于常量 常量 是否      更新时间：2023-10-16

例如，factorial（n），如果参数是一个常量（表达式），那么结果是确定性的，并且可以在编译时完成（通过使用模板元编程）。

是否可以只编写单个函数，以便无论何时调用它，如果参数是常量，那么结果将在编译时计算，如果它是一个变量，那么它将在运行时进行计算？

这正是constexpr函数存在的目的。 constexpr功能是在 C++11 中引入的。当使用可在编译时计算的常量表达式调用时，它们往往在编译时计算（有时您可以强制这样做）。但是，一般来说，不可能提供保证。否则，它们将在运行时计算（您可以像在运行时计算常量或非常量参数的常规函数一样调用它们）。

除了缺乏编译时计算的保证之外，constexpr函数还有约束：它必须只包含一个 return 语句，所以如果你正在寻找一种执行任何复杂计算的方法，这将不符合你的需求。尽管如此，constexpr函数可能是最接近您正在寻找的功能。

既然您提到了 factorial() 函数的示例，那么使用 constexpr 函数会如下所示：

#include <iostream>
using namespace std;
constexpr int factorial(int n)
{
    return (n == 0) ? 1 : factorial(n - 1);
}
int foo() 
{ 
    int result = 1;
    // do some processing...
    return result; 
}
int main()
{
    int v[factorial(5)]; // Evaluated at compile-time
    cout << factorial(foo()); // Evaluated at run-time
}
相关文章：