RXマイコン コンパイラ CC-RX での配列数と列挙子のミスマッチを防ぐコーディングについてアドバイスを頂けないでしょうか？

Question

前提・実現したいこと

コンパイラのドキュメントを読んでいるのですが、 static_assert がないのかなと思い始めているところです。
ない場合、どのようにしてミスマッチをワーニングで出力させるか、検討しております。

該当のソースコード

他のマイコンのコンパイラでは以下のように配列数を列挙子数のミスマッチをコンパイラで警告させていました。

enum PATTERN_TYPE
{
    PATTERN_A,
    PATTERN_B,
    PATTERN_C,
    PATTERN_COUNT,
};

typedef enum PATTERN_TYPE PATTERN_TYPE;

typedef int ( *pFUNCTIONS )( void );

static const pFUNCTIONS FunctionsTable[] =
{
    updatePatternA,
    updatePatternB,
    updatePatternC
};

static_assert( PATTERN_COUNT == ( sizeof( FunctionsTable ) / sizeof( FunctionsTable[0] ), "must match!" );

アドバイスをお願いしたい内容

1. ひょとしてマニュアルの読み込み不足でこのコンパイラにはstatic_assert があったりしますでしょうか？

　→ C89 を C99に変えると実はあるとか、何か条件があったりするかもと思いドキュメントを読んでいるのですがまだ見つけられていません…

1. 上記の方法、特にコンパイラにワーニングを吐かせたいのですが、static_assert以外でワーニングを出す方法をご存知の方がいらっしゃいましたらアドバイス頂けると助かります。

補足情報（FW/ツールのバージョンなど）

CC-RX V2.08.00

Answer 1

C/C++ の仕様では配列の要素数は 0 より大きいことが求められています。 逆に言えば 0 以下では駄目だということです。 要素数が 0 以下の配列生成を試みることでエラーに出来る可能性があります。

たとえば定数として解釈可能な a と b があるとき、以下のような要領でコンパイル時に検査できます。

enum {
 dummy = sizeof(int[a==b ? 1 : -1])
};
// gcc や clang で試したら要素数 0 の配列にはエラーを出さなかったので -1 にしておいた

厳密なチェックをしないゆるい処理系だと無理やりにキャストして解釈するかもしれないので上手くエラーにできるかどうかわかりませんが。

Comments

[GuielNo4]

アドバイスありがとうございます。
正直このような使い方は思いつきませんでした。
私のレベルによるのだと思いますが、感動しました。
はー…なるほど。実用か否かは別としてこの方法でどのようにできるか検討してみます。
ありがとうございました。

Answer 2

「static_assertまたはそれ相当の静的assertionが使いたい」と言うご質問なので直接の回答にはならないのですが、ターゲットが何らかの出力(LED表示やシリアル出力など）を持っているのであれば、ランタイムのassertで代用させるのはいかがでしょうか。

私自身assertの類を多用するのですが、IAR社のEmbedded Workbench for ARMのランタイムライブラリにあるassertで、これに引っかかるとwhile (1); 処理相当のソフトウェア割り込みルーチンに飛ぶコードを見たことがあります。（確かに、これだとassertでの割り込み発生時の戻り番地つまりは発生個所が分かります）

static_assertしたいコード部分をまとめあげて、デバッグ用ビルドで実行時の冒頭に診断コードとして実行させ、引っかかれば何らかの出力をして代用することもできると思います。マクロで包めばコードを置き換えることも可能でしょう。（ランタイム時のassertについて検討済みであればすみません）

Comments

[dodox86]

本当に解決されたい主題は「配列数と列挙子のミスマッチを防ぐコーディング」なので、本回答はその点でも外していますね。失礼いたしました。

[GuielNo4]

アドバイスありがとうございます。EWARM のコンパイラは static_assert に対応していたので、rxにもあるかと思って調べていたのですが…
Workbench でやってたことを cs++ でやろうしているのでアドバイスの内容はありがたいです。
コンパイラで吐く方法がなかったら、リポジトリの別ブランチでprintfを追加してメインルーチンの最初にassertでチェックした結果をデバッガで表示させようかと思います。ありがとうございました。

Answer 3

CC-RXではそれはサポートされてないようです。
RXにはGCCもあるようなので、それを使えばどうでしょうか。

Comments

[GuielNo4]

アドバイスありがとうございます。
こちらの都合なのですが、現環境作成コードの動作実績から、もう少し現行コンパイラでstatic_assertに代わる何らかの方法がないか継続して考えたいと思います。だた最終手段としてgccがあることを教えていただけて良かったです。ありがとうございました。

[yuki23]

>GuielNo4 さん　RX用のGCCでstatic_assertをサポートしたバージョンは去年の11月にリリースされたばかりなので、安定性に不安があります。あくまで最終手段として、あまり当てにされないほうが良いでしょう。

[GuielNo4]

安定性の件、情報助かります。
調べてみたいと思います。
ありがとうございました。