C++constexpr函数的参数问题

C++11标准引入了constexpr函数，这是一种在编译时就可进行计算的函数。constexpr函数的参数和返回值都必须是常量表达式。

但是，对于函数的参数类型限制较为严格，不同于普通函数，constexpr函数的参数必须是字面值类型（Literal Type）。字面值类型包括算术类型、枚举类型、指针类型和由字符类型组成的数组类型。

以下是一个示例代码，演示了如何创建constexpr函数及其参数类型的限制：

constexpr int factorial(int n) {
    if(n == 1) return 1;
    return n * factorial(n - 1);
}
 
int main() {
    static_assert(factorial(5) == 120, "factorial(5) must be equal to 120");
    // 编译错误，因为'c'不是一个字面值类型
    // static_assert(factorial('c') == 720, "factorial('c') must be equal to 720");
 
    return 0;
}

在该示例中，factorial函数定义了一个constexpr函数，并使用递归算法实现了阶乘运算。main函数中使用了static_assert来检查函数的正确性。注意到，对常量表达式的限制并不仅限于constexpr函数，static_assert的参数必须也是一个常量表达式。

需要注意的是，在C++14标准中，constexpr函数的参数类型限制得到了一定程度的放松，允许使用非字面值类型的参数，例如结构体和字符串字面量等。但是这些类型必须是“可转为字面值类型”的，即需要具有确定的初始化接口和可静态初始化。