Symbian 断言_ASSERT_DEBUG和_ASSERT_ALWAYS

断言：被用来检测代码所作的假设是否正确，如果假设为假，就停止执行代码，也许还会显示一条消息。

　　断言并不是产生严重错误，而是允许你指定过程以供断言失败时调用。帮助侦测出无效状态或者是错误的程序逻辑。

　　当断言失败时，总是应该抛出一个严重错误。

　　一、_ASSERT_DEBUG

　　_ASSERT_DEBUG断言可以在开发的早期阶段加入，以强调程序错误，也可以等到维护和重构时加入，以验证代码行为符合“基于契约的设计”。

　　用例：

　　void CTestClass::TestValue(TInt aValue)

　　{

　　#ifdef _DEBUG

　　_LIT(KPanicDescriptor,"TestValue");

　　#endif

　　_ASSERT_DEBUG((aValue>=0),User::Panic(KPanicDescriptor,KErrArgument));

　　//如果条件为假，代码将被一个严重错误停止执行(使用Panic)。

　　...

　　}

　　有一个轻量级的，匿名的断言，它会调用隐藏的Panic：

　　ASSERT(aValue>=0);

　　二、_ASSERT_ALWAYS

　　在发布版本中使用，但不多，因为断言会中止代码执行，使库发生严重错误，应尽可能避免。

　　可以使用if语句来检测输入值，并在出错时返回错误代码。

　　针对调用代码的无效输入，使用防御性编码技术(if语句)来保护你的函数，_ASSERT_ALWAYS应该被用来保护只有调用者的bug(如数组下标越界)才能造成的非法输入。