第十六章 模板与泛型编程
1.函数模板
template<typename T>int compare(const T& v1,const T & v2)
{
if(v1<v2) return -1;
if(v2<v1) return 1;//减少对<的重载
return 0;
}
2.类模板
template<class Type> class Queue{
public:
Queue();
Type & front();
const Type & front() const;//第一个const表示返回引用const,即不能作为赋值符号左值。第二个const表示函数不能改变对象成员变量。
void push(const Type &);
void pop();
bool empty()const;
};
Queue<int>q;
3.
模板形参名字作用域:声明为模板形参之后知道模板声明或者定义的末尾
用作模板名字不能在模板内部重用
4.对数组的引用
template <class T,size_t N>void array_int(T(&parm)[N])
本来只能用相同大小的数组输入,只能用指针或者不同大小数组,由于是模板,数组大小由编译器推断不固定,但仍然不能用指针,只能用数组名。
5.类模板使用时,需指定实参,除非在类内部
在类外需指定
template<class Type>void Queue<Type>::destroy()
{
while(!empty())
pop();
}
6.类模板成员函数模板形参由调用该函数对象类型确定。
7.对模板A设定为模板B类无需先声明
template<class T>class A;
template<class T>class B{
public:
friend class E<T>; //错
friend class A<T>; //对
};
8.模板类中模板成员函数定义
template<class Type>template<class It>
void Queue<Type>::copy_elems<It beg,It end>
{
while(beg!=end){
push(*beg);
++beg;
}
}
9.模板特化
函数特化
template<> int compare<const char*>(const char * const &v1,const char* const &v2)
{
return strcmp(v1,v2);
}
类特化
template<>Queue<const char *>
{
//不在出现T之类的代号,用const *替代
}
第十七章 用于大型程序的工具
1.多重继承构造顺序
先虚继承,再废墟继承,每种内容按继承列表顺序
多重继承虚构排序
构造函数反序
2.
如果多重继承的两个函数不同形参列表,也会引起二义性。
3.
虚继承
最终派生类许威之单独初始化,忽略直接基类对虚继承基类的初始化。
class A{};
class B:public virtual A{};
class C:public virtual A{};
class D:public B,public C{};
第十八章 特殊工具与技术
1.
void *operator new(size_t);
void *operator new[](size_t);
void *operator delete (void *);
void *operator delete[](void *);
2.if(Derived * derivedPtr=dynamic_cast<Derived*>(basePtr))
{
...
} else
{
...
}
3.typeid(...)取类型
if(typeid(...)==typeid(...))
int i=0;
cout<<typeid(i).name()<<endl;
4.volatile:该值可能由程序本身之外控制。与const类似,只能将volatile指针复值volatile指针。
只有当引用为 volatile 时,才使用 volatile 引用初始化。
不能使用合成复值和赋值操作符从 volatile 对象进行初始化,只能自己定义。
不能将volatile对象传给普通引用或者const引用。
1.函数模板
template<typename T>int compare(const T& v1,const T & v2)
{
if(v1<v2) return -1;
if(v2<v1) return 1;//减少对<的重载
return 0;
}
2.类模板
template<class Type> class Queue{
public:
Queue();
Type & front();
const Type & front() const;//第一个const表示返回引用const,即不能作为赋值符号左值。第二个const表示函数不能改变对象成员变量。
void push(const Type &);
void pop();
bool empty()const;
};
Queue<int>q;
3.
模板形参名字作用域:声明为模板形参之后知道模板声明或者定义的末尾
用作模板名字不能在模板内部重用
4.对数组的引用
template <class T,size_t N>void array_int(T(&parm)[N])
本来只能用相同大小的数组输入,只能用指针或者不同大小数组,由于是模板,数组大小由编译器推断不固定,但仍然不能用指针,只能用数组名。
5.类模板使用时,需指定实参,除非在类内部
在类外需指定
template<class Type>void Queue<Type>::destroy()
{
while(!empty())
pop();
}
6.类模板成员函数模板形参由调用该函数对象类型确定。
7.对模板A设定为模板B类无需先声明
template<class T>class A;
template<class T>class B{
public:
friend class E<T>; //错
friend class A<T>; //对
};
8.模板类中模板成员函数定义
template<class Type>template<class It>
void Queue<Type>::copy_elems<It beg,It end>
{
while(beg!=end){
push(*beg);
++beg;
}
}
9.模板特化
函数特化
template<> int compare<const char*>(const char * const &v1,const char* const &v2)
{
return strcmp(v1,v2);
}
类特化
template<>Queue<const char *>
{
//不在出现T之类的代号,用const *替代
}
第十七章 用于大型程序的工具
1.多重继承构造顺序
先虚继承,再废墟继承,每种内容按继承列表顺序
多重继承虚构排序
构造函数反序
2.
如果多重继承的两个函数不同形参列表,也会引起二义性。
3.
虚继承
最终派生类许威之单独初始化,忽略直接基类对虚继承基类的初始化。
class A{};
class B:public virtual A{};
class C:public virtual A{};
class D:public B,public C{};
第十八章 特殊工具与技术
1.
void *operator new(size_t);
void *operator new[](size_t);
void *operator delete (void *);
void *operator delete[](void *);
2.if(Derived * derivedPtr=dynamic_cast<Derived*>(basePtr))
{
...
} else
{
...
}
3.typeid(...)取类型
if(typeid(...)==typeid(...))
int i=0;
cout<<typeid(i).name()<<endl;
4.volatile:该值可能由程序本身之外控制。与const类似,只能将volatile指针复值volatile指针。
只有当引用为 volatile 时,才使用 volatile 引用初始化。
不能使用合成复值和赋值操作符从 volatile 对象进行初始化,只能自己定义。
不能将volatile对象传给普通引用或者const引用。