const与constexpr

const可以用来修饰基本数据类型的变量，此时变量不能修改。const变量并不保证值在编译期可见，它只是限制了修改权限，初始化的时机可以是编译期也可以是运行时。

const int a = 10;
a = 20
/*
 error: assignment of read-only variable ‘a’
 a = 20;
*/

const用来修饰指针时，可以分为指针常量，常量指针，常量指针和常量内容三种

int a = 10;
int b = 20;
// 指针常量  指针指向的内容是常量，但是指针可以指向别的变量
const int* ptr = &a;
ptr = &b;
*ptr = 30;
/*
error: assignment of read-only location ‘* ptr’
*ptr = 30;
*/


// 常量指针 指针本身是常量，可以通过指针修改指向的内容，不能修改指向的地址
int* const ptr = &a;
*ptr = 30;
ptr = &b;
/*
error: assignment of read-only variable ‘ptr’
ptr = &b;
*/


// 常量指针和常量内容
const int* const ptr = &a;
*ptr = 30;
ptr = &b;
/*
error: assignment of read-only variable ‘ptr’
   ptr = &b;

error: assignment of read-only location ‘*(const int*)ptr’
  *ptr = 30;
*/

const修饰引用时，引用的对象不能通过这个引用修改

int a = 10;
const int& ref = a;
ref = 50;
a = 50;
/*
 error: assignment of read-only reference ‘ref’
  ref = 50;
*/

const修饰类成员函数

class MyClass {
    public:
        int x;
        void setX(int val) const { 
            x = val;  // 错误: const 函数不能修改成员变量
        }
    };
/*
error: assignment of member ‘MyClass::x’ in read-only object
 x = val;  // 错误: const 函数不能修改成员变量
 */
//如果需要对类的某个成员进行修改，需要在前面使用multable修饰
    mutable int x; 

constexpr必须要编译时初始化，在编译期可知

#include <iostream>
using namespace std;

struct Point {
    int x, y;
    constexpr Point(int a, int b) : x(a), y(b) { x += b; }
};

int main_with_constexpr() {
    constexpr Point p(1, 2);
    int arr[p.x]; 
    return sizeof(arr) / sizeof(arr[0]);
}

int main_without_constexpr() {
    Point p(1, 2);
    int arr2[p.x]; 
    return sizeof(arr2) / sizeof(arr2[0]);
}

int main() {
    cout << main_with_constexpr() << endl;
    cout << main_without_constexpr() << endl;
    return 0;
}
// 在不使用编译器优化的情况下，进行汇编时会报错，（不报错是因为使用VLA编译优化）
/*
warning: ISO C++ forbids variable length array ‘arr2’ [-Wvla]
int arr2[p.x];
*/

const 和 constexpr 的区别

• 简单总结：const 是“只读”的保证，constexpr 是“编译期可计算”的保证。所有 constexpr 变量都是 const 的，但反之不成立。