<轉(zhuǎn)自csdn相關(guān)問題回復(fù)>
CObject::AssertValid ? 成員函數(shù)提供對(duì)對(duì)象內(nèi)部狀態(tài)的運(yùn)行時(shí)檢查。盡管從 ? CObject ? 派生類時(shí)不需要重寫 ? AssertValid，但可以通過重寫使您的類更安全可靠。AssertValid ? 應(yīng)在對(duì)象的所有成員變量上執(zhí)行斷言，以驗(yàn)證它們包含有效值。例如，它應(yīng)檢查指針成員變量不為 ? NULL。 ?
? ?
? 下面的示例顯示如何聲明 ? AssertValid ? 函數(shù)： ?
? class ? CPerson ? : ? public ? CObject ?
? { ?
? protected: ?
? ? ? ? CString ? m_strName; ?
? ? ? ? float ? ? ? m_salary; ?
? public: ?
? #ifdef ? _DEBUG ?
? ? ? ? virtual ? void ? AssertValid() ? const; ? ? ? // ? Override ?
? #endif ?
? ? ? ? // ? ... ?
? }; ?
? 當(dāng)重寫 ? AssertValid ? 時(shí)，在執(zhí)行您自己的檢查之前請(qǐng)調(diào)用 ? AssertValid ? 的基類版本。然后使用 ? ASSERT ? 宏檢查您的派生類特有的成員，如下所示： ?
? ?
? #ifdef ? _DEBUG ?
? void ? CPerson::AssertValid() ? const ?
? { ?
? ? ? ? // ? call ? inherited ? AssertValid ? first ?
? ? ? ? CObject::AssertValid(); ?
? ?
? ? ? ? // ? check ? CPerson ? members... ?
? ? ? ? ASSERT( ? !m_strName.IsEmpty()); ? // ? Must ? have ? a ? name ?
? ? ? ? ASSERT( ? m_salary ? > ? 0 ? ); ? // ? Must ? have ? an ? income ?
? } ?
? #endif ?
? 如果任何成員變量存儲(chǔ)對(duì)象，則可以使用 ? ASSERT_VALID ? 宏測(cè)試它們的內(nèi)部有效性（如果它們的類重寫了 ? AssertValid）。 ?
? ?
? 例如，考慮 ? CMyData ? 類，該類在其成員變量之一中存儲(chǔ)了一個(gè) ? CObList。CObList ? 變量 ? m_DataList ? 存儲(chǔ)了一個(gè) ? CPerson ? 對(duì)象的集合。CMyData ? 的簡(jiǎn)化聲明如下所示： ?
? ?
? class ? CMyData ? : ? public ? CObject ?
? { ?
? ? ? ? // ? Constructor ? and ? other ? members ? ... ?
? ? ? ? protected: ?
? ? ? ? ? ? ? CObList* ? m_pDataList; ?
? ? ? ? // ? Other ? declarations ? ... ?
? ? ? ? public: ?
? #ifdef ? _DEBUG ?
? ? ? ? ? ? ? virtual ? void ? AssertValid( ? ) ? const; ? // ? Override ?
? #endif ?
? ? ? ? // ? Etc. ? ... ?
? }; ?
? CMyData ? 中重寫的 ? AssertValid ? 如下所示： ?
? ?
? #ifdef ? _DEBUG ?
? void ? CMyData::AssertValid( ? ) ? const ?
? { ?
? ? ? ? // ? Call ? inherited ? AssertValid ?
? ? ? ? CObject::AssertValid( ? ); ?
? ? ? ? // ? Check ? validity ? of ? CMyData ? members ?
? ? ? ? ASSERT_VALID( ? m_pDataList ? ); ?
? ? ? ? // ? ... ?
? } ?
? #endif ?
? CMyData ? 使用 ? AssertValid ? 機(jī)制測(cè)試其數(shù)據(jù)成員中存儲(chǔ)的對(duì)象的有效性。CMyData ? 中重寫的 ? AssertValid ? 為它自己的 ? m_pDataList ? 成員變量調(diào)用 ? ASSERT_VALID ? 宏。 ?
? ?
? 因?yàn)?? CObList ? 類也重寫 ? AssertValid，所以有效性測(cè)試不在該級(jí)別停止。該重寫對(duì)列表的內(nèi)部狀態(tài)執(zhí)行附加有效性測(cè)試。因此，對(duì) ? CMyData ? 對(duì)象的有效性測(cè)試將導(dǎo)致對(duì)存儲(chǔ)的 ? CObList ? 列表對(duì)象內(nèi)部狀態(tài)的附加有效性測(cè)試。 ?
? ?
? 再多進(jìn)行一些操作，還可以添加對(duì)存儲(chǔ)在列表中的 ? CPerson ? 對(duì)象的有效性測(cè)試。可以從 ? CObList ? 派生 ? CPersonList ? 類，并重寫 ? AssertValid。在重寫中可調(diào)用 ? CObject::AssertValid，然后循環(huán)訪問列表，在列表中存儲(chǔ)的每個(gè) ? CPerson ? 對(duì)象上調(diào)用 ? AssertValid。本主題開始所示的 ? CPerson ? 類已重寫了 ? AssertValid。 ?
? ?
? 當(dāng)為調(diào)試生成時(shí)，這是一種功能極強(qiáng)的機(jī)制。當(dāng)接著為發(fā)布生成時(shí)，該機(jī)制自動(dòng)關(guān)閉。 ?
? ?
? AssertValid ? 的限制 ?
? 給定類的 ? AssertValid ? 函數(shù)的用戶應(yīng)注意該函數(shù)的限制。觸發(fā)的斷言指示對(duì)象一定有誤，并且執(zhí)行將暫停。但是，缺少斷言只指示未找到任何問題，并不保證對(duì)象是好的。??
當(dāng)從 ? CObject ? 派生類時(shí)，在使用 ? DumpAllObjectsSince ? 將對(duì)象轉(zhuǎn)儲(chǔ)到“輸出”窗口時(shí)，可以重寫 ? Dump ? 成員函數(shù)以提供附加信息。 ?
? ?
? Dump ? 函數(shù)將對(duì)象的成員變量的文本化表示形式寫入轉(zhuǎn)儲(chǔ)上下文 ? (CDumpContext)。轉(zhuǎn)儲(chǔ)上下文類似于 ? I/O ? 流。可以使用插入運(yùn)算符 ? (<<) ? 向 ? CDumpContext ? 發(fā)送數(shù)據(jù)。 ?
? ?
? 重寫 ? Dump ? 函數(shù)時(shí)，應(yīng)先調(diào)用 ? Dump ? 的基類版本以轉(zhuǎn)儲(chǔ)基類對(duì)象的內(nèi)容。然后為派生類的每個(gè)成員變量輸出文本化說明和值。 ?
? ?
? Dump ? 函數(shù)的聲明如下所示： ?
? ?
? class ? CPerson ? : ? public ? CObject ?
? { ?
? public: ?
? #ifdef ? _DEBUG ?
? ? ? ? virtual ? void ? Dump( ? CDumpContext& ? dc ? ) ? const; ?
? #endif ?
? ?
? ? ? ? CString ? m_firstName; ?
? ? ? ? CString ? m_lastName; ?
? ? ? ? // ? And ? so ? on... ?
? }; ?
? 由于對(duì)象轉(zhuǎn)儲(chǔ)只在調(diào)試程序時(shí)有意義，所以 ? Dump ? 函數(shù)的聲明用 ? #ifdef ? _DEBUG ? / ? #endif ? 塊括起來。 ?
? ?
? 在下面的示例中，Dump ? 函數(shù)先為其基類調(diào)用 ? Dump ? 函數(shù)。然后，它將每個(gè)成員變量的簡(jiǎn)短說明與該成員的值一起寫入診斷流。 ?
? ?
? #ifdef ? _DEBUG ?
? void ? CPerson::Dump( ? CDumpContext& ? dc ? ) ? const ?
? { ?
? ? ? ? // ? Call ? the ? base ? class ? function ? first. ?
? ? ? ? CObject::Dump( ? dc ? ); ?
? ?
? ? ? ? // ? Now ? do ? the ? stuff ? for ? our ? specific ? class. ?
? ? ? ? dc ? << ? "last ? name: ? " ? << ? m_lastName ? << ? "\n" ?
? ? ? ? ? ? ? << ? "first ? name: ? " ? << ? m_firstName ? << ? "\n"; ?
? } ?
? #endif ?
? 必須提供 ? CDumpContext ? 參數(shù)以指定轉(zhuǎn)儲(chǔ)輸出的目的地。MFC ? 的“Debug”版本提供名為 ? afxDump ? 的預(yù)定義 ? CDumpContext ? 對(duì)象，它將輸出發(fā)送到調(diào)試器。 ?
? ?
? CPerson* ? pMyPerson ? = ? new ? CPerson; ?
? // ? Set ? some ? fields ? of ? the ? CPerson ? object. ?
? //... ?
? // ? Now ? dump ? the ? contents. ?
? #ifdef ? _DEBUG ?
? pMyPerson->Dump( ? afxDump ? ); ?
? #endif ?
? 在 ? MFC ? 程序中，可以使用 ? DumpAllObjectsSince ? 轉(zhuǎn)儲(chǔ)有關(guān)堆中尚未釋放的所有對(duì)象的說明。DumpAllObjectsSince ? 轉(zhuǎn)儲(chǔ)自上個(gè) ? CMemoryState::Checkpoint ? 以來分配的所有對(duì)象。如果未發(fā)生 ? Checkpoint ? 調(diào)用，則 ? DumpAllObjectsSince ? 將轉(zhuǎn)儲(chǔ)當(dāng)前在內(nèi)存中的所有對(duì)象和非對(duì)象。 ?
? ?
? 注意 ? ? ? 必須先啟用診斷跟蹤，然后才能使用 ? MFC ? 對(duì)象轉(zhuǎn)儲(chǔ)。 ?
? 注意 ? ? ? 程序退出時(shí) ? MFC ? 將自動(dòng)轉(zhuǎn)儲(chǔ)所有泄漏的對(duì)象，因此不必創(chuàng)建代碼在該點(diǎn)轉(zhuǎn)儲(chǔ)對(duì)象。 ?
? 以下代碼通過比較兩個(gè)內(nèi)存狀態(tài)來測(cè)試內(nèi)存泄漏，并在檢測(cè)到泄漏時(shí)轉(zhuǎn)儲(chǔ)所有對(duì)象： ?
? ?
? if( ? diffMemState.Difference( ? oldMemState, ? newMemState ? ) ? ) ?
? { ?
? ? ? ? TRACE( ? "Memory ? leaked!\n" ? ); ?
? ? ? ? diffMemState.DumpAllObjectsSince(); ?
? } ?
? 轉(zhuǎn)儲(chǔ)的內(nèi)容如下所示： ?
? ?
? Dumping ? objects ? -> ?
? ?
? {5} ? strcore.cpp(80) ? : ? non-object ? block ? at ? $00A7521A, ? 9 ? bytes ? long ?
? {4} ? strcore.cpp(80) ? : ? non-object ? block ? at ? $00A751F8, ? 5 ? bytes ? long ?
? {3} ? strcore.cpp(80) ? : ? non-object ? block ? at ? $00A751D6, ? 6 ? bytes ? long ?
? {2} ? a ? CPerson ? at ? $51A4 ?
? ?
? Last ? Name: ? Smith ?
? First ? Name: ? Alan ?
? Phone ? #: ? 581-0215 ?
? ?
? {1} ? strcore.cpp(80) ? : ? non-object ? block ? at ? $00A7516E, ? 25 ? bytes ? long ?
? 大多數(shù)行開始處的大括號(hào)中的數(shù)字指定對(duì)象的分配順序。最近分配的對(duì)象具有最高編號(hào)，并顯示在轉(zhuǎn)儲(chǔ)的頂部。???
?