一、什么是不变量

不变量是指在程序执行过程中，不可变的量，即在程序的一次执行过程中，它的值不会改变。不变量可以用来描述程序中的状态，可以被用来验证程序的正确性，同时可以用来描述程序的行为。

二、C++如何设计不变量

在C++中，可以使用const关键字来定义一个不变量，例如：

const int x = 10;

这里定义了一个名为x的不变量，它的值为10，在程序的执行过程中，x的值不会发生变化。

三、C++如何构建不变量

在C++中，可以使用const关键字来构建不变量，具体的构建方法如下：

1、在声明变量时，在变量类型之前加上const关键字，例如：

const int x = 10;

2、在变量的初始化时，使用const关键字，例如：

int x = const 10;

3、在函数的参数列表中使用const关键字，例如：

void func(const int x);

通过上面的方法，可以在C++中构建不变量。