static_assert关键字

最新推荐文章于 2025-06-20 16:52:55 发布

tiantangniao0983

最新推荐文章于 2025-06-20 16:52:55 发布

阅读量389

点赞数

CC 4.0 BY-SA版权

分类专栏： C++技术文章标签： c++

本文链接：https://blog.csdn.net/tiantangniao0983/article/details/127303100

C++技术专栏收录该内容

4 篇文章

订阅专栏

static_assert关键字，用来做编译期间的断言，因此叫做静态断言。
语法: static_assert(常量表达式，提示字符串)。
参数描述: 如果第一个参数常量表达式的值为false，会产生一条编译错误，错误位置就是该static_assert语句所在行，
第二个参数就是错误提示字符串。
作用：
使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。
static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。
编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，
但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。
由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。

利用decltype可以判断是左值还是右值

int main() {

  int num=10;
  int &lv1=num;//error
  const int &const_lv1=12;//ok
  const char (&left)[5]="1234";//ok
  int &&rv1=12;//ok
  int &&rv2=std::move(num);
  int &&test=42;//42是右值，test是左值。
  //int &&test_rv=test;//error  test变量是左值
  int &&test_rv=std::move(test);//ok
  // static_assert(std::is_same<decltype("1234"),const char(&&)[5]>::value,"not same type");
  static_assert(std::is_same<decltype("1234"),const char(&)[5]>::value,"not same type");
  static_assert(std::is_same<decltype(lv1),int &>::value,"not same type");
  static_assert(std::is_same<decltype(rv1),int &&>::value,"not same type");

  static_assert(std::is_same<decltype(1+2),int >::value,"not same type");
  static_assert(std::is_same<decltype(rv2),int && >::value,"not same type");
  static_assert(std::is_same<decltype(rv2),int &&>::value,"not same type");
  retun 1;
  }