C++中的Traits技法

时间:2023-03-08 15:40:05
C++中的Traits技法

Traits广泛应用于标准程序库。Traits classes使得“类型相关信息”在编译期可用。

认真读完下面的示例,你应该就懂了Traits技法,其实并不难。

#include <bits/stdc++.h>
using namespace std; //1,确认若干你希望将来可取得的类型相关信息
struct TypeOneTag {};
struct TypeTwoTag {};
struct TypeThreeTag: public TypeTwoTag {};
struct TypeFourTag: public TypeThreeTag {}; //2,在你将使用的类中为该信息选择一个名称
class ClassOne {
public:
typedef TypeOneTag TypeCategory;
}; class ClassTwo {
public:
typedef TypeTwoTag TypeCategory;
}; class ClassThree {
public:
typedef TypeThreeTag TypeCategory;
}; class ClassFour {
public:
typedef TypeFourTag TypeCategory;
}; //3,提供一个template和一组特化版本
template<typename T>
struct TypeTraits {
typedef typename T::TypeCategory TypeCategory;
}; template<typename T>
struct TypeTraits<T*> {
typedef TypeOneTag TypeCategory;
}; //4,建立一组重载函数(身份像劳工)或函数模板,彼此间的差异只在于各自的traits参数
void doSomething(TypeOneTag) {
cout << "TypeOneTag" << endl;
} void doSomething(TypeTwoTag) {
cout << "TypeTwoTag" << endl;
} void doSomething(TypeThreeTag) {
cout << "TypeThreeTag" << endl;
} //5,建立一个控制函数(身份像工头)或函数模板,它调用上述那些“劳工函数”并传递traits class所提供的信息
template<typename T>
void test(T t) {
doSomething(typename TypeTraits<T>::TypeCategory());
} //测试
int main(){
ClassOne one; test(one); //TypeOneTag
ClassTwo two; test(two); //TypeTwoTag
ClassThree three; test(three); //TypeThreeTag
ClassFour four; test(four); //TypeThreeTag,继承关系带来的一项红利,这也是public继承带来的部分好处
int *pointer; test(pointer); //TypeOneTag return 0;
}

参考:《Effective C++》、《STL源码剖析》。