14、C++编译时编程技巧：static_assert、enable_if 与 constexpr if

C++编译时编程技巧：static_assert、enable_if 与 constexpr if

1. 编译时断言检查：static_assert

在 C++ 里，可进行运行时和编译时断言检查，以保证代码里特定条件为真。运行时断言的劣势在于，仅当程序运行且控制流抵达时才会验证。若条件依赖运行时数据，那别无选择；但要是不依赖，编译时断言检查更优。借助编译时断言，编译器能在开发早期告知特定条件未满足的错误。不过，这些断言仅能在条件可在编译时求值时使用。在 C++11 中，可使用 static_assert 进行编译时断言。

1.1 准备工作

静态断言检查最常见的用途是模板元编程，可用于验证模板类型的前置条件是否满足（例如，类型是否为 POD 类型、是否可复制构造、是否为引用类型等）。另一个典型例子是确保类型（或对象）具有预期的大小。

1.2 使用方法

可使用 static_assert 声明来确保不同作用域中的条件得到满足：
- 命名空间 ：验证类 item 的大小始终为 16：

struct alignas(8) item 
{ 
  int      id; 
  bool     active; 
  double   value; 
}; 
static_assert(sizeof(item) == 16,  
              "size of item must be 16 bytes");