constexpr构造函数与默认构造函数

### C++ `constexpr` 构造函数与默认构造函数的区别及用法

#### 默认构造函数
默认构造函数是在类定义中未提供任何参数的情况下自动调用的构造函数。编译器会在特定情况下自动生成默认构造函数，除非显式声明了其他形式的构造函数。

当对象被创建而没有任何初始化列表或赋值操作时，默认构造函数负责执行必要的初始化工作。如果希望由编译器生成默认行为，则可以使用`=default`关键字来指示编译器生成该成员函数[^1]：

class MyClass {
public:
    MyClass() = default; // 编译器生成默认实现
};

#### Constexpr 构造函数
相比之下，`constexpr`构造函数允许在编译期计算并求值表达式的结果。这意味着可以在常量表达式的上下文中使用这些构造函数实例化对象，从而提高程序性能和安全性。为了使构造函数成为`constexpr`类型的，其内部逻辑也必须满足编译时常量的要求——即只包含简单的算术运算和其他已标记为`constexpr`的操作[^2]。

下面是一个例子展示了如何定义一个带有`constexpr`修饰符的构造函数:

struct Point {
    int x, y;
    
    constexpr Point(int X=0, int Y=0): x(X), y(Y) {}
};

// 可以用于编译期间评估
constexpr auto origin = Point();
static_assert(origin.x == 0 && origin.y == 0);

在这个案例里，通过指定初始值给形参X,Y实现了可选参数的效果；同时利用静态断言(static assertion)验证了编译阶段产生的结果是否符合预期。