• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            斷言的使用

            Posted on 2010-01-17 19:36 rikisand 閱讀(607) 評論(0)  編輯 收藏 引用 所屬分類: 工作記錄~~everydayC/C++Windows ~

            解決項目的問題,意識到斷言的重要性。如果一個程序在某處遇到了非法的值,那么最好的情況便是在此刻停下報錯,最壞的情況便是程序不吭不響的執行著~~直到你發現他執行的方式極為詭異,此時,你要花九牛二虎之力才能找到錯誤所在之處~~~~

            學習一下斷言吧:

            ·······什么是斷言

            在某處判斷某一個表達式的值為真或者假,如果假則輸出錯誤消息并停止程序的執行~

            assert是宏,而不是函數,只在debug版本中有效,因此無需在release版本刪除。

            ·······哪幾種斷言

            MFC

            ASSERT

            void foo(char* p,int size)
            {
            ASSERT(p != 0); // 驗證緩沖區指針
            ASSERT((size >= 100); // 確認緩沖區大小至少為100字節
            // foo 函數的其它計算過程
            }
            如果沒有定義_DEBUG預處理符,則該語句不會真正生成代碼。Visual C++會在調試模式編譯時自動定義_DEBUG,而在發行模式下,該預處理符是不存在的。如果定義了_DEBUG,則上述兩個斷言生成的代碼類如:
            //ASSERT(p != 0);
            do
            {
            if(!(p != 0) && AfxAssertFailedLine(__FILE__, __LINE__))
            AfxDebugBreak();
            } while(0);
            //ASSERT((size >= 100);
            do
            {
            if(!(size >= 100) && AfxAssertFailedLine(__FILE__,__LINE__))
            AfxDebugBreak();
            }while(0);

            ASSERT_KINDOF(classname,pObject); ASSERT_KINDOF(CDocument,pDocument);

            檢驗pObject指向的對象是classname類的一個對象或者其派生類的對象

            ASSERT_VALID(pObject); pObject 必須是一個派生于CObject類的類對象,會調用其重寫的AssertValid函數 ,例如

            如果使用應用向導或類向導生成基于MFC的類,通常會得到AssertValid()的骨架,最好改寫這些骨架代碼以增加最基本的完整性檢查。下面是一個典型的例子,類Sample從CObject繼承,假定它含有職員名字及其薪水:
            class Sample : public CObject
            {
                protected:
                CString m_Name; // 職員名字
                double m_Salary; // 薪水
            public:
                Sample(LPCTSTR name,double salary) : m_Name(name), m_Salary(salary) {}
               #ifdef _DEBUG
                    virtual void AssertValid() const;
                #endif

            };
            #ifdef _DEBUG
            void Sample::AssertValid() const
            {
                CObject::AssertValid(); // 驗證基類
                ASSERT(!m_Name.IsEmpty()); // 驗證職員名字
                ASSERT(m_Salary > 0); // 驗證薪水
            }
            #endif

            CRT assertion

            _ASSERT 和  _ASSERTE 后一個會在出錯時同時打印出條件判斷句

            ANSI

            assert()

            注意:assert用于檢測非法的輸入,但是合法的輸入并不一定是正確的,例如:

            int pB = (int*)malloc(sizeof(int)*1000);

            assert(pB!=NULL) //錯誤的使用assert 他會在release版本失效~也就是說assert不應該對程序產生副作用

            正確的做法:

            int pB = (int*) malloc(sizeof(int)*1000);

            if(pB == NULL)

            {
               //錯誤處理

            }

            else{

            }

            另一個例子:

            void draw(){

               CFigure* pF = getCF();

               assert(pf!=NULL);

               if(pf == NULL){}

               else{

               }

            }

            此處,對于getCF來說返回值為NULL是非法的,如果他的返回值可能為null就沒必要加上assert語句。

            而下面的if語句則是為了防止release版本出現null指針的情況。

             

             

            VERIFY()

            由于ASSERT僅在程序的調試版起作用,測試表達式總是被動的。也就是說,它們不能包含賦值、增量、減量等真正改變數據的操作。但有時候我們需要驗證一個主動表達式,比如賦值語句。這時可以使用VERIFY代替ASSERT。下面是一個例子:
            void foo(char* p,int size)
            {
            char* q; // 指針的副本
            VERIFY(q = p); // 拷貝指針并執行驗證
            ASSERT((size >= 100); // 確保緩沖區大小至少為100字節
            // 執行 foo 的其它操作
            }
            在調試模式下ASSERT和VERIFY是相同的。但在release模式下,VERIFY能夠繼續對表達式求值(但不再進行斷言檢驗),而ASSERT語句在效果上就如同已經刪除了一樣。
            盡管在MFC源代碼中可以找到一些應用VERIFY的例子,但ASSERT用得更為普遍。一些程序員總是完全避免使用VERIFY,因為他們已經習慣于使用被動斷言。請記住,如果在ASSERT語句中使用了主動表達式,編譯器不會發出任何警告。在發行模式下編譯時該表達式會被直接刪除,從而導致程序運行的錯誤。由于發行版程序不含調試信息,這種類型的錯誤是很難找到原因的。

             

             

             

             

             

             

             

             

             

             

             

             

            亚洲国产另类久久久精品| 91视频国产91久久久| 亚洲国产成人精品无码久久久久久综合| 久久91综合国产91久久精品| 久久精品国产69国产精品亚洲 | 亚洲一区精品伊人久久伊人| 精品国产乱码久久久久久人妻| 精品久久久噜噜噜久久久| 精品久久久久久无码中文字幕| 久久久精品久久久久影院| 精品久久久久久无码专区| 无码人妻少妇久久中文字幕| 72种姿势欧美久久久久大黄蕉| 久久综合一区二区无码| 99久久婷婷国产综合亚洲| 日本高清无卡码一区二区久久 | 国内精品久久久久久久影视麻豆| 无码人妻久久一区二区三区蜜桃| 99久久精品午夜一区二区| 亚洲国产精品无码久久九九| 国产一区二区精品久久| 99久久国产综合精品女同图片| 久久精品国产黑森林| 国产精品久久久久久久| 中文无码久久精品| 欧美亚洲国产精品久久| 国产精品欧美久久久久无广告 | 精品久久久无码21p发布| 日韩美女18网站久久精品| 久久99国产综合精品| 久久午夜伦鲁片免费无码| 狠狠精品久久久无码中文字幕| 久久精品国产清自在天天线| 女人香蕉久久**毛片精品| 国产91色综合久久免费分享| 亚洲欧美日韩中文久久| 97久久婷婷五月综合色d啪蜜芽| 伊人精品久久久久7777| 久久天天躁夜夜躁狠狠躁2022| 久久这里有精品视频| 伊人久久大香线蕉AV一区二区|