C++的萃取技术

2024-03-11 19:36
文章标签 c++ 技术 萃取

本文主要是介绍C++的萃取技术,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、什么是traits

在《模板类型的自动推导》中提到了c++是一门静态编译语言,不支持动态类型的获取,也就更不用说提供类似c#,Java等语言的反射机制。但是,没有类型获取的接口不代表没有这种实际的需求,那么怎么解决这种需求就得靠c++的大牛们来想办法啦。
微软的MFC通过大量的定义宏来动态的生成各种类和对象。而这种方式恰恰又不是c++大牛们觉得舒适的方法,所以他们想到了模板。
在模板中,提供了Traits(萃取)技术,什么是萃取呢?简单来说,就是能够获得目标对象的类型,并依此而实现此类型对应的功能。在当红的小众语言RUST中也有萃取这种技术,表达的相对来说更清晰明白:
traits只能由三部分组成:
functions(方法)
types(类型)
constants(常量)

这样和c++一对比,其实更容易理解萃取技术的本身。
在c++的STL中,算法和容器在设计应用上是分离的,迭代器通过利用traits(又叫做特性萃取技术)萃取技术来实现特定的功能方法,达到普适性的目的。

二、实现

在前面的文章中,提到过萃取技术的实现的一些方法,在上一篇文章中也通过模板的自动推导实现过类型的获取和识别,但是,也提到了它的一些局限性的问题,那么怎么解决这些问题呢?
基本有两种解决方式:
1、使用内部定义类型typedef::value_type
2、模板的偏特化
其实上篇提到的自动推导马虎也可以算做一种解决方案。

三、实例

1、value_type例子

template<class T>
struct RData
{typedef T value_type;T * p_;RData(T *p = 0) :p_(p) {}T& operator++()const{*p_ += *p_;return *p_;}
};template<class T>
typename T::value_type TestFunc(T t)
{return ++t;
}void VT_example()
{int *p = new int(3);RData<int> rd(p);std::cout << TestFunc(rd) << std::endl;
}
int main()
{VT_example();return 0;
}

在c++的STL库中,也经常看到类似的代码。

2、偏特化的例子

class IO
{
public:void RorW() { std::cout << "reading or writting" << std::endl; }
};template <typename T, bool isRW>
class IORW
{
public:enum { RW = isRW };void RorW(T* t){SignType<isRW>().RorW(t);}template <bool N>class SignType{};template <>class SignType<true>{public:void RorW(T* t){t->RorW();std::cout << "start reading" << std::endl;}};template <>class SignType<false>{public:void RorW(T* t){//t->RorW();std::cout << "start writting" << std::endl;}};
};void TmpPartial()
{int* pnum = nullptr;IO* pio = nullptr;IORW<int, false> io1;IORW<IO, true> io2;io1.RorW(pnum);io2.RorW(pio);
}
int main()
{TmpPartial();return 0;
}

实现萃取只是偏特化的应用的一个场景,它是模板应用中一个非常广泛的情况,另外对于全特化和显示实例化要搞明白,这里就不再赘述(前面的模板相关学习有详细的说明)。

四、总结

模板的难度,从这里就可以窥探出一些来,模板带来的优势和它显而易见的难度相比,其实更阻碍了c++的普及和推广。一般学习c++的人,建议一开始只要学习模板的初步知识即可,在把类似萃取这些技术广泛熟悉后,再根据实际场景学习,会有事半功倍的效果。

这篇关于C++的萃取技术的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/798850

相关文章

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

C++ Log4cpp跨平台日志库的使用小结

《C++Log4cpp跨平台日志库的使用小结》Log4cpp是c++类库,本文详细介绍了C++日志库log4cpp的使用方法,及设置日志输出格式和优先级,具有一定的参考价值,感兴趣的可以了解一下... 目录一、介绍1. log4cpp的日志方式2.设置日志输出的格式3. 设置日志的输出优先级二、Window

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决