C++17:static_assert实现
admin
2024-04-08 11:45:37
0

引言

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__

总结

本文从static_assert和assert的定义切入,分别详细介绍static_assert引入的原因,如何使用static_assert,最后以static_assert实现作为本文的结束。希望本文的介绍可以加深你对静态断言static_assert的理解。

相关内容

热门资讯

安卓怎么传到苹果系统,从安卓到... 你是不是也有过这样的烦恼:手机里存了好多好用的安卓应用,可是一换到苹果系统,就发现这些宝贝们都不见了...
安卓改系统字体app,安卓系统... 你有没有想过,手机上的字体也能变得个性十足?没错,就是那个安卓改系统字体app,它可是让手机界面焕然...
安卓系统重启密码错误,破解与预... 手机突然重启了,屏幕上竟然出现了密码输入的界面!这可怎么办?别急,让我来帮你一步步解决这个安卓系统重...
安卓系统怎么删除相片,照片删除... 手机里的相片越来越多,是不是感觉内存都要不够用了?别急,今天就来教你怎么在安卓系统里轻松删除那些不再...
什么安卓机系统最好,安卓系统最... 你有没有想过,手机里那个默默无闻的系统,其实才是决定你手机体验好坏的关键呢?没错,说的就是安卓机系统...
小米手环8安卓系统,智能生活新... 你有没有注意到,最近小米手环8安卓系统成了大家热议的话题呢?这款智能手环自从上市以来,就凭借其强大的...
虹膜系统怎么换为安卓,技术革新... 你有没有想过,你的虹膜系统怎么换为安卓呢?这可是个挺酷的话题,不是吗?想象你的手机上装了个高科技的虹...
安卓刷苹果mac系统,探索跨平... 你有没有想过,你的安卓手机竟然能变身成为苹果Mac系统的超级战士?没错,这就是今天我要跟你分享的神奇...
安卓系统不模仿苹果,不模仿苹果... 你知道吗?在科技圈里,有一场关于操作系统的大戏正在上演。没错,就是安卓系统和苹果iOS系统之间的较量...
安卓系统计步开启,开启健康生活... 你有没有发现,最近你的手机里多了一个小助手——计步器?没错,就是那个默默记录你每一步的小家伙。今天,...
怎么备份安卓系统 recove... 你有没有想过,如果你的安卓手机突然间像顽皮的小猫一样,把你的照片、视频和重要文件都给“藏”了起来?别...
安卓系统同步功能停用,安卓系统... 最近发现了一个让人有点小郁闷的消息——安卓系统的同步功能竟然被停用了!这可真是让人有点措手不及呢。想...
安卓系统的平板重装系统,轻松恢... 你那安卓平板是不是突然间卡得跟蜗牛似的,系统反应慢得跟乌龟赛跑似的?别急,今天就来给你支个招,教你怎...
安卓操作系统语言,引领智能时代... 你知道吗?在手机世界里,有一个超级厉害的操作系统,它就是安卓!这个操作系统可是全球最流行的,几乎每个...
安卓系统声音录音软件,声音记录... 你有没有想过,在安卓手机上,那些美妙的旋律、有趣的对话或者重要的会议内容,如何变成你随时可以回顾的宝...
coloros系统和安卓9,创... 你知道吗?最近手机圈里可是热闹非凡呢!一款名为ColorOS的系统,还有那个大家熟悉的安卓9,它们俩...
安卓个推系统搭建,基于个推系统... 你有没有想过,自己的手机里那些推送消息是怎么悄无声息地出现在你眼前的?没错,就是安卓个推系统在默默为...
设置系统时间app安卓,安卓时... 你有没有想过,手机里那个默默无闻的系统时间,竟然能通过一个小巧的App变得如此有趣和个性化?没错,今...
安卓系统输出开关量,安卓系统开... 你有没有想过,你的安卓手机里竟然隐藏着这么一个神奇的开关量输出功能?没错,就是那个你可能从未留意过的...
安卓系统音乐软件推荐,五大热门... 你有没有发现,手机里音乐软件那么多,挑一款适合自己的真心不容易啊!安卓系统上的音乐软件更是五花八门,...