建構函式中丟擲的異常

建構函式中丟擲的異常
　　1、標準C++中定義建構函式是一個物件構建自己，分配所需資源的地方，一旦建構函式執行完畢，則表明這個物件已經誕生了，有自己的行為和內部的執行狀態，之後還有物件的消亡過程（解構函式的執行）。可誰能保證物件的構造過程一定能成功呢？說不定系統當前的某個資源不夠，導致物件不能完全構建好自己（人都有畸形兒，更何況別的呢？朋友們！是吧！），因此通過什麼方法來表明物件的構造失敗了呢？C++程式設計師朋友們知道，C++中的建構函式是沒有返回值的，所以不少關於C++程式設計方面的書上得出結論：“因為建構函式沒有返回值，所以通知物件的構造失敗的唯一方法那就是在建構函式中丟擲異常”。主人公阿愚非常不同意這種說法，誰說的，便不信邪！雖然C++標準規定建構函式是沒有返回值，可我們知道每個函式實際上都會有一個返回值的，這個值被儲存在eax暫存器中，因此實際上是有辦法通過程式設計來實現建構函式返回一個值給上層的物件建立者。當然即便是建構函式真的不能有返回值，我們也可以通過一個指標型別或引用型別的出參來獲知物件的構造過程的狀態。示例如下：

class MyTest_Base
{
public:
MyTest_Base (int& status)
{
//do other job

// 由於資源不夠，物件構建失敗
// 把status置0，通知物件的構建者
status = 0;
}

protected:
};

void main()
{
int status;
MyTest_Base obj1(status);

// 檢查物件的構建是否成功
if(status ==0) cout << “物件構建失敗” << endl;
}

　　程式執行的結果是：
　　物件構建失敗
　　是啊！上面我們不也得到了物件構造的成功與否的資訊了嗎？可大家有沒有覺得這當中有點問題？主人公阿愚建議大家在此停留片刻，仔細想想它會有什麼問題？OK！也許大家都知道了問題的所在，來驗證一下吧！

class MyTest_Base
{
public:
MyTest_Base (int& status)
{
//do other job

// 由於資源不夠，物件構建失敗
// 把status置0，通知物件的構建者
status = 0;
}

virtual ~ MyTest_Base ()
{
cout << “銷燬一個MyTest_Base型別的物件” << endl;
}

protected:
};

void main()
{
int status;
MyTest_Base obj1(status);

// 檢查物件的構建是否成功
if(status ==0) cout << “物件構建失敗” << endl;
}

　　程式執行的結果是：
　　物件構建失敗
　　銷燬一個MyTest_Base型別的物件

　　沒錯，物件的解構函式被執行了，這與C++標準中所規定的物件導向的一些特性是有衝突的。一個物件都沒有完成自己的構造，又何來析構！好比一個夭折的畸形兒還沒有出生，又何來死之言。因此這種方法是行不通的。那怎麼辦？那就是上面那個結論中的後一句話是對的，通知物件的構造失敗的唯一方法那就是在建構函式中丟擲異常，但原因卻不是由於建構函式沒有返回值而造成的。恰恰相反，C++標準中規定建構函式沒有返回值正是由於擔心很容易與物件導向的一些特性相沖突，因此乾脆來個規定，建構函式不能有返回值（主人公阿愚的個人理解，有不同意見的朋友歡迎討論）。

　　2、建構函式中丟擲異常將導致物件的解構函式不被執行。哈哈^-^，阿愚很開心，瞧瞧！如果沒有C++的異常處理機制鼎立支援，C++中的物件導向特性都無法真正實現起來，C++標準總不能規定所有的物件都必須成功構造吧！這也太理想化了，也許只有等到共產主義社會實現的那一天（CPU可以隨便拿，記憶體可以隨便拿，所有的資源都是你的！）才說不定有可能·····,所以說C++的異常處理和麵向物件確實是誰也離不開誰。當然示例還是要看一下，如下：

class MyTest_Base
{
public:
MyTest_Base (string name = “”) : m_name(name)
{
throw std::exception(“在建構函式中丟擲一個異常，測試！”);
cout << “構造一個MyTest_Base型別的物件，物件名為：”<}

virtual ~ MyTest_Base ()
{
cout << “銷燬一個MyTest_Base型別的物件，物件名為：”<}

void Func() throw()
{
throw std::exception(“故意丟擲一個異常，測試！”);
}
void Other() {}

protected:
string m_name;
};

void main()
{
try
{
// 物件構造時將會丟擲異常
MyTest_Base obj1(“obj1”);

obj1.Func();
obj1.Other();
}
catch(std::exception e)
{
cout << e.what() << endl;
}
catch(...)
{
cout << “unknow exception”<< endl;
}
}

　　程式的執行結果將會驗證：“建構函式中丟擲異常將導致物件的解構函式不被執行”

　　3、是不是到此，關於建構函式中丟擲異常的處理的有關討論就能結束了呢？非也！非也！主人公阿愚還有進一步的故事需要講述！來看一個更復雜一點的例子吧！如下：

class MyTest_Base
{
public:
MyTest_Base (string name = "") : m_name(name)
{
cout << "構造一個MyTest_Base型別的物件，物件名為："<}

virtual ~ MyTest_Base ()
{
cout << "銷燬一個MyTest_Base型別的物件，物件名為："<}

void Func() throw()
{
throw std::exception("故意丟擲一個異常，測試！");
}
void Other() {}

protected:
string m_name;
};

class MyTest_Parts
{
public:
MyTest_Parts ()
{
cout << "構造一個MyTest_Parts型別的物件" << endl;
}

virtual ~ MyTest_Parts ()
{
cout << "銷燬一個MyTest_Parts型別的物件"<< endl;
}
};

class MyTest_Derive : public MyTest_Base
{
public:
MyTest_Derive (string name = "") : m_component(), MyTest_Base(name)
{
throw std::exception("在MyTest_Derive物件的建構函式中丟擲了一個異常！");

cout << "構造一個MyTest_Derive型別的物件，物件名為："<}

virtual ~ MyTest_Derive ()
{
cout << "銷燬一個MyTest_Derive型別的物件，物件名為："<}

protected:
MyTest_Parts m_component;
};

void main()
{
try
{
// 物件構造時將會丟擲異常
MyTest_Derive obj1("obj1");

obj1.Func();
obj1.Other();
}
catch(std::exception e)
{
cout << e.what() << endl;
}
catch(...)
{
cout << "unknow exception"<< endl;
}
}

　　程式執行的結果是：
　　構造一個MyTest_Base型別的物件，物件名為：obj1
　　構造一個MyTest_Parts型別的物件
　　銷燬一個MyTest_Parts型別的物件
　　銷燬一個MyTest_Base型別的物件，物件名為：obj1
　　在MyTest_Derive物件的建構函式中丟擲了一個異常！

　　上面這個例子中，MyTest_Derive從MyTest_Base繼承，同時MyTest_Derive還有一個MyTest_Parts型別的成員變數。現在MyTest_Derive構造的時候，是在父類MyTest_Base已構造完畢和MyTest_Parts型別的成員變數m_component也已構造完畢之後，再丟擲了一個異常，這種情況稱為物件的部分構造。是的，這種情況很常見，物件總是由不斷的繼承或不斷的聚合而來，物件的構造過程實際上是這些所有的子物件按規定順序的構造過程，其中這些過程中的任何一個子物件在構造時發生異常，物件都不能說自己完成了全部的構造過程，因此這裡就有一個棘手的問題，當發生物件的部分構造時，物件將析構嗎？如果時，又將如何析構呢？

　　從執行結果可以得出如下結論：
　　（1） 物件的部分構造是很常見的，異常的發生點也完全是隨機的，程式設計師要謹慎處理這種情況；
　　（2） 當物件發生部分構造時，已經構造完畢的子物件將會逆序地被析構（即異常發生點前面的物件）；而還沒有開始構建的子物件將不會被構造了（即異常發生點後面的物件），當然它也就沒有析構過程了；還有正在構建的子物件和物件自己本身將停止繼續構建（即出現異常的物件），並且它的析構是不會被執行的。

　　建構函式中丟擲異常時概括性總結
　　（1） C++中通知物件構造失敗的唯一方法那就是在建構函式中丟擲異常；
　　（2） 建構函式中丟擲異常將導致物件的解構函式不被執行；
　　（3） 當物件發生部分構造時，已經構造完畢的子物件將會逆序地被析構；
　　（4） 哈哈^-^，其是還是那句話， “C++的異常處理不會破壞任何一條物件導向的特性！”，牢牢記住這一條！

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/10697500/viewspace-704543/，如需轉載，請註明出處，否則將追究法律責任。