GeekBand C++面向对象下第一周笔记
在这一周的课程里,老师讲解了许多C++对象模型的知识点。在此一一罗列记录:
1.转换函数
转换函数采用如下的一般形式:
operator type()
这里的type可用内置类型、类类型或typedef名取代。但是不允许type表示数组或函数。
转换函数必须是成员函数,它的声明不能指定返回类型和参数列表。
如果转换函数没有类成员进行修改,可以在函数声明中增加const关键字,增加代码的健壮性。
2.non-explicit one argument constructor
class Fraction
{
Fraction(int num, int den=1) :
m_numerator(num), m_denominator(den) {}
Fraction operator + (const Fraction& f) {
return Fraction(...);
}
private:
int m_numerator; // 分子
int m_denominator; // 分母
};
Fraction f(3, 5);
Fraction d2 = f + 4; // 调用non-explicit ctor将4转换成Fraction(4, 1),然后再调用operator +
函数Fraction(int num, int den = 1),因为第二参数有默认值,所以函数为单参函数。
关键字explicit惯用于构造函数,并且只能用于修饰只有一个参数的类构造函数。它的作用是表明该构造函数是显示的, 而非隐式的, 跟它相对应的另一个关键字是implicit, 意思是隐藏的,类构造函数默认情况下即声明为implicit(隐式)。
3.pointer-like classes
存在和指针类似的Class,如智能指针,迭代器(特殊的智能指针)
- 智能指针内会包含以下函数,用来模拟指针
T& operator*() const
{ return *px; }
T* operator->() const
{ return px; }
- 在迭代器中实现有所不同
T& operator*() const
{ return (*node).data; }
T* operator->() const
{ return &(operator*()); }
4.Function-like classes
同样存在类似函数的类,仿函数(functor),就是使一个类的使用看上去象一个函数。其实现就是类中实现一个operator(),这个类就有了类似函数的行为,就是一个仿函数类了。
const T&
operator()(const T& x) const { return x; }
5.模板
类模板
类模板通式
template<class 形参名,class 形参名,…> class 类名 { ... };
模板的声明或定义只能在全局,命名空间或类范围内进行。即不能在局部范围,函数内进行,比如不能在main函数中声明或定义一个模板。
类模板对象的创建:比如一个模板类A,则使用类模板创建对象的方法为A<int> m;
在类A后面跟上一个<>尖括号并在里面填上相应的类型,这样的话类A中凡是用到模板形参的地方都会被int 所代替。函数模板
函数模板通式
template<class 形参名,class 形参名,…> (返回类型) 函数名(参数) { ... };
函数模板可以用来创建一个通用的函数,以支持多种不同的形参,避免重载函数的函数体重复设计 。不同于类模板,编译器会对函数模板进行实参推导。
成员模板
任意类(模板或非模板)可以拥有本身为类模板或函数模板的成员,这种成员称为成员函数模板。
6.模板特化
template<class Key>
struct hash{};
struct hash<char>{};//模板特化
struct hash<int>{};
模板特化(template specialization)的定义为指定一个或多个模板形参的实际类型或实际值。上面代码就是模板特化的一个例子。
所谓的模板偏特化是指提供另一份template定义式,而其本身仍为templatized;也就是说,针对template参数更进一步的条件限制所设计出来的一个特化版本。
7.varidic templates
varidic templates指数量不定的模板参数,如:
template<typename T, typename... Types>
…就是一个所谓的pack(包)
用于模板参数,就是模板参数包
用于函数参数,就是函数参数包
8.auto
C++11中引入的auto主要有两种用途:自动类型推断和返回值占位。auto在C++98中的标识临时变量的语义,由于使用极少且多余,在C++11中已被删除。前后两个标准的auto,完全是两个概念。
auto自动类型推断,用于从初始化表达式中推断出变量的数据类型。通过auto的自动类型推断,可以大大简化我们的编程工作。
9.ranged-base for
ranged-base for是C++ 11新增特性,用于循环迭代一个“范围”。
语法:
for ( range_declaration : range_expression) loop_statement