引言

static_assert是从C++0x开始引入的关键字，static_assert可让编译器在编译时进行断言检查。static_assert的语法格式：

static_assert( constant-expression, string-literal ); // C++11 
static_assert( constant-expression ); // C++17

constant-expression
可转换为布尔值的整型常量表达式。如果计算出的表达式为零 (false)，则显示 string-literal 参数，并且编译失败，并出现错误。如果表达式不为零 (true)，则 static_assert 声明无效。
string-literal
当 constant-expression 参数为零时显示的消息。该消息是编译器的基本字符集中的一个字符串(不是多字节或宽字符)。C++ 17前需要的constant-expression消息参数，C++17变成可选。意味着C++17以后static_assert声明不再需要第二个参数。

static_assert中文译为静态断言，此名称是相对与assert而言的，assert中文译为断言或动态断言。C++0x之前没有动态断言和静态断言之分，因为C++98仅支持assert这一种断言方式。

static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

assert为C++98从C语言继承而来的断言方式，assert的定义即语法格式(Visual Studio 2022)：

#ifdef NDEBUG#define assert(expression) ((void)0)#else_ACRTIMP void __cdecl _wassert(_In_z_ wchar_t const* _Message,_In_z_ wchar_t const* _File,_In_   unsigned       _Line);#define assert(expression) (void)(                                                       \(!!(expression)) ||                                                              \(_wassert(_CRT_WIDE(#expression), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0) \)#endif

当未定义 NDEBUG 时，C 运行库的发布版本和调试版本中均启用了 assert 宏。定义时 NDEBUG ，该宏可用，但不会评估其参数，并且不起作用。启用后assert 宏会调用 _wassert 用于实现。此定义巧妙的利用C语言的||短路求值特性，只有expression为false，_wassert才会运行并抛出错误结束进程，否则_wassert不会运行，就不会抛出错误。

assert(std::is_same_v);   // Error: assert 不接收二个参数
assert((std::is_same_v)); // OK: 一个参数
std::complex c;
assert(c == std::complex{0, 0}); // Error: assert 不接收二个参数
assert((c == std::complex{0, 0})); // OK: 一个参数

为何引入assert_assert

也许现在的你和我最初的想法一样，认为assert_assert很多余。我们带着这个疑问，看看下面这个案例。

案例：某家公司的一个app需要Microsoft，Google和Phone设备3种联系人读取，在最初1.0版本时，他们仅支持Microsoft和Phone设备两种方式的联系人读取；从2.0开始他们开始支持Google联系人的读取。

1.0版本App

enum ContactType
{MICROSOFT,  // 微软联系人 PHONE,      // 本地手机联系人ALL         // 所有联系人
};// 本地文件名称
static const std::string LOCAL_FILE_NAME = "contact_type.txt";// 读取操作
typedef bool (*readOperator)();  // 读取Microsoft
bool readMicrosoftContact()
{std::cout << "read microsoft contact...";return true;
}// 读取本地phone
bool readPhoneContact()
{std::cout << "read phone contact...";return true;
}// 读取本地phone
bool readAllContact()
{std::cout << "read phone contact...";return true;
}static const std::unordered_map g_readOperators{{ContactType::PHONE, readPhoneContact},{ContactType::MICROSOFT, readMicrosoftContact},{ContactType::ALL, readAllContact}
};int main()
{int contactType = ContactType::ALL;std::ifstream readLocalFile(LOCAL_FILE_NAME);if (readLocalFile.good())   // 文件存在{readLocalFile >> contactType;readLocalFile.close();}else{std::ofstream outputLocalFile(LOCAL_FILE_NAME);std::cout << "please enter contact type: 0 Microsoft,1 Phone, 2 ALL: ";std::cin >> contactType;outputLocalFile << contactType;outputLocalFile.flush();outputLocalFile.close();}auto iter = g_readOperators.find(contactType);if (g_readOperators.end() != iter){iter->second();}return 0;
}

此时用户首次运行可执行程序，输入：1表示读取本地Phone联系人，程序输出

please enter contact type: 1
read phone contact...

2.0版本App

enum ContactType
{MICROSOFT,  // 微软联系人 GOOGLE,     // google联系人PHONE,      // 本地手机联系人ALL         // 所有联系人
};// 本地文件名称
static const std::string LOCAL_FILE_NAME = "contact_type.txt";// 读取操作
typedef bool (*readOperator)();  // 读取Microsoft
bool readMicrosoftContact()
{std::cout << "read microsoft contact...";return true;
}// 读取google
bool readGoogleContact()
{std::cout << "read google contact...";return true;
}// 读取本地phone
bool readPhoneContact()
{std::cout << "read phone contact...";return true;
}// 读取本地phone
bool readAllContact()
{std::cout << "read phone contact...";return true;
}static const std::unordered_map g_readOperators{{ContactType::PHONE, readPhoneContact},{ContactType::MICROSOFT, readMicrosoftContact},{ContactType::GOOGLE, readGoogleContact},{ContactType::ALL, readAllContact}
};int main()
{int contactType = ContactType::ALL;std::ifstream readLocalFile(LOCAL_FILE_NAME);if (readLocalFile.good())   // 文件存在{readLocalFile >> contactType;readLocalFile.close();}else{std::ofstream outputLocalFile(LOCAL_FILE_NAME);std::cout << "please enter contact type: 0 Microsoft,1 GOOGLE, 2 Phone, 3 ALL: ";std::cin >> contactType;outputLocalFile << contactType;outputLocalFile.flush();outputLocalFile.close();}auto iter = g_readOperators.find(contactType);if (g_readOperators.end() != iter){iter->second();}return 0;
}

可执行程序支持了GOOGLE联系人，用户升级可执行程序，然后可执行程序会直接启动不需要用户输入自己的contact类型，但是用户这时候发现，可执行程序展示的联系人非自己的Phone联系人，产生了生成问题。

read google contact...

App存在的问题

这个问题在于用户第一次输入1表示PHONE，升级2.0后1不在表示PHONE，而表示GOOGLE了。

关键这种问题有时候是无法感知的，也很难定位。不过幸好有了static_assert。我们可以采用静态断言来解决这类问题。我们在1.0版本添加static_assert如下：

enum ContactType
{MICROSOFT,  // 微软联系人 PHONE,      // 本地手机联系人ALL         // 所有联系人
};static_assert(0 == ContactType::MICROSOFT);
static_assert(1 == ContactType::PHONE);

这样2.0版本修改ContactType枚举，static_assert就会提示编译错误。我们为每个版本增加枚举，添加新的断言而不修改老版本的断言，此种方式可完美的解决枚举定义不一致问题。例如，在枚举中间添加GOOGLE，static_assert(1 == ContactType::PHONE)就会有编译错误提示。

enum ContactType
{MICROSOFT,  // 微软联系人 GOOGLE,     // google联系人PHONE,      // 本地手机联系人ALL         // 所有联系人
};static_assert(0 == ContactType::MICROSOFT);
static_assert(1 == ContactType::PHONE);
static_assert(1 == ContactType::GOOGLE);

如何使用static_assert

static_assert可以应用于命名空间和作用域内（作为块声明），也可应用于类体内（作为成员声明）。

命名空间static_assert

命名空间中的static_assert立刻求值并断言。例如：

static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

类中的static_assert

static_assert 声明具有模板类中。编译器将在声明 static_assert 声明时检查该声明，但不计算 constant-expression 参数，直到类模板实例化式才求值并断言。但是对于普通非模板类，编译器会立刻求值并且断言。

#include 
#include template  >
class basic_string 
{static_assert(std::is_trivially_copyable::value, "Template argument CharT must be a POD type in class template basic_string");// ...
};class EmptyClass
{static_assert(2 == sizeof(int), "int must is 2 bytes");
};int main()
{basic_string bs;
}

编译提示错误：

1> main.cpp(21,21): error C2338: static_assert failed: 'EmptyClass* must is 2 bytes'

块中的static_assert

static_assert 声明具有函数模板内。编译器将在声明 static_assert 声明时检查该声明，但不计算 constant-expression 参数，直到函数模板实例化式才求值并断言。但是对于非模板函数，编译器会立刻求值并且断言。

template
inline void doStuff(T val) 
{static_assert(!std::is_volatile::value, "No volatile types plz");//...
}int test(int a)
{static_assert(2 == sizeof(int), "test int must is 2 bytes");return 0;
}int main()
{volatile char sometext[261];doStuff(sometext);
}

编译提示错误：

1> main.cpp(21,21):  error C2338: static_assert failed: 'test int must is 2 bytes'

static_assert实现

利用C++语言的语法规则实现静态断言的方式非常多，这里只介绍两种static_assert实现方式。第一种通过除0编译错误实现静态断言；第二种开源库Boost内置的BOOST_STATIC_ASSERT中断言机制，利用sizeof操作符实现静态断言。

“除0”静态断言

“除0”静态断言，利用“除0"会导致编译器报错这个特性来实现静态断言。

#define assert_static(e)               \do {                                 \enum{assert_static__ = 1 /(e)}; \} while(false)

Boost静态断言

BOOST_STATIC_ASSERT宏利用c++规范，不完整类型即不可实例化的类型，在对其进行sizeof运算时提示编译错误。

templatestruct STATIC_ASSERTION_FAILURE;
template<>struct STATIC_ASSERTION_FAILURE{};
templatestruct static_assert_test{};#defineBOOST_STATIC_ASSERT(B)                                      \typedef static_assert_test> \boost_static_assert_typedef_##__LINE__