对话#28:Contracts, Promises, and Mere Semantics

 对话#28:Contracts, Promises, and Mere Semantics

和大多数日子一样,我开始了那天的工作-在我的方形房间内,端着新鲜的咖啡,在开始写代码前,正收着早上的email。很奇特,它这天,Guru没有突然出现在我身后。实际上,我无意中听到它发生在另外一个人身上。

我正坐在书桌前安静地工作着,而且听到附近的同事们击键的时间,这是声音传来。

“时间到了,”Guru说,“谈些事吧。”

我习惯性地跳了起来。我四处寻视了一下,但Guru并没站在我身后。我接着听到隔壁房间传来椅子的吱吱声-是Kerry,我们组聪明而又令人讨厌的新人,从他椅子上跳起来。她正和他在一起。我怀疑他能持续多久;Guru以最开头几个月内吓跑绝大多数的新人而著称,根本等不到转正。Kerry已经表现为早期的崩溃症状。我估计他将只能再坚持几个星期了。

我怀着稍微的内疚偷听着:

“鲍伯告诉我,我的新代码中有一个问题……”我听到Kerry开始反抗。

“是吗,我的孩子?”我能回想出她的眉毛翘起来,向我笑着的样子。

“嗯……是的。是关于编码规范的事,我将自己搞定它……”

我听到了书合上的声音。Guru肯定已经合上了她带的“砖头”。我懒得猜她今天带的是哪本。“告诉我,年轻的,”我听到Guru对Kerry说,“我们的编码规范说什么了?说吧。”

“嗯……他们就在这里。”在Kerry击键的同时,我也悄声地调出同一文件并找到他正背诵的位置。这是其中的一部分:

当申明参数类型时,最好遵循传统的C++接口惯用法:

l         如果实参需要被更改,传指针。

l         如果实参不被更改,传值。

“我没这么做,所以鲍伯指出它。就是这么多。这是对的。这是对的;我将修改;真的,”Kerry说完了,听起来很紧张。

有一个停顿,我在猜测Guru是在微笑或皱眉。最后,她说:“照他的话做……就现在。更新代码,但别chek in。而是把更新过的代码给鲍伯,让他查看,并让他自己使用,然后等待。”

“等候?……为什么?”Kerry问。

这次我确定Guru在微笑。“只需等待,徒弟,”她说道,然后我听到了纸的沙沙声和后退的脚步声。

表演结束,我想,于是回去工作。但是最精彩的部分总要上演的……

几个小时之后,我正狂写代码时,听到Kerry被叫到鲍伯的办公书桌,虽然稍微有些远,但还没远到让我听不见鲍伯狂训Kerry的声音。

又过了一会儿,鲍伯似乎训够了,Kerry被放了回来,孤独地 (我想)回到他的房间。当他坐下时,椅子吱吱地响了一下,然后又变得寂静……但没维持多久。

大约五分钟之后,又次传来Guru的声音,Kerry的椅子又吱吱响了一下(或是Kerry发的?他已经习惯在Guru出现时发出吱吱声),又一次的对话:

“关于C语言为什么是烫手的,”Guru突然说道,“而猪是否有翅膀。”我在笑后面一句话,知道她可能在说鲍伯。

(吱吱声)“我……我跟鲍伯说了……”

“的确,你这么做了,孩子,越过整个建筑我都能听到,”传来Guru柔和的声音。又传来一声书本很快合上的声音。“而他说了什么?”

“我的代码一定是错的;它让他代码不能工作了,”Kerry结结巴巴的。“但是我不知道我做错了什么。我就是按他所说的做的!我也就是按编码规范说的做的!”

“啊,”-我眼前浮现出Guru锐利地微笑-“但它们是同一回事。因为鲍伯是制订这部分编码规范的人之一。”

“……他……他是?”

“哦,是的。他确实是,徒弟。这也就是编码规范发生错误的原因。”

“错误?”

“那对C++惯用法而言是错误的,”她继续说道。

“虽然,它对于没有'引用'的C语言是正确的。”

“但是……如果是错的,他们为什么不更新?”

“我们的新经理,Pete Williams,过于信任鲍伯而看不清实际需要,”她叹息道。“他的前任也没有这么做。于是,编码规范并不正确。C++惯用法更象这个……”我听到了书写笔在白板上的吱吱声,这是我后来在白板上看到的:

当申明参数类型时,最好遵循传统的C++接口惯用法,除非它不合适:

l         如果实参需要被改变,传非const的指针或引用。

l         如果实参不被改变,传const的引用,或在拷贝开销很小时传值。

“这样的陈述比较接近事实,”Guru总结了一下,“但是,徒弟,你必须注意'最好'和'除非'这两个词。这只是惯用法。不是教条。它不是没有例外的。”

“嗯……是的。没问题。鲍伯说,它适用于他试过的每件事物,除了……”

auto_ptr对象,”Guru点点头,替他说了出来,我听到她继续在白板上写着。

Kerry发出了惊讶的声音。“你怎么知道的!鲍伯告诉你的?你看见的?”

“我就是知道。我不需要看见。”她继续在白板上的写着,而这里是我几分钟之后看见的:

template<typename T>

void Mutate( T* byPointer );

template<typename T>

void Mutate( T& byReference );

template<typename T>

void LeaveAlone( const T* byPointerToConst );

template<typename T>

void LeaveAlone( const T& byReferenceToConst );

template<typename T>

void LeaveAlone( T byValue );

“想一下这个例子,然后回答:对于哪种类型的T,函数的名字是名副其实的?徒弟!”她说道。

我不知道她说的是我,直到我听到一种不同的啪嗒声,一块橡皮从我头上反弹开去。然后我很快反应过来,揉了揉头,加入他们。

 “嗯?什么?” 我嘟囔了一句。“我正忙着工作。” “实际上你正专心于竖着耳朵。”Guru眯起眼睛一会儿,假装烦恼, 然后我看见她闪烁的目光。放下书写笔后,她又打开她的厚书,将头发挂于耳后,微笑着走开了。“我的徒弟将会解释的,我的孩子……” 她的分别语从肩头飘来,就在她转弯消失的那瞬间。

我摇头咧嘴而笑。什么行为!但Kerry古怪地看着我,我怀疑也许他还没开始把我和Guru同归在“神奇人士”之列。我发现我不会介意的,如果他这么做了的话;这给了我一个有趣的启示。

“年轻人,”我微笑着说道,一认识到我刚说了什么,就笑得更欢了,“当你传递一个auto_ptr是,会发生什么?”

“嗯……噢!”很清楚,Kerry已经明白了。“传递了所有权!她说的是这个意思吗?”

“是的,”我同意。“你已经明白了。而同样事还发生在所有会转移所有权类-顺便提一句,其典型特征是在拷贝构造函数的形参上使用非const的引用。这就是你要的答案:传值通常意味着你不会碰源对象,除了auto_ptr,对它含义正相反-并且更差,因为不但修改了源 auto_ptr,还将它置为了NULL。而传指针常意味着准备修改源对象,除了auto_ptr,对它含义正相反-你正在避免修改它。对于auto_ptr,传统的惯用法正干着坏事。而这正是基于通常的惯用法的代码,例如容器对它们所包容的对象作的假设,不能和auto_ptr协同工作的原因。但不只是对于auto_ptr;对所有在拷贝时进行所有权传递的类都是这样。总要特别留心在拷贝构造函数中的非const引用参数;那就是你通常会遗漏的致命之处。”

“现在,”我一边走一边让我的声音飘向身后,“我必须回去继续我的沉思了。”我到达走道末端,转了个弯,刚从他视野中消失,就再也忍不住得发出了吃吃地笑声。

[参考文献]

[1] H. Sutter and J. Hyslop. “Conversations: A Midsummer Night's Madness,” C/C++ Users Journal C++ Experts Forum, August 2002.

 

你可能感兴趣的:(C++,c,工作,null,语言,email)