<轉(zhuǎn)自csdn相關(guān)問題回復(fù)>

CObject::AssertValid ? 成員函數(shù)提供對對象內(nèi)部狀態(tài)的運行時檢查。盡管從 ? CObject ? 派生類時不需要重寫 ? AssertValid，但可以通過重寫使您的類更安全可靠。AssertValid ? 應(yīng)在對象的所有成員變量上執(zhí)行斷言，以驗證它們包含有效值。例如，它應(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 ? 時，在執(zhí)行您自己的檢查之前請調(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 ?
? 如果任何成員變量存儲對象，則可以使用 ? ASSERT_VALID ? 宏測試它們的內(nèi)部有效性（如果它們的類重寫了 ? AssertValid）。 ?
? ?
? 例如，考慮 ? CMyData ? 類，該類在其成員變量之一中存儲了一個 ? CObList。CObList ? 變量 ? m_DataList ? 存儲了一個 ? CPerson ? 對象的集合。CMyData ? 的簡化聲明如下所示： ?
? ?
? 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 ? 機制測試其數(shù)據(jù)成員中存儲的對象的有效性。CMyData ? 中重寫的 ? AssertValid ? 為它自己的 ? m_pDataList ? 成員變量調(diào)用 ? ASSERT_VALID ? 宏。 ?
? ?
? 因為 ? CObList ? 類也重寫 ? AssertValid，所以有效性測試不在該級別停止。該重寫對列表的內(nèi)部狀態(tài)執(zhí)行附加有效性測試。因此，對 ? CMyData ? 對象的有效性測試將導(dǎo)致對存儲的 ? CObList ? 列表對象內(nèi)部狀態(tài)的附加有效性測試。 ?
? ?
? 再多進行一些操作，還可以添加對存儲在列表中的 ? CPerson ? 對象的有效性測試。可以從 ? CObList ? 派生 ? CPersonList ? 類，并重寫 ? AssertValid。在重寫中可調(diào)用 ? CObject::AssertValid，然后循環(huán)訪問列表，在列表中存儲的每個 ? CPerson ? 對象上調(diào)用 ? AssertValid。本主題開始所示的 ? CPerson ? 類已重寫了 ? AssertValid。 ?
? ?
? 當(dāng)為調(diào)試生成時，這是一種功能極強的機制。當(dāng)接著為發(fā)布生成時，該機制自動關(guān)閉。 ?
? ?
? AssertValid ? 的限制 ?
? 給定類的 ? AssertValid ? 函數(shù)的用戶應(yīng)注意該函數(shù)的限制。觸發(fā)的斷言指示對象一定有誤，并且執(zhí)行將暫停。但是，缺少斷言只指示未找到任何問題，并不保證對象是好的。??

當(dāng)從 ? CObject ? 派生類時，在使用 ? DumpAllObjectsSince ? 將對象轉(zhuǎn)儲到“輸出”窗口時，可以重寫 ? Dump ? 成員函數(shù)以提供附加信息。 ?
? ?
? Dump ? 函數(shù)將對象的成員變量的文本化表示形式寫入轉(zhuǎn)儲上下文 ? (CDumpContext)。轉(zhuǎn)儲上下文類似于 ? I/O ? 流。可以使用插入運算符 ? (<<) ? 向 ? CDumpContext ? 發(fā)送數(shù)據(jù)。 ?
? ?
? 重寫 ? Dump ? 函數(shù)時，應(yīng)先調(diào)用 ? Dump ? 的基類版本以轉(zhuǎn)儲基類對象的內(nèi)容。然后為派生類的每個成員變量輸出文本化說明和值。 ?
? ?
? 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... ?
? }; ?
? 由于對象轉(zhuǎn)儲只在調(diào)試程序時有意義，所以 ? Dump ? 函數(shù)的聲明用 ? #ifdef ? _DEBUG ? / ? #endif ? 塊括起來。 ?
? ?
? 在下面的示例中，Dump ? 函數(shù)先為其基類調(diào)用 ? Dump ? 函數(shù)。然后，它將每個成員變量的簡短說明與該成員的值一起寫入診斷流。 ?
? ?
? #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)儲輸出的目的地。MFC ? 的“Debug”版本提供名為 ? afxDump ? 的預(yù)定義 ? CDumpContext ? 對象，它將輸出發(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)儲有關(guān)堆中尚未釋放的所有對象的說明。DumpAllObjectsSince ? 轉(zhuǎn)儲自上個 ? CMemoryState::Checkpoint ? 以來分配的所有對象。如果未發(fā)生 ? Checkpoint ? 調(diào)用，則 ? DumpAllObjectsSince ? 將轉(zhuǎn)儲當(dāng)前在內(nèi)存中的所有對象和非對象。 ?
? ?
? 注意 ? ? ? 必須先啟用診斷跟蹤，然后才能使用 ? MFC ? 對象轉(zhuǎn)儲。 ?
? 注意 ? ? ? 程序退出時 ? MFC ? 將自動轉(zhuǎn)儲所有泄漏的對象，因此不必創(chuàng)建代碼在該點轉(zhuǎn)儲對象。 ?
? 以下代碼通過比較兩個內(nèi)存狀態(tài)來測試內(nèi)存泄漏，并在檢測到泄漏時轉(zhuǎn)儲所有對象： ?
? ?
? if( ? diffMemState.Difference( ? oldMemState, ? newMemState ? ) ? ) ?
? { ?
? ? ? ? TRACE( ? "Memory ? leaked!\n" ? ); ?
? ? ? ? diffMemState.DumpAllObjectsSince(); ?
? } ?
? 轉(zhuǎn)儲的內(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ù)行開始處的大括號中的數(shù)字指定對象的分配順序。最近分配的對象具有最高編號，并顯示在轉(zhuǎn)儲的頂部。???
?