Code@Pig Home

喜欢背着一袋Code傻笑的Pig .. 忧美.欢笑.记忆.忘却 .之. 角落

日志

关于我

kasicass

gamecoder@work

文章分类

[java] 正确使用 instanceof

2009-05-24 06:22:40| 分类： lang_java | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

源于《Practical Java》中实践5/6。
啥时候才需要使用 instanceof 呢？唯一的情况：基类向子类 dynamic cast 的时候。

class A;
class B extends A;
class C extends A;
class D;

A a = new B();
B b = (B) a;    // ok
C c = (B) a;    // runtime error (throw ClassCastException)
D d = (D) a;    // compile error

只有下面的情况，才需要 instanceof，不过应该避免“同一基类下各个子类有不同行为"这样的设计存在。
for ( o : ArrayOfTypeA )
{
    if ( o instanceof B ) { B b = (B)o; ... do sth. B-specific }
    else if ( o instanceof C ) { C c = (C)o; ... do sth. C-specific }
    ...
}

对比 C++ 的 dynamic_cast<T>(p)
class A { virtual void foo(){} };
class B : public A;
class C : public A;
class D;

C-style cast，一定成功，但转换过去，语义上说不同。
A *a = new C();
B *b = (B*)p;
D *d = (D*)p;

对于 T 为指针，转换不成功，则返回。所以这里 b/d 都等于 NULL。如果按 java 的规则，d 应该为 compile error。
B *b = dynamic_cast<B*>(a);
D *d = dynamic_cast<D*>(a);

对于 T 为引用，转换不成功，则 throw std::bad_cast，T_T 居然于指针时的行为不一致。
C c;
A &a = c;
B &b = dynamic_cast<B&>(a);
D &d = dynamic_cast<D&>(a);

对于 T 为 void *，无论如何，都可以转换成功，b 就等于 a 的地址。
void *b = dynamic_cast<void*>(a);

参考资料
http://publib.boulder.ibm.com/infocenter/lnxpcomp/v7v91/index.jsp?topic=/com.ibm.vacpp7l.doc/language/ref/clrc05keyword_dynamic_cast.htm
http://en.wikipedia.org/wiki/Dynamic_cast
http://www.cppreference.com/wiki/keywords/dynamic_cast

ps. 一件简单的事情，居然让 wikipedia 上有专贴，C++ 真是把简单的问题复杂化。目前觉得 C++ 中引入 reference(引用) 带来的复杂，远比其带来的便利大。

评论这张

转发至微博

阅读(1135)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_082065083080082068084095080095087095084069085095',
              blogTitle:'[java] 正确使用 instanceof',
              blogAbstract:'源于《Practical Java》中实践5/6。<br\>啥时候才需要使用 instanceof 呢？唯一的情况：基类向子类 dynamic cast 的时候。<br\><br\>class A;<br\>class B extends A;<br\>class C extends A;<br\>class D;<br\><br\>A a = new B();<br\>B b = (B) a;    // ok<br\>C c = (B) a;    // runtime error (throw ClassCastException)<br\>D d = (D) a;    // compile error<br\><br\>只有下面的情况，才需要 instanceof，不过应该避免“同一基类下各个子类有不同行为\"这样的设',
              blogTag:'',
              blogUrl:'blog/static/395619200942462240444',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1317420182546,
              publishTime:1243117360444,
              permalink:'blog/static/395619200942462240444',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'gamecoder@work',
              hmcon:'1',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/395619200942462240444">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

Code@Pig Home

导航

日志

[java] 正确使用 instanceof

历史上的今天

最近读者

热度

评论

页脚