📄 effective c++ 2e item25.htm
字号:
调用f(int)<BR>f(NULL);
// 错误! — 类型不匹配<BR>f(static_cast<string*>(NULL));
// 正确, 调用f(string*)</P>
<P>至少现在已经把一个运行时的错误（对0调用了“错误的”f函数）转移成了一个编译时的错误（传递一个void*给string*参数）。情况稍微有点改善（见条款46），但需要进行类型转换还是令人讨厌。</P>
<P>如果想可耻地退回去求助于欲处理，你会发现它也解决不了问题，因为最明显的办法不外乎：</P>
<P>#define NULL 0</P>
<P>或</P>
<P>#define NULL ((void*) 0)</P>
<P>第一种办法只不过是字面上的0，本质上还是一个整数常量（如果你记得的话，还是最初的问题）；第二种方法则又把你拉回到“传void*指针给某种类型的指针”的麻烦中。</P>
<P>如果对类型转换的规则有研究，你就会知道，C++会认为“从long int 0到null指针的转换”和“从long
int到int的转换”一样，没什么不妥的。所以可以利用这一点，将多义性引入到上面那个你可能认为有“int/指针”问题的地方：</P>
<P>#define NULL
0L //
NULL现在是一个long int</P>
<P>void f(int x);<BR>void f(string *p);</P>
<P>f(NULL);
// 错误!——歧义</P>
<P>然而，当想重载long int和指针时，它又不起作用了：</P>
<P>#define NULL 0L</P>
<P>void f(long int x); //
这个f现在的参数为long<BR>void f(string *p);</P>
<P>f(NULL);
// 正确, 调用f(long int)</P>
<P>实际编程中，这比把NULL定义为int可能要安全，但它无非只是在转移问题，而不是消除问题。</P>
<P>这个问题可以消除，但需要使用C++语言最新增加的一个特性：成员函数模板（往往简称为成员模板）。顾名思义，成员函数模板是在类的内部为类生成成员函数的模板。拿上面关于NULL的讨论来说，我们需要一个“对每一个T类型，运作起来都象static_cast<T*>(0)表达式”的对象。即，使NULL成为一个“包含一个隐式类型转换运算符”的类的对象，这个类型转换运算符可以适用于每种可能的指针类型。这就需要很多转换运算符，但它们可以求助于C++从成员模板生成：</P>
<P>// 一个可以产生NULL指针对象的类的第一步设计<BR>class NullClass {<BR>public:<BR>
template<class
T>
// 为所有类型的T<BR> operator T*() const { return 0;
} // 产生operator
T*；<BR>};
//
每个函数返回一个<BR>
//
null指针<BR>
// </P>
<P>const NullClass
NULL; //
NULL是类型NullClass<BR>
// 的一个对象</P>
<P>void f(int
x);
// 和以前一样</P>
<P>void f(string
*p);
// 同上</P>
<P>f(NULL);
// 将NULL转换为string*,
<BR>
// 然后调用f(string*)</P>
<P>这是一个很好的初步设计，但还可以从几方面进行改进。第一，我们实际上只需要一个NullClass对象，所以给这个类一个名字没必要；我们只需要定义一个匿名类并使NULL成为这种类型。第二，既然我们是想让NULL可以转换为任何类型的指针，那就也要能够处理成员指针。这就需要定义第二个成员模板，它的作用是为所有的类C和所有的类型T，将0转换为类型T
C::*（指向类
C里类型为T的成员）。（如果你不懂成员指针，或者你从没听说过，或很少用，那也不要紧。成员指针可以称得上是稀有动物，是很少见，也许很多人从来没用过它。对此好奇的人可以参考条款30，那儿对成员指针进行了较详细的讨论。）最后，要防止用户取NULL的地址，因为我们希望NULL的行为并不是象指针那样，而是要象指针的值，而指针的值（如0x453AB002）是没有地址的。</P>
<P>所以，改进后的NULL的定义看起来就象这样：</P>
<P>const
// 这是一个const对象...<BR>class {<BR>public:<BR> template<class
T>
// 可以转换任何类型<BR> operator T*()
const //
的null非成员指针<BR> { return 0;
}
// </P>
<P> template<class C, class T> //
可以转换任何类型<BR> operator T C::*()
const // 的null成员指针<BR> {
return 0; }</P>
<P>private:<BR> void operator&()
const; //
不能取其地址<BR>
// (见条款27)</P>
<P>}
NULL;
// 名字为NULL</P>
<P>这就是所看到的真实的代码，虽然在实际编程中有可能想给类一个名字。如果不给名字，编译器里指向NULL类型的信息也确实很难理解。</P>
<P>成员模板的用法的另一个例子参见条款M28。</P>
<P>重要的一点是，以上所有那些产生正确工作的NULL的设计方案，只有在你自己是调用者的时候才有意义。如果你是设计被调用函数的人，写这样一个给别人使用的NULL其实没有多大的用处，因为你不能强迫你的调用者去使用它。例如，即使为你的用户提供了上面开发的那个NULL，你还是不能防止他们这样做：</P>
<P>f(0);
//
还是调用f(int),<BR>
// 因为0还是int</P>
<P>它还是和本条款最前面的出现的问题一样。</P>
<P>所以，作为重载函数的设计者，归根结底最基本的一条是，只要有可能，就要避免对一个数字和一个指针类型重载。</P><BR><BR></DIV></DIV></DIV><BR><BR>
<SCRIPT src="Effective C++ 2e Item25.files/get_readnum.htm"></SCRIPT>
<TABLE align=center bgColor=#666666 border=0 cellPadding=2 cellSpacing=1
width=770>
<TBODY>
<TR>
<TH bgColor=#990000 id=white><FONT
color=#ffffff>对该文的评论</FONT></TH></TR></TBODY></TABLE><BR>
<SCRIPT language=javascript>
<!--
function isEmpty(s)
{
return ((s == null) || (s.length == 0))
}
function submit1()
{
if (isEmpty(document.add_critique.csdnname.value) || isEmpty(document.add_critique.csdnpassword.value) || isEmpty(document.add_critique.critique_content.value))
{
alert('登陆名，密码，评论不能为空！！！！') ;
return false;
}
document.add_critique.submit();
}
//-->
</SCRIPT>
<TABLE align=center bgColor=#666666 border=0 cellPadding=2 cellSpacing=1
width=770>
<TBODY>
<TR>
<TH bgColor=#990000 id=white><FONT
color=#ffffff>发表评论</FONT></TH></TR></TBODY></TABLE>
<TABLE align=center bgColor=#ffffff border=0 cellPadding=2 cellSpacing=1
width=770>
<TBODY>
<TR>
<TD>
<FORM action=/develop/add_critique.asp method=post
name=add_critique><INPUT name=critique_add type=hidden value=add> <INPUT
name=from type=hidden value=8860> 评论人： <INPUT name=csdnname>
密码： <INPUT name=csdnpassword type=password>
评论：<BR> <TEXTAREA cols=100 name=critique_content rows=8></TEXTAREA><BR>
<INPUT name=ubmit onclick=javascript:submit1(); type=button value=发表评论>
<INPUT name=id type=hidden value=8860> </FORM></TD></TR></TBODY></TABLE>
<TABLE border=0 width=770>
<TBODY>
<TR>
<TD>
<TABLE border=0 cellPadding=2 width=770>
<TBODY>
<TR>
<TD height=10></TD></TR>
<TR>
<TD align=left width=130><A
href="http://www.csdn.net/news/looknews.asp?id=2313"
target=_blank><IMG border=0
src="http://www.csdn.net/job/images/csdn_job.gif"></A> </TD>
<TD align=middle width=510>
<OBJECT classid=clsid:D27CDB6E-AE6D-11cf-96B8-444553540000
codeBase=http://active.macromedia.com/flash2/cabs/swflash.cab#version=4,0,0,0
height=60 id=Movie1 width=468><PARAM NAME="movie" VALUE="http://www.csdn.net/images/ad/csdn_media.swf"><PARAM NAME="quality" VALUE="high">
<EMBED src="http://www.csdn.net/images/ad/csdn_media.swf"
quality=high WIDTH=468 HEIGHT=60
TYPE="application/x-shockwave-flash"
PLUGINSPAGE="http://www.macromedia.com/shockwave/download/index.cgi?P1_Prod_Version=ShockwaveFlash">
</EMBED> </OBJECT></TD>
<TD align=middle width=130><A
href="http://www.hd315.gov.cn/beian/view.asp?bianhao=010202001032100010"><IMG
border=0 src="http://www.csdn.net/images/biaoshi.gif"></A>
</TD></TR></TBODY></TABLE></TD></TR>
<TR>
<TD>
<TABLE align=default bgColor=#1f60a0 border=0 cellPadding=0 cellSpacing=0
height=20 width=770>
<TBODY>
<TR align=middle class=font13px vAlign=center>
<TD class=font13px height=2 vAlign=center width=90></TD>
<TD rowSpan=2 width=2><IMG height=13
src="http://www.csdn.net/images/ad4.gif" width=2></TD>
<TD class=font13px height=2 width=90></TD>
<TD rowSpan=2 width=3><FONT color=#ffffff><IMG height=13
src="http://www.csdn.net/images/ad4.gif" width=2></FONT></TD>
<TD class=font13px height=2 width=90></TD>
<TD rowSpan=2 width=2><IMG height=13
src="http://www.csdn.net/images/ad4.gif" width=2></TD>
<TD class=font13px height=2 width=90></TD>
<TD rowSpan=2 width=3><FONT color=#ffffff><IMG height=13
src="http://www.csdn.net/images/ad4.gif" width=2></FONT></TD>
<TD height=2 width=350><FONT color=#ffffff></FONT></TD>
<TD rowSpan=2 width=10><FONT color=#ffffff><IMG height=11
src="http://www.csdn.net/images/ad3.gif" width=6></FONT></TD>
<TD class=font13px height=2 width=60></TD></TR>
<TR align=middle class=font14px vAlign=center>
<TD class=font13px vAlign=center width=90><A
href="http://www.csdn.net/intro/intro.shtm"><FONT
color=#ffffff>美达美简介</FONT></A></TD>
<TD class=font13px width=90><A
href="http://www.csdn.net/intro/ad.shtm"><FONT
color=#ffffff>广告服务</FONT></A></TD>
<TD class=font13px width=90><A
href="http://www.csdn.net/English/"><FONT
color=#ffffff>英语步步高</FONT></A></TD>
<TD class=font13px width=90><A href="http://www.csdn.net/dev/"><FONT
color=#ffffff>程序员大本营</FONT></A></TD>
<TD align=right width=350><SPAN class=font13px><A
href="mailto:webmaster@csdn.net"><FONT
color=#ffffff>百联美达美科技有限公司</FONT></A></SPAN><FONT color=#ffffff><SPAN
class=font13px> </SPAN></FONT></TD>
<TD class=font13px width=60><FONT color=#ffffff>版权所有</FONT>
<SCRIPT>document.write("<img src=http://202.106.156.10/stat.asp?user=designol&refer="+escape(document.referrer)+"&cur="+escape(document.URL)+" width=0 height=0 border=0>");</SCRIPT>
</TD></TR></TBODY></TABLE></TD></TR></TBODY></TABLE></CENTER></BODY></HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -