復(fù)雜的東西寫(xiě)多了，如今寫(xiě)點(diǎn)簡(jiǎn)單的好了。由于功能上的需要，
Vczh Library++3.0被我搞得很離譜。為了開(kāi)發(fā)維護(hù)的遍歷、減少粗心犯下的錯(cuò)誤以及增強(qiáng)單元測(cè)試、回歸測(cè)試和測(cè)試工具，因此記錄下一些開(kāi)發(fā)上的小技巧，以便拋磚引玉，造福他人。歡迎高手來(lái)噴，菜鳥(niǎo)膜拜。
之前的文章講了指針和內(nèi)存的一些問(wèn)題，今天說(shuō)一下單元測(cè)試的問(wèn)題。如果在團(tuán)隊(duì)里面沒(méi)有對(duì)單元測(cè)試的框架有要求的話，其實(shí)我們可以使用一個(gè)最簡(jiǎn)單的方法來(lái)搭建在IDE里面運(yùn)行的單元測(cè)試框架，整個(gè)框架只需十幾行代碼。我們先來(lái)考慮一下功能最少的單元測(cè)試框架需要完成什么樣的內(nèi)容。首先我們要運(yùn)行一個(gè)一個(gè)的測(cè)試用例，其次在一個(gè)測(cè)試用例里面我們要檢查一些條件是否成立。舉個(gè)例子，我們寫(xiě)一個(gè)函數(shù)將兩個(gè)字符串連接起來(lái)，一般來(lái)說(shuō)要進(jìn)行下面的測(cè)試：
1 #include "MyUnitTestFramework.h"//等一下我們會(huì)展示一下如何用最少的代碼完成這個(gè)頭文件的內(nèi)容
2 #include "
"
3
4 TEST_CASE(StringConcat)
5 {
6 TEST_ASSERT(concat("a", "b")=="ab");
7 TEST_ASSERT(concat("a", "")=="a");
8 TEST_ASSERT(concat("", "b")=="b");
9 TEST_ASSERT(concat("", "")=="");
10 .
11 }
12
13 int wmain()
14 {
15 return 0;
16 }
如果我們的單元測(cè)試框架可以這么寫(xiě)，那顯然做起什么事情來(lái)都會(huì)方便很多，而且不需要向一些其他的測(cè)試框架一樣注冊(cè)一大堆東西，或者是寫(xiě)一大堆配置函數(shù)。當(dāng)然這次我們只做功能最少的測(cè)試框架，這個(gè)框架除了運(yùn)行測(cè)試以外，不會(huì)有其他功能，譬如選擇哪些測(cè)試可以運(yùn)行啦，還是在出錯(cuò)的時(shí)候log一些什么啦之類(lèi)。之所以要在IDE里面運(yùn)行，是因?yàn)槲覀內(nèi)绻龅絋EST_ASSERT中出現(xiàn)false的話，立刻在該行崩潰，那么IDE就會(huì)幫你定位到出錯(cuò)的TEST_ASSERT中去，然后給你顯示所有的上下文信息，譬如說(shuō)callstack啦什么的。友好的工具不用簡(jiǎn)直對(duì)不起自己啊，干嗎非得把單元測(cè)試做得那么復(fù)雜捏，凡是單元測(cè)試，總是要全部運(yùn)行通過(guò)才能提交代碼的。
那么我們來(lái)看看上面的單元測(cè)試的代碼。首先寫(xiě)了TEST_CASE的那個(gè)地方，大括號(hào)里面的代碼會(huì)自動(dòng)運(yùn)行。其次TEST_ASSERT會(huì)在表達(dá)式是false的時(shí)候崩潰。先從簡(jiǎn)單的入手吧。如何制造崩潰呢？最簡(jiǎn)單的辦法就是拋異常：
1 #define TEST_ASSERT(e) do(if(!(e))throw "今晚沒(méi)飯吃。";}while(0)
這里面有兩個(gè)要注意的地方。首先e要加上小括號(hào)，不然取反操作符就有可能做出錯(cuò)誤的行為。譬如說(shuō)當(dāng)e是a+b==c的時(shí)候，加了小括號(hào)就變成if(!(a+b==c))...，沒(méi)有加小括號(hào)就變成if(!a+b==c)...，意思就完全變了。第二個(gè)主意的地方是我使用do{...}while(0)把語(yǔ)句包圍起來(lái)了。這樣做的好處是可以在任何時(shí)候TEST_ASSERT(e)都像一個(gè)語(yǔ)句。譬如我們可能這么寫(xiě)：
1 if(a)
2 TEST_ASSERT(x1);
3 else if(b)
4 {
5 TEST_ASSERT(x2);
6 TEST_ASSERT(x3);
7 }
如果沒(méi)有do{...}while(0)包圍起來(lái)，這個(gè)else就會(huì)被綁定到宏里面的那個(gè)if，你的代碼就被偷偷改掉了。
那么現(xiàn)在剩下TEST_CASE(x){y}了。什么東西可以在main函數(shù)外面自動(dòng)運(yùn)行呢？這個(gè)我想熟悉C++的人都會(huì)知道，就是全局變量的構(gòu)造函數(shù)啦。所以TEST_CASE(x){y}那個(gè)大括號(hào)里面的y只能在全局變量的構(gòu)造函數(shù)里面調(diào)用。但是我們知道寫(xiě)一個(gè)類(lèi)的時(shí)候，構(gòu)造函數(shù)的大括號(hào)寫(xiě)完了，后面還有類(lèi)的大括號(hào)，全局變量的名稱，和最終的一個(gè)分號(hào)。為了把這些去掉，那么顯然{y}應(yīng)該屬于一個(gè)普通的函數(shù)。那么全局變量如何能夠使用這個(gè)函數(shù)呢？方法很簡(jiǎn)單，把函數(shù)前置聲明一下就行了：
1 #define TEST_CASE(NAME) \
2 extern void TESTCASE_##NAME(); \
3 namespace vl_unittest_executors \
4 { \
5 class TESTCASE_RUNNER_##NAME \
6 { \
7 public: \
8 TESTCASE_RUNNER_##NAME() \
9 { \
10 TESTCASE_##NAME(); \
11 } \
12 } TESTCASE_RUNNER_##NAME##_INSTANCE; \
13 } \
14 void TESTCASE_##NAME()
那我們來(lái)看看TEST_CASE(x){y}究竟會(huì)被翻譯成什么代碼：
1 extern void TESTCASE_x();
2 namespace vl_unittest_executors
3 {
4 class TESTCASE_RUNNER_x
5 {
6 public:
7 TESTCASE_RUNNER_x()
8 {
9 TESTCASE_x();
10 }
11 } TESTCASE_RUNNER_x_INSTANCE;
12 }
13 void TESTCASE_x(){y}
到了這里是不是很清楚了捏，首先在main函數(shù)運(yùn)行之前TESTCASE_RUNNER_x_INSTANCE變量會(huì)初始化，然后調(diào)用TESTCASE_RUNNER_x的構(gòu)造函數(shù)，最后運(yùn)行函數(shù)TESTCASE_x，該函數(shù)的內(nèi)容顯然就是{y}了。這里還能學(xué)到宏是如何連接兩個(gè)名字成為一個(gè)名字，和如何寫(xiě)多行的宏的。
于是MyUnittestFramework.h就包含這兩個(gè)宏，其他啥都沒(méi)有，是不是很方便呢？打開(kāi)Visual C++，建立一個(gè)工程，引用這個(gè)頭文件，然后寫(xiě)你的單元測(cè)試，最后F5就運(yùn)行了，多方便啊，啊哈哈哈。
這里需要注意一點(diǎn)，那些單元測(cè)試的順序是不受到保證的，特別是你使用了多個(gè)cpp文件的情況下。于是你在使用這個(gè)測(cè)試框架的同時(shí)，會(huì)被迫保證執(zhí)行一次單元測(cè)試不會(huì)對(duì)你的全局狀態(tài)帶來(lái)什么副作用，以便兩個(gè)測(cè)試用例交換順序執(zhí)行的時(shí)候仍然能穩(wěn)定地產(chǎn)生相同的結(jié)果。這對(duì)你寫(xiě)單元測(cè)試有幫助，而且為了讓你的代碼能夠被這么測(cè)試，你的代碼也會(huì)寫(xiě)的有條理，不會(huì)依賴全局狀態(tài)，真是一舉兩得也。而且說(shuō)不定單元測(cè)試用例比你的全局變量的初始化還先執(zhí)行呢，因此為了使用這個(gè)測(cè)試框架，你將會(huì)不得不把你的全局變量隱藏在一個(gè)cpp里面，而暴露出隨時(shí)可以被調(diào)用的一組函數(shù)出來(lái)。這樣也可以讓你的代碼在使用全局狀態(tài)的時(shí)候更加安全。
今天就講到這里了。下一篇要寫(xiě)什么我還沒(méi)想好，到時(shí)候再說(shuō)吧。
posted on 2010-06-27 04:19
陳梓瀚(vczh) 閱讀(10121)
評(píng)論(16) 編輯 收藏 引用 所屬分類(lèi):
C++實(shí)用技巧