C++ Traits 技术

最新推荐文章于 2025-05-19 10:30:36 发布

yichudu

最新推荐文章于 2025-05-19 10:30:36 发布

阅读量1.5k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： C++

天天开心

本文链接：https://blog.youkuaiyun.com/chuchus/article/details/39804995

C++ 专栏收录该内容

54 篇文章

订阅专栏

本文深入探讨了C++中模板特化的应用，特别关注于如何使用模板特化实现特性复数（Tarits）的概念，并通过实例展示了在STL中的iterator和GCC与VS STL差异的应用。此外，文章还介绍了自定义模板特化类的实现方法，以及如何通过模板元编程技术实现在不同数据类型上的统一操作。

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

Tarits，特性的复数。c++萃取技术就是指它。实现方式是模板特化。

STL中涉及到iterator的地方经常能用到它。

gcc的STL与VS的STL略有差别。

vs中下列代码，把鼠标放在iterator上，按F12，找到别名定义，真实类型见注释

#include<vector>
using namespace std;

int main(){
    vector<int> v;
    vector<int>::iterator it=v.begin();// typedef _Vector_iterator< _Vector_val<_Ty, _Ax> > vector<_Tx,_Ty>::iterator;
    return 0;
}

自己简单地实现了一下，见下面代码。

#include
using namespace std;

class IntArr{
private:
	int a[5];
public:
	IntArr(){
		for(int i=0;i<5;i++)
			a[i]=i;
	}
	int CalcFrontSum(int n){//计算数组前n个元素的和
	    int tmp=0;
		for(int i=0;i
class NumTrait{};
template <> //模板特化
class NumTrait{
public :
    typedef int intype;
    typedef int resulttype;
};
template <>
class NumTrait{
public :
    typedef int intype;
    typedef float  resulttype;
};
template
class TArr{
public:
    float CalcFrontSum(T& obj,int n){
        return obj.CalcFrontSum(n);
    }
};

template
class TArrSuper{
public:
    //typename 不能少，不然编译器会把NumTrait::resulttype默认当作一个变量来处理而不是一个类型
     typename NumTrait::resulttype CalcFrontSum(T& obj,typename NumTrait::intype n){
        return obj.CalcFrontSum(n);
    }
};
template
class TArrSuper2{
private:
     typedef typename NumTrait::resulttype resulttype;
     typedef typename NumTrait::intype intype;
public:
     resulttype CalcFrontSum(T& obj,intype n){
        return obj.CalcFrontSum(n);
    }
};

template
typename NumTrait::resulttype CalcFrontSum(T& obj,typename NumTrait::intype  n){
 return obj.CalcFrontSum(n);
}


int main(){
	IntArr IntArrObj;
	FloatArr FloatArrObj;
	cout< TArrObj1;
	TArrTArrObj2;
	cout< TArrSuperObj1;
	TArrSuperTArrSuperObj2;
	cout< TArrSuper2Obj1;
	TArrSuper2TArrSuper2Obj2;
	cout<