static_cast 用法
文法:
static_cast<type-name>(expression)
僅當 type-name 可以隐式轉換為 expression 所屬的類型,或者 expression 可以隐式轉換為 type-name 所屬的類型,轉換才是合法的。否則,編譯器會報錯。
可以将有繼承關系的派生類對象的位址賦給基類指針。即使基類中沒有虛函數也可以使用 static_cast 進行轉換。
可以将有繼承關系的基類對象的位址賦給派生類指針。因為派生類指針可以隐式轉換為基類指針,無需顯式類型轉換,是以可以用 static_cast 進行另一個方向的轉換,即将基類指針轉換為派生類指針。但是,這樣做有什麼意義呢?
同理,因為枚舉值可以隐式轉換為整型,無需顯式類型轉換,是以可以用 static_cast 将整型轉換為枚舉類型。
如果将沒有繼承關系的對象的位址賦給另一個類的指針,編譯器會報錯。
請看代碼一:
<code>#include<cstdio></code>
<code>class</code> <code>Base{</code>
<code> </code><code>int</code> <code>dat;</code>
<code>public</code><code>:</code>
<code> </code><code>explicit</code> <code>Base(</code><code>int</code> <code>val) : dat(val){</code>
<code> </code><code>printf</code><code>(</code><code>"%s, this=%p\n"</code><code>, __func__, </code><code>this</code><code>);</code>
<code> </code><code>}</code>
<code>#if 0</code>
<code> </code><code>virtual</code> <code>void</code> <code>act(){</code>
<code>#else</code>
<code> </code><code>void</code> <code>act(){</code>
<code>#endif</code>
<code>};</code>
<code>class</code> <code>Sub : </code><code>public</code> <code>Base{</code>
<code> </code><code>explicit</code> <code>Sub(</code><code>int</code> <code>val) : Base(val){</code>
<code>class</code> <code>Other{</code>
<code> </code><code>explicit</code> <code>Other(</code><code>int</code> <code>val) : dat(val){</code>
<code>int</code> <code>main(){</code>
<code> </code><code>Base obase(1);</code>
<code> </code><code>Sub osub(2);</code>
<code> </code><code>Base *pbase = NULL;</code>
<code> </code><code>if</code><code>(pbase = </code><code>static_cast</code><code><Base *>(&osub) ){</code>
<code> </code><code>pbase->act();</code>
<code> </code>
<code> </code><code>printf</code><code>(</code><code>"---------------\n"</code><code>);</code>
<code> </code><code>Base *ptr = &osub;</code>
<code> </code><code>ptr->act();</code>
<code>#if 1</code>
<code> </code><code>if</code><code>(Sub *psub = </code><code>static_cast</code><code><Sub *>(&obase) ){</code>
<code> </code><code>psub->act();</code>
<code> </code><code>Other oother(3);</code>
<code> </code><code>//error: invalid static_cast from type ‘Other*’ to type ‘Base*’</code>
<code> </code><code>if</code><code>(pbase = </code><code>static_cast</code><code><Base *>(&oother) ){</code>
<code>#endif </code>
<code>}</code>
測試結果:
frank@userver:~/project/test/cpp/rtti$ ./a.out
Base, this=0x7fff6d478100
Base, this=0x7fff6d478110
Sub, this=0x7fff6d478110
act, this=0x7fff6d478110
---------------
act, this=0x7fff6d478100
代碼二:
<code> </code><code>enum</code> <code>eSource{</code>
<code> </code><code>eAuxSource = 0,</code>
<code> </code><code>eOpticalSource,</code>
<code> </code><code>eBtSource,</code>
<code> </code><code>eFcSource,</code>
<code> </code><code>eSpotifySource,</code>
<code> </code><code>eGcSource</code>
<code> </code><code>};</code>
<code> </code><code>eSource src = eBtSource;</code>
<code> </code><code>//eSource src = 3; //error: invalid conversion from ‘int’ to ‘main()::eSource’ [-fpermissive]</code>
<code> </code><code>eSource src = </code><code>static_cast</code><code><eSource>(3.1);</code>
<code> </code><code>printf</code><code>(</code><code>"src: %p, %lu, %d\n"</code><code>, &src, </code><code>sizeof</code><code>(src), src);</code>
本文轉自FrankNie0101 51CTO部落格,原文連結:http://blog.51cto.com/frankniefaquan/1939620,如需轉載請自行聯系原作者