1，字面值和只读变量

在C++中，常量包括字面值和只读变量：

int a=12345;
const int b=123;

这里，12345是字面值，a是变量，b是只读变量。

12345是常量，b是常量，a不是常量。

在C中，常量只包括字面值，只读变量不是常量。

上述代码在C语言的解读是，12345是常量，b不是常量。

C和C++中，定义数组的大小都只能用常量。

所以C++有2种定义数组的方法：

const int b=123;
int c[123];
int d[b];

这2中写法都是正确的。

但是在C语言中，上述d数组如果是全局变量就是非法的，如果是局部变量那就是可变长数组。

2，const

关键字const叫做限定符，因为它限定了声明的含义。

const变量是区分编译期常量和运行期常量的

const int b=123;
int d[b];

这是的b编译期常量

int f(int a)
{
    const int b=a;
    int d[b];
    cout<<sizeof(d)/sizeof(int);
    return 0;
}

这里的b是运行期常量，它的值在编译期是未知的，

所以数组d的定义理论上是非法的，但是我在本地实测，以及力扣实测，都是可以的，应该是编译器做了优化，把这个按照C语言的可变长数组的逻辑去编译了。

于是我在网上找到了另外一种代码，用array检测一个变量是不是常量：

#include<iostream>
#include <array>
using namespace std;

int main()
{
    int a;
    const int b=a;
    const int c=10;
    //array<int,b>arr;
    array<int,c>arr2;
    return 0;
}

用运行期常量给array对象分配空间是不行的，必须用编译期常量才行。

总之，const变量是区分编译期常量和运行期常量的，，而字面值当然都是编译期常量。

3，constexpr

先看如下代码：

#include<iostream>
#include <array>
using namespace std;

const int f(int a)
{
    return a*a;
}

int main()
{
    // array<int,f(5)>arr;
    return 0;
}

编译不过是因为，f(5)是运行期常量，而array需要的是编译期常量

把const换成constexpr之后：

#include<iostream>
#include <array>
using namespace std;

constexpr int f(int a)
{
    return a*a;
}

int main()
{
    array<int,f(5)>arr; //5是字面值
    int a=5;
    //array<int,f(a)>arr2; //a是变量
    const int b=5;
    array<int,f(b)>arr3; //b是编译期常量
    const int c=a;
    //array<int,f(c)>arr4; //c是运行期常量
    return 0;
}

这样，5和b是编译期常量，所以f(5)和f(b)是编译期常量，而f(a)和f(c)都不是编译期常量，所以不能用来分配array对象。

总之，constexpr的作用是，在能返回编译期常量的条件下，就返回编译期常量。