C++ typeof基本應(yīng)用方式解析
C++編程語言可以被看做是C語言的升級(jí)版本。它不但擁有C語言的各種特性，而且還在一些特定方面上有所改進(jìn)，使得開發(fā)人員在編程中大大提高了開發(fā)效率。我們?cè)谶@里會(huì)為大家詳細(xì)講解一下有關(guān)C++ typeof的應(yīng)用方法。
一、基本用法。
1、C++ typeof表達(dá)式。
以下是它列出的用法：
a、取表達(dá)式的值的類型：
- template< class A, class B>
- function operator*(A a, B b) -> typeof(a*b); // return type last
- // big change: function keyword
- // : and return are obvious alternatives for ->
- template< class A, class B>
- typeof(a*b) operator* (A a, B b) ; // “lookahead parsing”
typeof(a*b)并不真的計(jì)算a*b的值，而是獲得計(jì)算的結(jié)果類型。
b、取表達(dá)式的類型：
- template< class A, class B>
- typeof(A*B) operator*(A a, B b); // use typenames
- // not general
- template< class A, class B>
- typeof((*(A*)0)*(*(B*)0)) operator*(A a, B b); // hack
目前好像只有g(shù)cc編譯器支持這個(gè)關(guān)鍵字。
2、auto關(guān)鍵字。
auto在老的語法中，是標(biāo)識(shí)存儲(chǔ)類型的，表明此變量在本代碼塊范圍內(nèi)有效，這是默認(rèn)屬性，可以不寫，所以感覺有點(diǎn)多余。
在c++0x中，auto有了新用法，它的作用和C++ typeof相似，用法如下：
- template< class A, class B> typeof(a*b) operator*(A a, B b)
- {
- auto x = a*b; // avoid replication of expression/type
- // …
- return x;
- }
- auto glob = x*y;
看來它的作用是節(jié)省代碼的，完全可以用C++ typeof代替。
二、使用。
從上面的基本用法就知道，以往難以處理的不同類型運(yùn)算問題，它都能輕松處理。
在其它場(chǎng)合，它也能派上用場(chǎng)。比如，我前段時(shí)間碰到的一個(gè)問題，比如下面一個(gè)普通類：
- struct A
- {
- int test ();
- };
在另一個(gè)類中，想要?jiǎng)?chuàng)建一個(gè)兼容A::test類型的委托(自定義的委托類)：
- struct B
- {
- Delegate < int()> test;
- };
好象很容易就完成了。不過假如我的類A有10個(gè)方法，要在類B中定義10個(gè)委托呢？而且還要應(yīng)對(duì)類A中可能發(fā)生的變化。于是我使用了宏來輔助產(chǎn)生類B：
- BEGIN_DEFINE(B) // struct B{
- METHOD(A,test) // Delegate< ...> test;
- ...
- END_DEFINE() // };
METHOD宏就是根據(jù)參數(shù)中指定的類和方法，產(chǎn)生委托的定義。如何得到A::test的類型？
A::test本身在C++中是個(gè)不能確定類型的東西，除非它是static，而&A::test則是一個(gè)指針值。還是那個(gè)問題，如何得到它的類型？
試圖使用traits類模板來分離類型？注意模板類在使用時(shí)必須先給出模板參數(shù)，只有模板函數(shù)可以自行推導(dǎo)出模板參數(shù)的類型，而函數(shù)不可能出現(xiàn)在類的聲明中。
好了，廢話不多說了，其實(shí)使用C++ typeof是比較簡(jiǎn)單的實(shí)現(xiàn)方法：
- template < class T>
- class TypeTraits
- {
- TypeTraits (); // not implemented
- };
- //多個(gè)偏特化版本中的一個(gè)
- template < class T, class Ret>
- struct TypeTraits < Ret(T::*)() >
- {
- typedef Delegate < Ret()> type;
- };
上面的METHOD可以定義為：
- #define METHOD(T,x) TypeTraits< typeof(&T::x)>::type x;
這是目前我找到的***一個(gè)方法，先記錄下來。以上就是對(duì)C++ typeof的具體應(yīng)用方法的介紹。
【編輯推薦】
