在 C++ 中,const 和 constexpr 都可以用来修饰对象和函数。修饰对象时,const 表示它是常量,而 constexpr 表示它是一个常量表达式。常量表达式必须在编译时期被计算1。修饰函数时,const
只能用于非静态成员的函数,而 constexpr
可以用于含参和无参函数。constexpr
函数适用于常量表达式,只有在下面的情况下编译器才会接受 constexpr
函数:
- 函数体必须足够简单,除了
typedef
和静态元素,只允许有return
语句。如构造函数只能有初始化列表,typedef
和静态元素(实际上在 C++14 标准中已经允许定义语句存在于constexpr
函数体内了)。 - 参数和返回值必须是字面值类型。
常量表达式的概念如下:
- 必须是可以在编译阶段被识别的。比如模版的参数/数组的大小。
- 用
constexpr
修饰某物并不保证它一定在编译时被计算,也可以在运行时被计算。 - 不用
constexpr
也可能是一个常量表达式,如const int N = 3; int num [N] = {1,2,3,};
,N
在声明时初始化,满足常量表达式的标准,虽然没用constexpr
。
所以,到底什么时候用 constexpr
?像上面的 N
,虽然没有用 constexpr
仍然是一个常量表达式。事实上,const
本身和它的枚举类型若在声明时初始化那么就是一个常量表达式。在函数中若有常量表达式那么必须用 constexpr
,仅仅满足常量表达式的条件是不够的。
const
变量的初始化可以延迟到运行时,而constexpr
变量必须在编译时进行初始化。const
变量可以通过const_cast
类型转换来修改值,而constexpr
是不可以修改的。可以将const
理解为只读变量更符合其含义。const
只能用于非静态成员函数,而constexpr
可以和成员、非成员、构造函数一起使用。
int fun(int x) {
return x;
}
constexpr int ff(int x) {
return x;
}
int main()
{
int x = 10;
const int a = x;
constexpr int b = x; // 错误的 表达式 必须是常量
constexpr int c = fun(10); // 也是错误的
constexpr int d = ff(10); // 正确的
constexpr int d = ff(x); // 错误的
}
-
constexpr int b = x;
是错误的,因为x
不是常量表达式,而constexpr
变量必须在编译时求值为常量表达式。 -
constexpr int c = fun(10);
是错误的,因为fun(10)
返回的不是常量表达式。在constexpr
上下文中,函数的返回值必须是常量表达式。 -
constexpr int e = ff(x);
是错误的,因为x
不是常量表达式。
原文地址:https://blog.csdn.net/wniuniu_/article/details/134701087
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如若转载,请注明出处:http://www.7code.cn/show_#ID#.html
如若内容造成侵权/违法违规/事实不符,请联系代码007邮箱:suwngjj01@126.com进行投诉反馈,一经查实,立即删除!