編排 | strongerHuang

微信公眾號(hào) | 嵌入式專欄

C語言的標(biāo)準(zhǔn)有很多，之前給大家分享過相關(guān)的內(nèi)容，比如：C89、C99標(biāo)準(zhǔn)，ANSI C、ISO C、Standard C標(biāo)準(zhǔn)等。

可能你在一些地方還看到過：MISRA C：2012，MISRA C++：2008，那你知道這是什么嗎？

今天分享的就是另外一種C語言標(biāo)準(zhǔn)：MISRA C.

嵌入式專欄

1

MISRA C是由汽車產(chǎn)業(yè)軟件可靠性協(xié)會(huì)（MISRA）提出的C語言開發(fā)標(biāo)準(zhǔn)。

其目的是在增進(jìn)嵌入式系統(tǒng)的安全性及可移植性，針對(duì)C++語言也有對(duì)應(yīng)的標(biāo)準(zhǔn)MISRA C++。

MISRA C一開始主要是針對(duì)汽車產(chǎn)業(yè)，不過其他產(chǎn)業(yè)也逐漸開始使用MISRA C：包括航天、電信、國防、醫(yī)療設(shè)備、鐵路等領(lǐng)域中都已有廠商使用MISRA C。

MISRA C的第一版《Guidelines for the use of the C language in vehicle based software》是在1998年發(fā)行，一般稱為MISRA-C:1998.。MISRA-C:1998有127項(xiàng)規(guī)則，規(guī)則從1號(hào)編號(hào)到127號(hào)，其中有93項(xiàng)是強(qiáng)制要求，其余的34項(xiàng)是推薦使用的規(guī)則。

在2004年時(shí)發(fā)行了第二版的MISRA C的第一版《Guidelines for the use of the C language in critical systems》（或稱作MISRA-C:2004），其中有許多重要建議事項(xiàng)的變更，其規(guī)則也重新編號(hào)。MISRA-C:2004有141項(xiàng)規(guī)則，其中121項(xiàng)是強(qiáng)制要求，其余的20項(xiàng)是推薦使用的規(guī)則。規(guī)則分為21類，從“開發(fā)環(huán)境”到“運(yùn)行期錯(cuò)誤”。

2012年發(fā)布第三版，為當(dāng)前最新有效的C語言規(guī)范版本，稱為MISRA C:2012。
MISRA C 版本歷史

嵌入式專欄

2

當(dāng)前最新有效的C語言規(guī)范版本為MISRA C:2012，下面來講講其修訂版2。

MISRA C工作組發(fā)布了對(duì)MISRA C:2012的修訂版，以支持稱為“C11”的C標(biāo)準(zhǔn)，并正式批準(zhǔn)為ISO/IEC 9899:2011。C11已得到廣泛使用，對(duì)于一直推遲遷移到C11的項(xiàng)目和組織，這是一個(gè)廣受歡迎的公告。C11還取代了C99（標(biāo)準(zhǔn)ISO/IEC 9899:1999），并已被C18（標(biāo)準(zhǔn)ISO/IEC 9899:2018）取代。除了更新的C語言準(zhǔn)則之外，MISRA C工作組還發(fā)布了MISRA 2020合規(guī)性指南。

MISRA C:2012（修訂版2）現(xiàn)在引用ISO/IEC 9899:2011，并包含C語言更新，為可能使用但受限制的功能和受禁止的功能提供指導(dǎo)，除非其存在您的團(tuán)隊(duì)軟件審查過程已批準(zhǔn)的偏差。在制定修訂版2的過程中，還獲得了利用先前的補(bǔ)充內(nèi)容糾正任何已知問題的機(jī)會(huì)。MISRA工作組的任務(wù)不止是提供指導(dǎo)，以防止發(fā)生不可預(yù)測的行為，減少或消除編碼缺陷并在嵌入式軟件系統(tǒng)的環(huán)境中促進(jìn)代碼安全、安全性、可移植性和可靠性。

新的MISRA C:2012標(biāo)準(zhǔn)：

_Generic關(guān)鍵字是另一個(gè)不應(yīng)使用的C11語言新功能，它可能表現(xiàn)出不良行為，并且一些人發(fā)現(xiàn)C11標(biāo)準(zhǔn)在某些情況下含糊不清。_Generic運(yùn)算符是一種宏重載。它用于幫助程序員將任何宏都用作通用宏，以使其更高效。下面的代碼行顯示_Generic關(guān)鍵字如何用于聲明不同類型的數(shù)據(jù)類型的任何宏，以及如何將其聲明為不同方法的泛型。以下面的VOL宏示例為例；VOL（x）根據(jù)x的類型轉(zhuǎn)換為VOLc（x），VOLl（x），VOL（x）或VOLf（x）。

#define VOL(x) _Generic((x), char: VOLc, long double: VOLl, default: VOL, float: VOLf)(x)