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的理解。

相关内容

热门资讯

安卓系统音乐软件推荐,五大热门... 你有没有发现,手机里音乐软件那么多,挑一款适合自己的真心不容易啊!安卓系统上的音乐软件更是五花八门,...
安卓系统刷三星系统,轻松刷入最... 你有没有想过,你的安卓手机其实可以变身成三星的旗舰机呢?没错,就是那种屏幕大、性能强、系统流畅的旗舰...
塞班系统可以转为安卓,跨越时代... 你知道吗?现在科技的发展真是让人眼花缭乱,连我们曾经熟悉的塞班系统也能华丽转身,变成安卓系统呢!是不...
安卓系统如何录像剪辑,录像剪辑... 亲爱的手机控们,你是否有过这样的经历:在某个瞬间,你捕捉到了一段令人难忘的画面,却因为没来得及记录而...
安卓系统强行提高配置,配置提升... 最近你的安卓手机是不是感觉有点儿“发烧”了?没错,就是那种配置突然“升级”的感觉。你是不是也觉得,手...
安卓系统能做设计吗,探索安卓系... 你有没有想过,安卓系统竟然也能做设计?是的,你没听错,这个我们日常使用的手机操作系统,竟然也能成为设...
安卓系统几年后使用,探索多年使... 你有没有想过,那些陪伴我们多年的安卓手机,它们现在过得怎么样了呢?安卓系统,这个曾经让我们爱恨交加的...
平板安卓苹果双系统,安卓与苹果... 你有没有想过,拥有一台既能运行安卓系统,又能使用苹果系统的平板电脑,那该是多么酷炫的事情啊!想象一边...
嘉和病历系统安卓,便捷医疗信息... 你有没有听说过嘉和病历系统安卓版?这可是医疗行业的一大神器呢!想象医生们拿着手机就能轻松管理病历,患...
安卓10更改系统号,揭秘系统编... 你知道吗?最近安卓系统又来了一次大更新,安卓10正式上线了!这次更新可是带来了不少新功能,其中最引人...
小米墨水屏 安卓系统,融合科技... 你知道吗?在科技日新月异的今天,电子阅读器市场也迎来了新的活力。而小米,这个我们熟悉的品牌,最近推出...
系统软件最少的安卓系统,基于最... 你有没有想过,手机系统就像是我们生活的操作系统,有时候太复杂了,让人感觉头都大了。今天,我要给你介绍...
安卓系统关闭应用推荐,安卓系统... 你有没有发现,手机里的安卓系统最近有点儿“小情绪”,总是给你推荐一些你根本不感兴趣的应用?别急,今天...
车载安卓系统如何用,智能驾驶体... 你有没有想过,你的车载安卓系统其实是个隐藏的宝库呢?没错,就是那个你每天开车时几乎不离手的那个屏幕,...
安卓系统更新如何取消,```p... 你有没有遇到过这种情况:安卓手机的系统更新推送得让人有点头疼,有时候更新后的系统还各种不适应。别急,...
安卓系统源码修改练习,从零开始... 亲爱的技术爱好者,你是否曾梦想过深入安卓系统的内核,亲手修改源码,让手机变得更加个性化?那就让我们一...
安卓考勤系统论文,基于安卓平台... 你有没有想过,每天打卡上班,是不是也能变得有趣起来呢?没错,就是那个我们每天都要面对的安卓考勤系统。...
安卓系统哪家流畅度,安卓系统流... 手机里的安卓系统,就像是每个人的小世界,各有各的风采。但说到流畅度,这可是大家最关心的问题了。今天,...
安卓开不了定位系统,安卓设备定... 最近是不是发现你的安卓手机定位系统突然罢工了?别急,别慌,今天就来给你详细解析一下这个问题,让你轻松...
安卓系统怎么设置airpod,... 你有没有发现,自从AirPods问世以来,它就成为了科技界的宠儿?这款无线耳机不仅音质出众,而且连接...