static_assert_static assert 打印sizeof-优快云博客

本文链接：https://blog.youkuaiyun.com/wuchuanpingstone/article/details/104070817

本文深入探讨了C++中的编译期断言static_assert的使用方法和优势。static_assert可在编译阶段检查条件是否满足，若失败则产生编译错误并提供错误信息，有助于早期发现问题并提高代码质量。文章还展示了static_assert在模板参数检查中的应用实例。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

用来实现编译期间的断言，叫静态断言

static_assert(条件,“提示信息打印”)

语法：static_assert（常量表达式，要提示的字符串）；
如果第一个参数常量表达式的值为false，会产生一条编译错误，错误位置就是该static_assert语句所在行，第二个参数就是错误提示字符串。
然后通过调用 abort 来终止程序运行。

使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。
static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。

编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。

性能方面，由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。

#include <cassert>
#include <cstring>
using namespace std;

template <class T, class U> 
int bit_copy(T& a, U& b) {
    //assert(sizeof(b) == sizeof(a));
　　static_assert(sizeof(b) == sizeof(a), "template parameter size no equal!");
    memcpy(&a, &b, sizeof(b));
    return sizeof(b);
};

int main()
{
    int aaa = 0x2468;
    double bbb;
    bit_copy(aaa, bbb);
    getchar();
    return 0;
}