在《C宏——智者的利刃，愚者的惡夢! 》一文中，提到了一種使用宏的方式 —— “例一、用C宏，書寫代碼更簡潔”。
《C宏——智者的利刃，愚者的惡夢! 》： http://www.vckbase.com/document/viewdoc/?id=1454
《C宏——智者的利刃，愚者的惡夢! 》： http://blog.vckbase.com/smileonce/archive/2005/03/27/4081.html
本文章分別給出C++和C中不使用宏的實現方式。
?
首先，書寫代碼更簡潔是否是優點？
有興趣的讀者請看看《設計Qt風格的C++API》一文中“便利陷阱” (The Convenience Trap) 一節。
中文： http://blog.csdn.net/TopLanguage/archive/2008/02/21/2111467.aspx
英文： http://doc.trolltech.com/qq/qq13-apis.html
【永遠記住代碼一次寫就，之后需要不斷的閱讀并理解。】
【Keep in mind that code is written more than once but has to be understood over and over again.】
?
如果真要達到笑笑文中——【mbuf的屬性，完全可以壓扁到一個平面上去看】——這個目的，除了宏，也是有其他方法的。
在這里說明一下，笑笑在文中并沒有給出struct mbuf的完整定義。
我沒有linux，Cygwin也刪掉了，安裝挺麻煩的……
順藤摸瓜的下載了一部分文件：
http://opengrok.creo.hu/dragonfly/xref/src/sys/sys/mbuf.h
http://opengrok.creo.hu/dragonfly/xref/src/sys/sys/param.h
http://opengrok.creo.hu/dragonfly/xref/src/sys/net/netisr.h
http://opengrok.creo.hu/dragonfly/xref/src/sys/net/netmsg.h
http://opengrok.creo.hu/dragonfly/xref/src/sys/sys/thread.h
http://opengrok.creo.hu/dragonfly/xref/src/sys/sys/msgport.h
企圖拼出一個完整的struct mbuf定義，但實在太麻煩，這里就放棄了 ……
所以只用一個簡單的例子來說明如何不使用宏來達到這一目的。
當然，也會說明如果結構體更復雜該如何擴展。
?
結構體定義：
/**/
/*
*?structure?definition?
*/
/**/
/*
?simple?Point?&?Size?structure?
*/
typedef?
struct
?Point_?
{
????
int
?x;
????
int
?y;
}
?Point;
typedef?
struct
?Size_?
{
????
int
?width;
????
int
?height;
}
?Size;
/**/
/*
*?complex?Rect?structrue?
*/
typedef?
struct
?Rect_?
{
????Point?offset;
????Size?size;
}
?Rect;
C++方案：
?
C++方案
namespace?cpp?{
????class?RectAccessor?{
????public:
????????RectAccessor(Rect&?r)
????????????:x(r.offset.x)
????????????,y(r.offset.y)
????????????,width(r.size.width)
????????????,height(r.size.width)
????????{??}
????public:
????????int&?x;
????????int&?y;
????????int&?width;
????????int&?height;
????};
????void?test(int?(&arr)[4],Rect*?r)?{
????????RectAccessor?ac(*r);
????????//?同一平面
????????ac.x?=?arr[0];
????????ac.y?=?arr[1];
????????ac.width?=?arr[2];
????????ac.height?=?arr[3];
????????printf("%d?%d?%d?%d\n",ac.x,ac.y,ac.width,ac.height);
????}
}
const怎么辦？
（對const的考慮，C++程序員總是比C程序員要多一點，不是嗎？）
const accessor
/**//**?const?accessor?*/
//?再定義一個const存取器不就完了？
class?ConstRectAccessor?{?/**//**/?};
//如果覺得這樣名字不統一，不好看，也可以這樣
template<bool?is_constant>
class?RectAccessor;
template<>
class?RectAccessor<false>?{?/**//*?同上面那個RectAccessor?*/?};
class?RectAccessor<true>?{?/**//*?同上面那個ConstRectAccessor?*/?};
對更復雜的結構體，該方法的擴展是很容易的事情：在構造函數的成員初始化列表里寫就是了。
C呢？是不是只能使用宏？當然不是。
C的方案：
?
union
namespace?c?{
????typedef?union?RectAccessor_
????{
????????struct?S1?{
????????????int?x;
????????????int?y;
????????????int?width;
????????????int?height;
????????};
????????struct?S2?{
????????????Point?offset;
????????????Size?size;
????????};
????????Rect?rect;
????}?RectAccessor;
????__declspec(noinline)?void?test(int?(&arr)[4],Rect*?r)?{
????????RectAccessor*?ac?=?(RectAccessor*)?r;
????????//?同一平面
????????ac->x?=?arr[0];
????????ac->y?=?arr[1];
????????ac->width?=?arr[2];
????????ac->height?=?arr[3];
????????printf("%d?%d?%d?%d\n",ac->x,ac->y,ac->width,ac->height);
????}
}
對const, 轉型的時候，注意使用合適的指針類型就可以了。
想更復雜的結構體擴展：
如果對上面的方案不理解，甚至對mbuf都不理解，最好還是老老實實的使用全名。
永遠記得，代碼讀的次數比寫的次數多！
上面的方案，是利用了一個特性，叫“匿名聯合”還別的什么東東。
含義大概是這樣：
anonymous
union?U?{
??struct?/**//**?anonymous?*/?{
?????t11?v11;
?????t12?v12;
?????/**//*?more?members?*/
??}?/**//**?anonymous?*/;
??struct?/**//**?anonymous?*/?{
?????t21?v21;
?????t22?v22;
?????/**//*?more?members?*/
??}?/**//**?anonymous?*/;
??/**//**?more?structures?*/
};
/**//*?那么就可以*/
U?u;
u.v11;?u.v12;?u.v21;
?
經測試，上面兩種方案，在VC8 O2優化下，生成的機器碼同不使用Accessor
完全一致。
GCC就沒有測試了，看不懂它的匯編……
?
對宏的方案（也就是mbuf.h中提供的）的改進：
簡直無法想象！居然在
頭文件 中
定義如此
普遍 的
小寫宏名字！
?
宏改進方案：
/**//**?mbuf_accessor_define.h?*/
#define????m_next????????m_hdr.mh_next
#define????m_len????????m_hdr.mh_len
#define????m_data????????m_hdr.mh_data
#define????m_type????????m_hdr.mh_type
#define????m_flags????????m_hdr.mh_flags
#define????m_nextpkt????m_hdr.mh_nextpkt
#define????m_pkthdr????M_dat.MH.MH_pkthdr
#define????m_ext????????M_dat.MH.MH_dat.MH_ext
#define????m_pktdat????M_dat.MH.MH_dat.MH_databuf
#define????m_dat????????M_dat.M_databuf
/**//**?mbuf_accessor_undef.h?*/
#undef????m_next
#undef????m_len
#undef????m_data
#undef????m_type
#undef????m_flags
#undef????m_nextpkt
#undef????m_pkthdr
#undef????m_ext
#undef????m_pktdat
#undef????m_dat
/**//*?需要的時候?*/
#include?<mbuf_accessor_define.h>
/**//*?使用簡寫?*/
/**//*?使用簡寫?*/
/**//*?使用簡寫?*/
/**//*?然后立刻取消定義?*/
#include?<mbuf_accessor_undef.h> ?
PS：C程序員總說C++的語言特性有心智包袱，難道宏就不算心智包袱？
?
物理老師從來都是這么寫：???????????? ?F = M*A;
沒見任何一個物理老師會這么寫：? F = multiply(M,A);
如果是，請立刻和同學打賭說他是程序員，而且很有可能是C程序員。
hp_int i1,i2,i3;
// ...
數學老師也總是這么寫： hp_int icpp = i1 + i2 * i3;
不會有數學老師這么寫：
hp_int ic;
hp_assign(&i2,&ic);
hp_multiply(&i3,&ic);
hp_plus(&i1,&ic);
或者這么寫：
hp_plus(&i1,hp_multiply(&i3,hp_assgin(&i2,&ic) ) );
（hp —— 高精度，? 對矩陣也是同樣）
C程序員說，不知道 string s = s1 + s2 + s3;背后做了什么。
C++程序員說，由庫決定。
C程序員說，我對庫中那些精巧的技術不感興趣（不熟悉，不愿意學）。
C++程序員說，就對宏技術感興趣？
C程序員說，宏效率高。
C++程序員說， 如果 string s = s1 + s2 + s3;可以實現得比 strcat(strcat(strcat(....) 效率更高，你信不信？
C++程序員再說，如果可以自然的寫出hp_int icpp = i1 + i2 * i3;有正確的運算優先級，效率與hp_plus(&i1,hp_multiply(&i3,hp_assgin(&i2,&ic) ) );等同，你還愿意用后者？
C程序員說，那些實現都是心智包袱，我不喜歡。
C++程序員說，宏算不算心智包袱？你怎么就喜歡了？
總之，這只是一種不愿學習的心態，一種手拿錘子見什么都是釘子的心態。
Linus年紀也不算大……才40歲…… 哎……
posted on 2009-02-19 21:48
OwnWaterloo 閱讀(90)
評論(0) ?
編輯?
收藏引用