利用模板偏特化实现编译期断言

最新推荐文章于 2023-01-29 16:26:10 发布
最新推荐文章于 2023-01-29 16:26:10 发布
阅读量999 收藏
点赞数
分类专栏： C/C++ 文章标签： 编译期 断言 模板
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zhcosin/article/details/48184737
版权

利用模板偏特化实现编译期断言

断言在C/C++语言中的作用有目共睹，但它只能在运行期起作用，有时可能会希望在编译期检查某个条件，不成立就产生一条编译错误信息，比如你写了一个模板，但是希望模板的参数只能是整数类型，用其它类型对模板进行实例化时干脆让它通不过编译，怎么样，听起来是不是很酷？

利用模板的偏特化，轻轻松松就能实作出来，请看：

template<bool>
compile_assert;

template<>
compile_assert<true>{};

看到没有，这个模板只针对参数为true的情况作了偏特化，如果使用参数false对compile_assert进行实例化，会产生一个类型没有定义的编译错误。够简单吧？

看看怎么用吧，还是前面提到的例子，假定你写了一个模板，希望它的模板参数只能是 int long以及它们加上各种修饰符(unsigned const 等 )所产生的类型集合中的任何一种类型作参数，而如果使用了其它的类型，让它无法通过编译。

template<class
最低0.47元/天 解锁文章
zhcosin
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
COMPILE_ASSERT
xu的blog
03-08 4616
最近在看chrome的代码，发现了有个叫COMPILE_ASSERT的宏，用于编译时做判断。COMPILE_ASSERT宏的实现在D:/project/chrome/src/src/base/basictypes.h ，注释部分有其原理的介绍，如下： // The COMPILE_ASSERT macro can be used to verify that a compile time // expression is true. For example, you could use it to
有关C++模版
new_abc的专栏
12-17 948
前面看老罗文章时看到里面有很多的模版，不是很了解，这里做个笔记typedef  类型 定义名;类型说明只定义了一个数据类型的新名字而不是定义一种新的数据类型。定义名表示这个类型的新名字。例如: 用下面语句定义整型数的新名字:typedef int SIGNED_INT;typedef函数指针用法typedef  返回类型(*新类型)(参数表)typedef char (*PTRFUN)(int);
确定类型和表达式在编译期信息的模板技术
https://gitcode.net/liuyuan185442111
08-06 561
...
模板参数的编译时检查方法，利用typedef
yacper的专栏
01-28 1574
很多情况下，你需要使用模板参数，但又不知道用户输入的模板参数是否正确，是否在范围内等，此时可以利用typedef的特性实现一种模板参数检查机制。template    //模板参数sz默认=0class templateClass{   typedef int testArray[ ( sz         ....}注：typedef的这个in
C++模板之特化与偏特化详解
12-31
对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区，那天在群里讨论这个问题，自己对于这部分确实没有掌握，又联想到在《STL源码剖析》一书中，对于此也是有着介绍。...
C++ 类模板、函数模板全特化、偏特化的使用
12-20
一、类模板全特化、偏特化 #pragma once #include #include template class TC { public: TC() { std::cout << "泛化版本构造函数" < class TC { public: TC() { std::cout << "全特化版本...
深入分析C++模板特化与偏特化
09-07
模板特化和偏特化是模板技术的两个关键概念，它们提供了在特定情况下为模板提供定制实现的方法。 1. **模板特化（Template Specialization）** - **概述**：模板特化允许为特定的数据类型提供不同的实现。当标准...
第6.3节 Python动态执行之动态编译的compile函数
weixin_30869099的博客
06-03 828
Python支持动态代码主要三个函数，分别是compile、eval和exec。本节介绍compile函数的语法和相关使用。compile函数用来编译一段字符串的源码，将其编译为字节码或者AST（抽像语法树）。 一、 语法 compile个内置函数，语法如下： compile(source, filename, mode, flags=0, dont_inheri...
静态断言宏的使用
YuZhuQue的博客
01-10 608
我们先来看一个错误： 源码 #define LCM_COMPILE_ASSERT(condition) LCM_COMPILE_ASSERT_X(condition, __LINE__) #define LCM_COMPILE_ASSERT_X(condition, line) LCM_COMPILE_ASSERT_XX(condition, line) #define L...
C++断言 static_assert, complie_assert, preComplie_assert
这是一个c++热爱者的博客哟
01-29 4452
1. 断言（assertion）分类：运行时、预编译期、编译期，即断言的判断触发时机\2. 运行时断言使用assert宏来实现\3. 一旦定义了NDEBUG宏，那么assert宏将被展开成一条空语句不起作用，（可能会）被编译器优化掉，原意是在非Debug编译下不把运行时assert编进来\4. 预编译时期的断言可以使用预处理命令#ifdef或#ifundef配合#error实现，可以在预编译时期对一些宏进行检查以确定编译参数、头文件引用状态等。
base之basictypes.h基本数据类型 COMPILE_ASSERT
在线笔记
07-23 452
COMPILE_ASSERT编译断言 基本原理——定义数组 bool msg[1]; // success bool msg[-1]; // fail 实现详见github代码
浅析C++ Compile-time Assertion技术
weixin_34199405的博客
02-28 175
浅析C++ Compile-time Assertion技术http://www.cppblog.com/nacci/archive/2005/11/07/969.aspx Posted on 2005-11-07 23:10 nacci 阅读(1354) 评论(3)  编辑 收藏 引用 所属分类: C++漫谈 ...
（C++模板编程）：std::true_type与std::false_type
baidu_41388533的博客
11-14 6852
std::true_type和std::false_type 是两个类型（类模板）。 源码 // ALIAS TEMPLATE bool_constant template <bool _Val> using bool_constant = integral_constant<bool, _Val>; using true_type = bool_constant<true>; using false_type = bool_constant<false
模板的全特化与偏特化
thefutureisour的专栏
09-10 4万+
模板为什么要特化，因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该听你的。 模板分为类模板与函数模板，特化分为全特化与偏特化。全特化就是限定死模板实现的具体类型，偏特化就是如果这个模板有多个类型，那么只限定其中的一部分。 先看类模板： template class Test { public: Test(T1 i,T2 j):a(i),b(j){cout<<"模板类"
C++11的模板类型判断——std::is_same和std::decay
热门推荐
尘中远的程序开发记录
10-14 6万+
C++11的模板类型判断——std::is_same和std::decay问题提出：有一个模板函数，函数在处理int型和double型时需要进行特殊的处理，那么怎么在编译期知道传入的参数的数据类型是int型还是double型呢？ 如：#include <iostream> template<typename TYPE> void typeCheck(TYPE data) { //do so
在C++中判断模版实例化后的数据类型
cmsbupt的专栏
08-27 1161
问题： 在自定义的模版类中，根据实例化后的数据类型来进行不同的打印输出 头文件：#include http://en.cppreference.com/w/cpp/language/typeid http://en.cppreference.com/w/cpp/types/type_info
工作积累之模板类实例化
startwithdp的专栏
03-14 2578
模板函数在声明的时候， 其实并不存在，函数地址也就无从谈起了，而导出到动态链接库的函数都需要有地址 (动态链接库不能将模板类导出，因为没法生成实例) 如果把模板类的声明和定义都放在头文件中。需要用到模板类的时候，只需要包含该头文件，然后进行实例化。 如果模板类的声明和定义分别放在头文件和源文件中。当实例化的时候，只包含头文件会发证链接错误。 原因是模板类的实例化要分成两个步骤，模板的特例化
模板偏特化的高级面试题
最新发布
06-13
以下是一些关于模板偏特化的高级面试问题： 1. 什么是模板偏特化？ 模板偏特化是一种针对特定类型的模板实例化方式，它可以对某些类型进行特殊处理。模板偏特化的语法形式为template <> class template-name <arguments>, 其中template <>表示模板偏特化，template-name表示所要偏特化的模板名称，arguments表示所要偏特化的模板参数。 2. 什么是偏特化与全特化的区别？ 全特化是对模板的所有参数进行特化，而偏特化是只对部分参数进行特化。在全特化中，所有的模板参数都需要进行特化；而在偏特化中，只有部分模板参数需要进行特化。 3. 偏特化可以针对哪些类型进行特化？ 偏特化可以针对任意类型进行特化，包括基本类型、自定义类型、指针类型、引用类型等。 4. 偏特化可以用于哪些应用场景？ 偏特化可以用于解决一些特定的问题，比如在编译期间对类型进行分类、过滤等，以及实现一些高级的编程技巧，比如类型转换、类型推导等。偏特化还可以用于实现一些高级的数据结构，比如树、图等。 5. 偏特化是否可以继承模板的基本实现？ 偏特化可以继承模板的基本实现，但是偏特化的实现需要与基本模板的实现有所不同。具体来说，偏特化需要重新定义模板参数，并且只对需要特化的部分进行处理。同时，偏特化也可以继承基本模板的实现，以实现代码复用等目的。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值