《C++编程思想》第十章引用和拷贝构造函数(书摘)

2024-03-30 23:18

本文主要是介绍《C++编程思想》第十章引用和拷贝构造函数(书摘),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

    引用时C++的一个特性,它就像能自动被编译器逆向引用的常量型指针一样。C++中引用的思想来自Algol语言。引用是支持C++运算符重载语法的基础,也为函数参数的传入传出控制提供了便利。拷贝构造函数是特殊的构造函数,需要用引用来实现从现有的相同类型的对象产生新的对象。编译器用拷贝构造函数通过传值方式来传递和返回对象。
    C和C++指针的区别在于,C++是一种类型要求更强的语言。C不允许随便把一个类型的指针指派给另一个对象,但允许通过void*来实现。C++是不允许这样做的。
    引用(&)像一个能被编译器逆向引用的常量指针。通常用户函数的参数表或函数的返回值。但也可以独立使用。当创建引用时,引用必须被初始化执行一个存在的对象。引用必须和存储单元联系,访问引用时,实际上就是在访问那个存储单元。考虑一个引用最简单的方法是把它当作一个奇特的指针。这个指针的优点就是不用考虑它是否初始化了,编译器会强迫它初始化,且不用知道怎样对它逆向引用。使用引用时有一定的规则:1)当引用被创建,必须被初始化(指针则可以在任何时候被初始化)。2)一旦一个引用被初始化为指向一个对象,它就不能被改变为对另一个对象的引用(指针则可以在任何时候指向另一个对象)。3)不可能有NULL引用。必须确保引用是和一块合法存储单元相关联。
    函数中最常见的引用时在函数的参数和返回值。当被用作函数时,函数内任何对引用的更改将对函数外的参数改变。通过指针也可以这么做,不过语法上不很清晰。如果从函数中返回一个引用,必须象从函数中返回一个指针一样对待。在函数参数中使用常量引用特别重要。函数也许会接受临时的对象,这个临时对象由一个函数的返回值或函数使用着显式地创立,临时对象总是不变的,因此如果不使用常量引用,参数将不被编译器接受。C语言中如果要对指针进行引用,如果想改变指针本身而不是所指向的内容,函数声明可能是:void f(int**),传递时必须取得指针的地址。而在C++中,函数参数变成指针的引用,用不着取得指针的地址。
    有一种提高效率的方法是,传值方式需要调用构造函数和析构函数,如果不想改变参数,则可以通过常量引用来传递,它仅需要将地址压栈。只有一种情况不适用于传递地址方式,就是当传值是唯一安全的途径,否则将会破坏对象时(而不是修改外部对象)。
    拷贝构造函数,通常被称为X(&X)(X引用的X)。在函数调用时,这个构造函数是通过传值方式传递和返回类型的根本所在。在C和C++中,参数从右往左进栈,然后调用函数,调用代码负责清理栈中参数,通过传值方式传递参数时,编译器简单的将参数拷贝压栈,并为压栈参数产生正确拷贝。编译器把返回值放在寄存器中返回它。拷贝这个值得比特位等同于拷贝对象。当编译器为函数调用产生代码时,首先把所有参数压栈,然后调用函数,在函数内部,产生代码,向下移动堆栈指针为函数局部变量提供存储单元。在汇编语言call中,CPU把代码中的函数调用指令的地址压栈,汇编语言return可以用这个地址返回到调用点。当寄存器没有足够大的地方存储返回值时,就会将返回值的地指向一个函数参数一样压栈,让函数直接将返回值信息拷贝到目的地。
    对于传递和返回大的简单结构时所用的方法是从一个地方到另一个地方拷贝比特位,对于C是可行的。但是C++中,对象比一组比特位要丰富得多。当通过传值方式传递一个对象时,就创立了一个新的对象。函数体内的对象由原函数体外的原来存在的对象传递。从函数返回也是如此。当编译器从现有对象创建新对象时,可以通过定义自己的函数来做些事情,因为是在创建新对象,所以这个函数应该是构造函数,并且传递给这个函数的单一参数是所创建的对象的源对象,但该对象不能穿入构造函数,因为试图定义处理传值方式的函数按句法构造传递一个指针是没有意义的,所以可以使用源对象的引用,这个函数被称为拷贝构造函数。当包含更复杂的类型时,如果没有创建拷贝构在函数,C++编译器也将自动创建拷贝构造函数。仅当准备用传值的方式传递类对象时,才需要拷贝构造函数。有个简单的方法防止通过传值的方式传递:生命一个私有拷贝构造函数。甚至不用去定义,除非成员函数或友元函数需要执行传值方式的传递。
    一般来说引用语法比指针语法要好,当传递一个可以改变的参数时,从代码维护角度来说,使用指针可能更安全。除非打算通过地址修改外部对象,不然都用const引用传递地址。
    指针是一些指向内存地址的变量,既可以是数据地址,也可以是函数地址。所以可以在运行时改变指向函数的地址。除了C++的成员指针选择的内容是在类之外,C++的成员指针遵守同样的原则。不过由于指针需要一个地址,而类的内部没有地址,选择一个类的成员意味着在类中偏移。只有把偏移和具体对象的开始地址结合,才能得到实际地址。成员函数的语法要求选择一个对象时同时逆向引用成员指针。为了取得类成员指针所指向的内容,必须用*号逆向引用,但由于只是对象内的偏移,所以还要指定哪个对象。因此*号必须和逆向引用的对象结合使用。对于一个指向对象的指针新语法为->*,对于一个对象或引用则为.*。对于成员函数产生的成员指针,如格式:int (*fp)(float)。(*fp)的圆括号迫使编译器正确判断定义,没有则该表达式返回一个int*值的函数。

这篇关于《C++编程思想》第十章引用和拷贝构造函数(书摘)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

C++中实现调试日志输出

《C++中实现调试日志输出》在C++编程中,调试日志对于定位问题和优化代码至关重要,本文将介绍几种常用的调试日志输出方法,并教你如何在日志中添加时间戳,希望对大家有所帮助... 目录1. 使用 #ifdef _DEBUG 宏2. 加入时间戳:精确到毫秒3.Windows 和 MFC 中的调试日志方法MFC

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

Java中ArrayList的8种浅拷贝方式示例代码

《Java中ArrayList的8种浅拷贝方式示例代码》:本文主要介绍Java中ArrayList的8种浅拷贝方式的相关资料,讲解了Java中ArrayList的浅拷贝概念,并详细分享了八种实现浅... 目录引言什么是浅拷贝?ArrayList 浅拷贝的重要性方法一:使用构造函数方法二:使用 addAll(

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

C#反射编程之GetConstructor()方法解读

《C#反射编程之GetConstructor()方法解读》C#中Type类的GetConstructor()方法用于获取指定类型的构造函数,该方法有多个重载版本,可以根据不同的参数获取不同特性的构造函... 目录C# GetConstructor()方法有4个重载以GetConstructor(Type[]

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

hdu1496(用hash思想统计数目)

作为一个刚学hash的孩子,感觉这道题目很不错,灵活的运用的数组的下标。 解题步骤:如果用常规方法解,那么时间复杂度为O(n^4),肯定会超时,然后参考了网上的解题方法,将等式分成两个部分,a*x1^2+b*x2^2和c*x3^2+d*x4^2, 各自作为数组的下标,如果两部分相加为0,则满足等式; 代码如下: #include<iostream>#include<algorithm

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�