質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
コンパイラ

コンパイラは、プログラミング言語で記述したソースコードを、コンピュータの実行形式であるオブジェクトコードに変換するプログラムです。

列挙型

データ型の一種で、要素・メンバなど名前のある値や、型の列挙子によって構成されます。

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

マイコン

マイクロコンピュータの略で、CPUにマイクロプロセッサを用いたコンピュータのこと。家電製品、電磁機器などの制御に用いられています。単体でコンピュータとしての機能を一通り備えています。 現代のパーソナルコンピュータに近く、同時期のメインフレームやミニコンピュータと比べ、小さいことが特徴です。

配列

配列は、各データの要素(値または変数)が連続的に並べられたデータ構造です。各配列は添え字(INDEX)で識別されています。

Q&A

3回答

724閲覧

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

GuielNo4

総合スコア88

コンパイラ

コンパイラは、プログラミング言語で記述したソースコードを、コンピュータの実行形式であるオブジェクトコードに変換するプログラムです。

列挙型

データ型の一種で、要素・メンバなど名前のある値や、型の列挙子によって構成されます。

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

マイコン

マイクロコンピュータの略で、CPUにマイクロプロセッサを用いたコンピュータのこと。家電製品、電磁機器などの制御に用いられています。単体でコンピュータとしての機能を一通り備えています。 現代のパーソナルコンピュータに近く、同時期のメインフレームやミニコンピュータと比べ、小さいことが特徴です。

配列

配列は、各データの要素(値または変数)が連続的に並べられたデータ構造です。各配列は添え字(INDEX)で識別されています。

0グッド

0クリップ

投稿2020/01/23 02:59

編集2022/01/12 10:55

前提・実現したいこと

コンパイラのドキュメントを読んでいるのですが、 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

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答3

0

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

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

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

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

投稿2020/01/23 05:04

SaitoAtsushi

総合スコア5437

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

GuielNo4

2020/01/23 10:35 編集

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

0

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

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

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

投稿2020/01/23 05:01

dodox86

総合スコア9183

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

dodox86

2020/01/23 05:14

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

2020/01/23 05:32 編集

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

0

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

投稿2020/01/23 03:40

y_waiwai

総合スコア87719

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

GuielNo4

2020/01/23 04:25

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

2020/01/23 05:09

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

2020/01/23 05:16

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

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問