博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
《C++面向对象高效编程(第2版)》——3.13 采用语义
阅读量:5968 次
发布时间:2019-06-19

本文共 2132 字,大约阅读时间需要 7 分钟。

本节书摘来自异步社区出版社《C++面向对象高效编程(第2版)》一书中的第3章,第3.13节,作者: 【美】Kayshav Dattatri,更多章节内容可以访问云栖社区“异步社区”公众号查看。

3.13 采用语义

C++面向对象高效编程(第2版)

在以上给出的这些限制中,(5)这种参数传递模式到底在何处使用?这种模式在所谓的采用语义(adopt semantic s)中很有用。它真正的含义是:主调函数将argp所指向的存储区(实际上是资源的生存期)的所有权职责传递给被调函数(即,属于f()的对象)。主调函数创建了一个T类型的动态对象(可能使用new()),但是主调函数并不知道何时delete该动态对象(这种情况经常出现)。这是因为,被调函数可能仍然在使用它(或主调函数无法删除它),也可能是被调函数希望使用主调函数提供的存储区。在这种情况下,主调函数将argp所指向的对象的所有权职责移交给被调函数。换言之,被调函数采用argp指向的存储区。当被调函数不再需要argp所指向的对象时,要负责删除该对象。在现实生活中也有类似的情况,生母生下孩子(创造了它),然后将其转交给养父母。另外,在电子邮件(e-mail)系统中也有类似的情况,用户创建一条消息,然后将其转交给邮件发送系统。邮件发送系统即采用了用户创建的消息。

警告:

采用主调函数存储区的函数(或对象)应该知道如何销毁所采用的实体。例如,如果主调函数使用malloc()(C库函数,用于分配动态内存)创建对象,而被调函数使用delete销毁相同的对象,那将是一场灾难。再者,主调函数和被调函数必须处于相同的地址空间中1。如果跨地址空间边界转移所有权,要控制相同的进程则绝非易事。
在使用采用语义时,最好对这样的函数使用不同的命名约定(如以Accetp、Embrace、 Own或Adopt为前缀的名称)。在这种情况下,参数名也应该以这些单词为前缀。例如,在电子邮件系统中,负责接管用户消息的成员函数(在TEnvelope类中)称为EmbraceMesage()、Adoptmessage()、OwnMesage()或者AcceptMessage()。然而,这种命名约定不可用于构造函数和操作符。

(6)void X::f(const T* argp) // 第二例,按指针传递。

该模式不能用于采用语义(至少不能用于类型转换),因为指向const的指针无法被删除。当然,我们可以通过转换指针类型移除const限制。但这样做很危险,并不推荐这样做,应当避免使用这种不安全的操作。然而,如果协议未涉及调用delete,就仍然可以这样做。该例中,被调函数只能从argp中读取,参数argp为只读(输入形参)。被调函数应检查传入的参数以确保argp指针为非0。如果传递零指针是安全的,应该在文档中清楚地说明,或者如(5)所述使用argp(0) 默认值。

显然,如果主调函数选择传递真正的对象或0,那么(5)和(6)都可用。也可用于实现采用语义。但是,如果被调函数需要的是一个对象(且不是采用语义),则使用(3)或(4)中的引用参数。

指针还可用于递增或递减。如果被调函数需要使用传入的参数(argp)来定位它所指向的内容,那么只能使用指针,引用在这里没用。但是,以上介绍的模式均未涉及指针的算法2。除非另有说明,否则客户应假设被调函数不会递增或递减主调函数传递的指针参数。如果被调函数需要对指针进行运算,那么其函数签名应为:

void X::f(T argp[])

注意是argp[],而不是简单的指针*argp。argp[]明确地指出函数需要一个数组。另外,还要在该函数的文档中清楚地说明这样的意图(指针算法)。如果被调函数并不打算对指针参数执行任何运算,被调函数也可通过以下声明向主调函数作出保证:

void X::f(T* const argp)

这明确指出,argp是一个const指针(而不是指向const的指针)。实际上这也表明,编译器可以检测出对argp进行的任何递增或递减操作。

(7)void X::f(T* const argp)

此例与(5)类似。被调函数可以对指针argp所指向的对象进行读取和写入,但不能移动指针(即不允许对argp进行运算)。这意味着,被调函数不能访问argp指向区域的前后地址。换言之,被调函数向主调函数保证了它的意图。注意,你也可以删除argp。虽然无法删除(编译时错误)指向const的指针,但const指针没有这样的限制。

(8)void X::f(const T* const argp)

此例为(6)和(7)的组合。被调函数宣称它既不会修改argp所指向的内容,也不会对argp进行任何运算。这意味着,argp是一个只输入形参(in-only parameter)。此方案不支持如(6)所述的采用语义。

1本书中,相同的地址空间意味着由一个地址空间控制相同的进程(或任务)。

2指针运算指的是递增或递减操作,以及使用任何其他操作将指针移动至不同的位置。
本文仅用于学习和交流目的,不代表异步社区观点。非商业转载请注明作译者、出处,并保留本文的原始链接。

你可能感兴趣的文章
解决Lync 2013演示PPT提示证书问题的多种方法
查看>>
[转]经典正则表达式
查看>>
JDBC+Servlet+JSP整合开发之26.JSP内建对象
查看>>
【下载】深入oracle数据库专用虚拟机环境部署方案《VirtualBox+OELR5U7x86_64+Oracle11gR2》...
查看>>
值得推荐的C/C++开源框架和库
查看>>
列式存储
查看>>
Linux下eclipse编译C/C++程序遇到 undefined reference to `pthread_create'的异常解决办法
查看>>
ajax上传图片的本质
查看>>
转]最长递增子序列问题的求解
查看>>
SilverLight:基础控件使用(6)-Slider控件
查看>>
Android写的一个设置图片查看器,可以调整透明度
查看>>
第 5 章 File Share
查看>>
判断字符串解析是JsonObject或者JsonArray
查看>>
[LeetCode] Implement strStr()
查看>>
多模块Struts应用程序的几个问题(及部分解决方法)
查看>>
1.2. MariaDB
查看>>
SpringSide示例之HelloWorld
查看>>
LINQ-to-SQL那点事~LINQ-to-SQL中的并发冲突与应对
查看>>
日志不说谎--Asp.net的生命周期
查看>>
C#~异步编程续~.net4.5主推的await&async应用
查看>>