GeekBand C++面向对象下第一周笔记

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.模板

1. 类模板

   类模板通式

   template<class  形参名，class 形参名，…>   class 类名
   { ... };

   模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，比如不能在main函数中声明或定义一个模板。
   类模板对象的创建：比如一个模板类A，则使用类模板创建对象的方法为A<int> m;在类A后面跟上一个<>尖括号并在里面填上相应的类型，这样的话类A中凡是用到模板形参的地方都会被int 所代替。

2. 函数模板

   函数模板通式

   template<class  形参名，class 形参名，…>   （返回类型） 函数名（参数）
   { ... };

   函数模板可以用来创建一个通用的函数，以支持多种不同的形参，避免重载函数的函数体重复设计 。不同于类模板，编译器会对函数模板进行实参推导。

3. 成员模板

   任意类（模板或非模板）可以拥有本身为类模板或函数模板的成员，这种成员称为成员函数模板。

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