目录
1.类型转换 C++11
C++支持C风格的强制转换,但是C风格的强制转换可能会有一些风险,让问题难以发现。
#include <iostream>
using namespace std;
class Animal
{
public:
~Animal()
{
cout << "Animal析构" << endl;
}
};
class Dog:public Animal
{
public:
~Dog()
{
cout << "Dog析构" << endl;
}
};
int main()
{
Animal* a = new Dog;
Dog* d = (Dog*)a; // C风格的强制类型转换
delete d;
return 0;
}
C++11提供了四种适用于不同场景的强制类型转换函数:
- static_cast 静态转换
- dynamic_cast 动态转换
- const_cast 常量转换
- reinterpret_cast 重解释转换
1.1 static_cast(掌握)
主要用于基本数据类型的转换。
#include <iostream>
using namespace std;
int main()
{
double x = 1.1;
// double → int
int i = static_cast<int>(x);
cout << i << endl;
return 0;
}
static_cast没有运行时类型检查来保证转换的安全性,需要程序员判断转换是否安全。
static_cast还可以用于类层次结构中,即基类和派生类指针或引用的转换,但是还需要注意:
- static_cast进行上行转换是安全的,即把派生类指针或引用转换为基类的;
- static_cast进行下行转换是不安全的,即把基类指针或引用转换为派生类的;
上述转换只是可以,但不建议。
基于指针的转换:
#include <iostream>
using namespace std;
class Animal
{
public:
string a = "Animal";
};
class Monkey:public Animal
{
public:
string b = "Monkey";
};
int main()
{
// 上行转换
Monkey* s1 = new Monkey;
Animal* f1 = static_cast<Animal*>(s1);
cout << f1->a << endl;
Animal* a1 = new Animal;
cout << sizeof(*f1) << " " << sizeof(*a1) << endl; // 4 4
cout << sizeof(*s1) << endl; // 8
cout << s1 << " " << f1 << endl; // 0x861048 0x861048
// 下行转换
Animal* f2 = new Animal;
Monkey* m2 = static_cast<Monkey*>(f2);
cout << m2->a << " " << m2->b << endl; // Animal 乱码
return 0;
}
基于引用的转换:
#include <iostream>
using namespace std;
class Animal
{
public:
string a = "Animal";
};
class Monkey:public Animal
{
public:
string b = "Monkey";
};
int main()
{
// 上行转换
Monkey m1;
Animal& a1 = static_cast<Animal&>(m1);
cout << a1.a << endl;
a1.a = "hahah";
cout << m1.a << endl; // hahah
// 下行转换
Animal a2;
Monkey& m2 = static_cast<Monkey&>(a2);
// 结果仍然不是想要的结果
cout << m2.a << " " << m2.b << endl; // Animal hahah
return 0;
}
static_cast可以用于对象创建,但是参数必须与目标对象的构造函数相同。
#include <iostream>
using namespace std;
class Student
{
private:
string name;
public:
Student(string name):name(name){}
string get_name() const
{
return name;
}
};
int main()
{
Student s = static_cast<Student>("Tom");
cout << s.get_name() << endl; // Tom
return 0;
}
1.2 dynamic_cast
dynamic_cast主要用于类层次之间的上行转换和下行转换。
- 上行转换与static_cast效果相同。
- 下行转换具有类型检查的功能,比static_cast更安全。
转换成功的示例:
#include <iostream>
using namespace std;
class Animal
{
public:
string a = "Animal";
virtual void eat()
{
cout << "吃东西" << endl;
}
};
class Monkey:public Animal
{
public:
string b = "Monkey";
virtual void eat()
{
cout << "吃香蕉" << endl;
}
};
int main()
{
Animal* a0 = new Monkey;
Monkey* m0 = dynamic_cast<Monkey*>(a0);
cout << m0->a << " " << m0->b << " " << endl;
m0->eat();
Monkey m1;
Animal& a1 = m1;
Monkey& m2 = dynamic_cast<Monkey&>(a1);
// m2就是m1的引用
cout << m2.a << " " << m2.b << endl;
m2.eat();
return 0;
}
转换失败的示例:
#include <iostream>
using namespace std;
class Animal
{
public:
string a = "Animal";
virtual void eat()
{
cout << "吃东西" << endl;
}
};
class Monkey:public Animal
{
public:
string b = "Monkey";
virtual void eat()
{
cout << "吃香蕉" << endl;
}
};
int main()
{
Animal* a0 = new Animal;
Monkey* m0 = dynamic_cast<Monkey*>(a0);
cout << m0 << endl; // 0
if(m0 == 0)
cout << "转换失败!" << endl;
Animal a1;
Monkey& m2 = dynamic_cast<Monkey&>(a1); // 运行终止!
// m2就是m1的引用
cout << m2.a << " " << m2.b << endl;
m2.eat();
cout << "主函数结束" << endl;
return 0;
}
1.3 const_cast(熟悉)
const_cast可以用于添加或移除对象(通常是指针或引用)的const修饰符。在正常情况下,应该尽量避免使用const_cast,而是考虑通过设计良好的接口或者其他手段来避免这样的转换。
#include <iostream>
using namespace std;
class Animal
{
public:
string a = "Animal";
};
int main()
{
const Animal* ani = new Animal;
// ani->a = "动物"; 错误
Animal* ani2 = const_cast<Animal*>(ani);
cout << ani << " " << ani2 << endl; // 0xf71048 0xf71048
ani2->a = "动物";
cout << ani->a << " " << ani2->a << endl; // 动物 动物
return 0;
}
1.4 reinterpret_cast(熟悉)
reinterpret_cast可以把内存里的值重新解释,这种转换的风险极高,慎用!
#include <iostream>
using namespace std;
class Deer
{
public:
void print()
{
cout << "我是鹿" << endl;
}
};
class Horse
{
public:
string shoes = "铁蹄";
void print()
{
cout << "我是马" << endl;
}
};
int main()
{
Deer *d = new Deer;
Horse* h = reinterpret_cast<Horse*>(d);
cout << d << " " << h << endl; // 0x1011048 0x1011048
h->print();
// cout << h->shoes << endl; // 乱码(强制拓展内存导致)
char c = '%';
char* c_ptr = &c;
int* i_ptr = reinterpret_cast<int*>(c_ptr);
// 虽然保存的是字符'%',但是用int的方式解读
cout << *i_ptr << endl; // 很大的数(强制拓展内存导致)
return 0;
}
2. 抽象类 abstract class
2.1 概念
抽象类只表达一个概念,并不与具体的对象联系,通常为它的派生类提供一个算法框架。需要注意的是,抽象类不光没有对象,也不能声明此类型,即抽象类型不能作为参数和返回值类型等。
纯虚函数:
是一种特殊的虚函数,这种函数名称定义只有声明。
纯虚函数的语法格式如下:
virtual 返回值类型 函数名(参数列表) = 0;
抽象类 ←→ 纯虚函数
如果一个类是抽象类,则内部必然有纯虚函数;如果一个类有纯虚函数,其必然是抽象类。
#include <iostream>
using namespace std;
/**
* @brief The Shape class
* 抽象基类:形状类
*/
class Shape
{
public:
// 纯虚函数声明
virtual void area() = 0; // 面积
virtual void perimeter() = 0; // 周长
};
int main()
{
// Shape s; 错误
return 0;
}
2.2 用法
用法一:派生类继承抽象基类,把所有的纯虚函数覆盖并增加函数体。
#include <iostream>
using namespace std;
/**
* @brief The Shape class
* 抽象基类:形状类
*/
class Shape
{
public:
// 纯虚函数声明
virtual void area() = 0; // 面积
virtual void perimeter() = 0; // 周长
};
/**
* @brief The Circle class
* 圆形
*/
class Circle:public Shape
{
public:
void area()
{
cout << "πR^2" << endl;
}
void perimeter() override
{
cout << "2πR" << endl;
}
};
int main()
{
// Shape s; 错误
Circle c;
c.area();
c.perimeter();
return 0;
}
用法二:派生类继承抽象基类后,没有把所有的纯虚函数覆盖并增加函数体,此时相当于继承了纯虚函数,此派生类也变为抽象类。
#include <iostream>
using namespace std;
/**
* @brief The Shape class
* 抽象基类:形状类
*/
class Shape
{
public:
// 纯虚函数声明
virtual void area() = 0; // 面积
virtual void perimeter() = 0; // 周长
};
/**
* @brief The Circle class
* 圆形
*/
class Circle:public Shape
{
public:
void area()
{
cout << "πR^2" << endl;
}
void perimeter() override
{
cout << "2πR" << endl;
}
};
/**
* @brief The Polygon class
* 多边形
*/
class Polygon:public Shape
{
public:
void perimeter()
{
cout << "∑边长" << endl;
}
};
/**
* @brief The Triangle class
* 三角形
*/
class Triangle:public Polygon
{
public:
void area()
{
cout << "w*h/2" << endl;
}
};
int main()
{
// Shape s; 错误
Circle c;
c.area();
c.perimeter();
// Polygon p; 错误
Triangle t;
t.perimeter();
t.area();
return 0;
}
2.3 多态
之前提到抽象类型不能被声明,但是由于抽象类支持多态,因此抽象类的指针和引用可以被声明。同时要注意因为支持多态,抽象类的析构函数都应该被设置为虚析构函数。
#include <iostream>
using namespace std;
/**
* @brief The Shape class
* 抽象基类:形状类
*/
class Shape
{
public:
// 纯虚函数声明
virtual void area() = 0; // 面积
virtual void perimeter() = 0; // 周长
// 虚析构函数
virtual ~Shape()
{
}
};
/**
* @brief The Circle class
* 圆形
*/
class Circle:public Shape
{
public:
void area()
{
cout << "πR^2" << endl;
}
void perimeter() override
{
cout << "2πR" << endl;
}
};
/**
* @brief The Polygon class
* 多边形
*/
class Polygon:public Shape
{
public:
void perimeter()
{
cout << "∑边长" << endl;
}
};
/**
* @brief The Triangle class
* 三角形
*/
class Triangle:public Polygon
{
public:
void area()
{
cout << "w*h/2" << endl;
}
};
void test_shape(Shape& s)
{
s.area();
s.perimeter();
}
void test_shape(Shape *s)
{
s->area();
s->perimeter();
}
int main()
{
// Shape s; 错误
Circle c;
c.area();
c.perimeter();
// Polygon p; 错误
Triangle t;
t.perimeter();
t.area();
test_shape(c);
test_shape(t);
Circle* c2 = new Circle;
Triangle* t2 = new Triangle;
test_shape(c2);
test_shape(t2);
delete c2;
delete t2;
return 0;
}