在使用STM8或STM32的過程中，在官方的庫文件中經常能看到assert_param()的使用，一直都是對它無視，因為它不影響使用。但作為一名合格的、嚴謹的工程師來講，連assert_param()斷言都沒搞明白，都沒弄清楚，自己感覺還是有點丟人的。

其實這個就是斷言，它的主要用途是在編程的過程中為程序員提供參數檢查，對于Release之后，對終端用戶而言是無用的。它是在開發調試過程中，對參數錯誤進行提示，以便程序員提高開發效率。

首先，在STM8L101F3P6官方提供的模版庫的main.c文件中我們會看到如下代碼：

void main(void)

{

    /* Infinite loop */

    while (1)

    {

    }

}

#ifdef  USE_FULL_ASSERT

/**

  * @brief  Reports the name of the source file and the source line number

  *   where the assert_param error has occurred.

  * @param file: pointer to the source file name

  * @param line: assert_param error line source number

  * @retval : None

  */

void assert_failed(uint8_t* file, uint32_t line)

{

    /* User can add his own implementation to report the file name and line number,

       ex: printf("Wrong parameters value: file %s on line %drn", file, line) */

    /* Infinite loop */

    while (1)

    {

    }

}

#endif

其含義是：如果定義了USE_FULL_ASSERT宏，則程序包含了assert_failed()這個函數的定義。

在stm8l10x_conf.h文件中，我們也會看到如下的代碼：

/* Exported macro ------------------------------------------------------------*/

#ifdef  USE_FULL_ASSERT

/**

  * @brief  The assert_param macro is used for function's parameters check.

  * @param expr: If expr is false, it calls assert_failed function

  *   which reports the name of the source file and the source

  *   line number of the call that failed. 

  *   If expr is true, it returns no value.

  * @retval : None

  */

  #define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))

/* Exported functions ------------------------------------------------------- */

  void assert_failed(uint8_t* file, uint32_t line);

#else

  #define assert_param(expr) ((void)0)

#endif /* USE_FULL_ASSERT */

這里是assert_param()的原型。

可以看到，它是一個帶參數的宏定義，參數是一個條件表達式。表達式就是你要檢查的參數。

表達式為真時，其定義為(void)0。即空，什么都不做，對程序無影響。函數調用時傳來的參數都是正確的，不需要進行什么操作。

表達式為假時，其定義為assert_failed((uint8_t *)__FILE__,__LINE__))，這是一個帶兩個參數的函數，這個函數就是在main.c中定義的。第1個參數為文件指針，指示參數錯誤的文件；第2個參數是參數錯誤的等號。

--------------------------------------------------------------------------------------------------------------------------------------

1.使用時，要定義USE_FULL_ASSERT這個這宏，在stm8l10x_conf.h文件中去定義

2.可以是assert_failed()函數中，輸出一些提示性的信息，來方便自己調試。

--------------------------------------------------------------------------------------------------------------------------------------