⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 effective c++ 2e item37.htm

📁 Effective-c++.国外很经典的一本关于c++编程的电子书。
💻 HTM
📖 第 1 页 / 共 2 页
字号:
<P>class B {<BR>public:<BR>&nbsp; void mf();<BR>&nbsp; ...<BR>};</P>
<P>class D: public B { ... };</P>
<P>甚至对B,D或mf一无所知,也可以定义一个类型D的对象x,</P>
<P>D 
x;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// x是类型D的一个对象</P>
<P>那么,如果发现这么做:</P>
<P>B *pB = 
&amp;x;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 得到x的指针</P>
<P>pB-&gt;mf();&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 通过指针调用mf</P>
<P>和下面这么做的执行行为不一样:</P>
<P>D *pD = 
&amp;x;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 得到x的指针</P>
<P>pD-&gt;mf();&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 通过指针调用mf</P>
<P>你一定就会感到很惊奇。</P>
<P>因为两种情况下调用的都是对象x的成员函数mf,因为两种情况下都是相同的函数和相同的对象,所以行为会相同,对吗?</P>
<P>对,会相同。但,也许不会相同。特别是,如果mf是非虚函数而D又定义了自己的mf版本,行为就不会相同:</P>
<P>class D: public B {<BR>public:<BR>&nbsp; void 
mf();&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 隐藏了B::mf; 参见条款50</P>
<P>&nbsp; ...</P>
<P>};</P>
<P><BR>pB-&gt;mf();&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 调用B::mf</P>
<P>pD-&gt;mf();&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
// 调用D::mf</P>
<P>行为的两面性产生的原因在于,象B::mf和D::mf这样的非虚函数是静态绑定的(参见条款38)。这意味着,因为pB被声明为指向B的指针类型,通过pB调用非虚函数时将总是调用那些定义在类B中的函数 
---- 即使pB指向的是从B派生的类的对象,如上例所示。</P>
<P>相反,虚函数是动态绑定的(再次参见条款38),因而不会产生这类问题。如果mf是虚函数,通过pB或pD调用mf时都将导致调用D::mf,因为pB和pD实际上指向的都是类型D的对象。</P>
<P>所以,结论是,如果写类D时重新定义了从类B继承而来的非虚函数mf,D的对象就可能表现出精神分裂症般的异常行为。也就是说,D的对象在mf被调用时,行为有可能象B,也有可能象D,决定因素和对象本身没有一点关系,而是取决于指向它的指针所声明的类型。引用也会和指针一样表现出这样的异常行为。</P>
<P>实践方面的论据就说这么多。我知道你现在想知道的是,不能重新定义继承而来的非虚函数的理论依据是什么。我很高兴解答。</P>
<P>条款35解释了公有继承的含义是 "是一个",条款36说明了为什么 
"在一个类中声明一个非虚函数实际上为这个类建立了一种特殊性上的不变性"。如果将这些分析套用到类B、类D和非虚成员函数B::mf,那么,</P>
<P>· 适用于B对象的一切也适用于D对象,因为每个D的对象 "是一个" B的对象。<BR>· 
B的子类必须同时继承mf的接口和实现,因为mf在B中是非虚函数。</P>
<P>那么,如果D重新定义了mf,设计中就会产生矛盾。如果D真的需要实现和B不同的mf,而且每个B的对象 ---- 无论怎么特殊 ---- 
也真的要使用B实现的mf,那么,每个D将不 "是一个" 
B。这种情况下,D不能从B公有继承。相反,如果D真的必须从B公有继承,而且D真的需要和B不同的mf的实现,那么,mf就没有为B反映出特殊性上的不变性。这种情况下,mf应该是虚函数。最后,如果每个D真的 
"是一个" B,并且如果mf真的为B建立了特殊性上的不变性,那么,D实际上就不需要重新定义mf,也就决不能这样做。</P>
<P>不管采用上面的哪一种论据都可以得出这样的结论:任何条件下都要禁止重新定义继承而来的非虚函数。</P><BR><BR></DIV></DIV></DIV><BR><BR>
<SCRIPT src="Effective C++ 2e Item37.files/get_readnum.htm"></SCRIPT>

<TABLE cellSpacing=1 cellPadding=2 width=770 align=center bgColor=#666666 
border=0>
  <TBODY>
  <TR>
    <TH id=white bgColor=#990000><FONT 
  color=#ffffff>对该文的评论</FONT></TH></TR></TBODY></TABLE><BR>
<TABLE cellSpacing=1 cellPadding=2 width=770 align=center bgColor=#666666 
border=0>
  <TBODY>
  <TR>
    <TD bgColor=#cccc99 colSpan=3><SPAN style="COLOR: #990000"><IMG height=16 
      hspace=1 src="http://www.csdn.net/develop/images/ico_pencil.gif" width=16> 
      </SPAN>&nbsp;&nbsp;&nbsp;&nbsp; Chxis <I>( 2001-7-31 15:31:46 )</I> </TD></TR>
  <TR>
    <TD width=532 bgColor=#eeeecc 
    colSpan=3><BR>对啊,<BR>juco11@21cn.com<BR><BR></TD></TR></TBODY></TABLE>
<TABLE cellSpacing=1 cellPadding=2 width=770 align=center bgColor=#666666 
border=0>
  <TBODY>
  <TR>
    <TD bgColor=#cccc99 colSpan=3><SPAN style="COLOR: #990000"><IMG height=16 
      hspace=1 src="http://www.csdn.net/develop/images/ico_pencil.gif" width=16> 
      </SPAN>&nbsp;&nbsp;&nbsp;&nbsp; yechun <I>( 2001-7-30 21:06:57 )</I> 
</TD></TR>
  <TR>
    <TD width=532 bgColor=#eeeecc 
      colSpan=3><BR>好多啊。要一百多页了。你有主页吗?那里可以下载到完全的啊。<BR>要不发一份给我吧。ych316@china.com 
      <BR></TD></TR></TBODY></TABLE>
<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 cellSpacing=1 cellPadding=2 width=770 align=center bgColor=#666666 
border=0>
  <TBODY>
  <TR>
    <TH id=white bgColor=#990000><FONT 
color=#ffffff>发表评论</FONT></TH></TR></TBODY></TABLE>
<TABLE cellSpacing=1 cellPadding=2 width=770 align=center bgColor=#ffffff 
border=0>
  <TBODY>
  <TR>
    <TD>
      <FORM name=add_critique action=/develop/add_critique.asp 
      method=post><INPUT type=hidden value=add name=critique_add> <INPUT 
      type=hidden value=9286 name=from> &nbsp;&nbsp;评论人: <INPUT name=csdnname> 
      &nbsp;&nbsp;密码: <INPUT type=password name=csdnpassword> 
      &nbsp;&nbsp;评论:<BR>&nbsp;&nbsp; <TEXTAREA name=critique_content rows=8 cols=100></TEXTAREA><BR>&nbsp;&nbsp; 
<INPUT onclick=javascript:submit1(); type=button value=发表评论 name=ubmit> 
      <INPUT type=hidden value=9286 name=id> </FORM></TD></TR></TBODY></TABLE>
<TABLE width=770 border=0>
  <TBODY>
  <TR>
    <TD>
      <TABLE cellPadding=2 width=770 border=0>
        <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 src="http://www.csdn.net/job/images/csdn_job.gif" 
            border=0></A> </TD>
          <TD align=middle width=510>
            <OBJECT id=Movie1 
            codeBase=http://active.macromedia.com/flash2/cabs/swflash.cab#version=4,0,0,0 
            height=60 width=468 
            classid=clsid:D27CDB6E-AE6D-11cf-96B8-444553540000><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 
            src="http://www.csdn.net/images/biaoshi.gif" border=0></A> 
        </TD></TR></TBODY></TABLE></TD></TR>
  <TR>
    <TD>
      <TABLE height=20 cellSpacing=0 cellPadding=0 width=770 align=default 
      bgColor=#1f60a0 border=0>
        <TBODY>
        <TR class=font13px vAlign=center align=middle>
          <TD class=font13px vAlign=center width=90 height=2></TD>
          <TD width=2 rowSpan=2><IMG height=13 
            src="http://www.csdn.net/images/ad4.gif" width=2></TD>
          <TD class=font13px width=90 height=2></TD>
          <TD width=3 rowSpan=2><FONT color=#ffffff><IMG height=13 
            src="http://www.csdn.net/images/ad4.gif" width=2></FONT></TD>
          <TD class=font13px width=90 height=2></TD>
          <TD width=2 rowSpan=2><IMG height=13 
            src="http://www.csdn.net/images/ad4.gif" width=2></TD>
          <TD class=font13px width=90 height=2></TD>
          <TD width=3 rowSpan=2><FONT color=#ffffff><IMG height=13 
            src="http://www.csdn.net/images/ad4.gif" width=2></FONT></TD>
          <TD width=350 height=2><FONT color=#ffffff></FONT></TD>
          <TD width=10 rowSpan=2><FONT color=#ffffff><IMG height=11 
            src="http://www.csdn.net/images/ad3.gif" width=6></FONT></TD>
          <TD class=font13px width=60 height=2></TD></TR>
        <TR class=font14px vAlign=center align=middle>
          <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 + -