跟我学c++中级篇——静态多态

2024-02-15 15:44

本文主要是介绍跟我学c++中级篇——静态多态,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、多态

Polymorphism,多态。学习过c++的人如果不知道多态,基本上就是打入c++内部的C程序员了。在前边曾经对多态进行过分析,对其中的虚函数(虚表等)也进行过较为详细的说明。
多态其实非常好理解,不要硬扣书本上的定义。多态,顾名思意,就是一种行为,多种状态结果。明白了这个意思,再回头和概念对照,就非常容易理解了。
多态可以分为静态多态和动态多态两类,一般来说,在国内的教科书里,只会讲后面的动态多态。估计原因是动态多态比较容易成体系的和继承一起来分析说明,而静态多态需要的知识体系相对分散许多,又和实际应用紧密结合,所以很多国内的教科书就将其略去了。
另外还可以对多态划分成通用多态(universal polymorphism)和特定多态(Ad-hoc polymorphism),就看划分的标准的和方式了。
所以在这里,不对动态多态进行分了,只对静态多态进行一个总结性的分析说明。

二、静态多态

静态多态和动态多态不同在于,静态多态的实现是在编译期实现的,而动态多态是在运行时绑定的,所以动态多态的行为又叫做迟后联编。既然静态编译是在编译期实现的,那么学习过C++的程序员就可以想一下,在编译实现的技术有哪些?尽量想,想得到的并和多态的实现结果能扯上关系的,基本就是它了。
那么在c++中有哪几种技术可以实现静态多态呢?
1、模板和宏
其实这个非常好理解,利用模板可以轻松的实现类似多态的方式,所以模板和宏是实现静态编译的最强大的方式。在这种方式里,特别需要注意带参数的宏实现,也就是常见的带参数的宏实现。
2、函数重载(或运算符重载)
这个就不用详细介绍了吧,前面已经分析过很多了。

其实这两类就是参数化多态和非参数化多态(或者叫特定多态)的具体形式。这里顺便介绍一下,所以特定多态(Ad-hoc polymorphism),又可以分为强制多态和重载多态,前者指在参数传递时的隐式转化形成的多态后者只函数的重载造成的多态。

三、例程

在知晓了静态多态的定义后,再看下面的例程加深一下印象:

#include <iostream>
template <class T>
class Base
{
public:void Display(){static_cast<T*>(this)->Data();}static void Call(){T::Call();}
};class Derived : public Base<Derived>
{
public:void Data() { std::cout << "Derived function :Data()" << std::endl; };static void Call() { std::cout << "Derived function :Call()" << std::endl; };
};
int main()
{Derived d;Base<Derived> *b = &d;b->Display();b->Call();
}

上面这个例程在前面的CRTP中进行过分析,应该很好理解。
再看一个宏实现多态的:

#include<stdio.h>
#include<malloc.h>
#include<string.h>
#include <iostream>#define Data(T) \
struct data_ ##T \
{\T data;\
}int main()
{Data(int) dInt = { 16 };Data(char) dDb = {'a'};std::cout<< dInt.data<<","<< dDb.data<<std::endl;return 0;
}

同样非常好理解,如果有看过MFC相关源码的,可以发现这个只是一个非常小的实现罢了。不过,在绝大多数情况下,不建议使用宏来实现复杂的功能,包括上面的这种静态多态。
至于重载和运算符重载的例程满天飞,这里就不再赘述了。大家如果有不熟悉的翻翻书就可以了。

四、总结

从比较正式的定义来说,在c++中,一般不会把特定多态或者宏多态称为多态,以方便和C语言区分,一般来说,静态多态指的就是模板的静态多态。
其实很多的定义和概念并不是说有多么特别的技术在内,很重要的一点在于通过这些定义或概念来更好的理解实际应用中的应用。可以简单将其当成一种对实际应用的抽象,从某种角度了对知识体系的一种系统的归类总结。这是学习编程的另外一种经验,大家可以借鉴一下。

这篇关于跟我学c++中级篇——静态多态的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/711809

相关文章

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

C++ Log4cpp跨平台日志库的使用小结

《C++Log4cpp跨平台日志库的使用小结》Log4cpp是c++类库,本文详细介绍了C++日志库log4cpp的使用方法,及设置日志输出格式和优先级,具有一定的参考价值,感兴趣的可以了解一下... 目录一、介绍1. log4cpp的日志方式2.设置日志输出的格式3. 设置日志的输出优先级二、Window

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的