Cでのマクロ引数の型チェックの確認

Question

#defineマクロへの型検査が可能ですか？例：

typedef enum 
{ 
    REG16_A, 
    REG16_B, 
    REG16_C 
}REG16; 

#define read_16(reg16) read_register_16u(reg16); \ 
         assert(typeof(reg16)==typeof(REG16)); 

上記のコードは動作していないようです。私は間違って何をしていますか？

私はgccを使用しています。私はこのプロジェクトで常にgccを使用することを保証できます。コードは移植可能である必要はありません。

Answer 1

いいえ、マクロではタイプチェックを行うことはできません。しかし、結局のところ、なぜマクロですか？ staticinline関数を書くことができます（これはおそらく）コンパイラによってインライン化されます。ここでははに型チェックを行います。

static inline void read_16(REG16 reg16) { 
    read_register_16u(reg16); 
} 

Answer 2

、ulidtkoのアイデアを継続inline機能を取ると、それが何かを返しました：あなたは、時間のアサーションをコンパイル行うことができますものなどで

inline 
bool isREG16(REG16 x) { 
    return true; 
} 

を：

typedef char testit[sizeof(isREG16(yourVariable))]; 

Answer 3

ありませんCのマクロは本質的に型が危険であり、C言語の型をチェックしようとすると問題が発生します。

最初に、マクロは、タイプ情報が利用できないコンパイル段階のテキスト置換によって展開されます。そのため、マクロ展開時に引数の型をコンパイラが確認することは全く不可能です。

あなたが問題になっているassertのように、拡張されたコードのチェックを実行しようとすると、第二に、あなたのチェックは実行時まで延期されており、また、列挙子ので

a = read_16(REG16_A); 

のような一見無害な構造を上のトリガされます（REG16_A,REG16_BおよびREG16_C）はタイプintであり、種類はREG16ではありません。

タイプセーフティを使用する場合は、関数を使用することをお勧めします。コンパイラがそれをサポートしている場合は、関数inlineを宣言することができます。そのため、コンパイラは可能な限り関数呼び出しのオーバーヘッドを避けたいと考えています。

Answer 4

gccをサポートするタイプ

Linuxカーネルから得られるタイプセーフな最小マクロ

#define min(x,y) ({ \ 
    typeof(x) _x = (x); \ 
    typeof(y) _y = (y); \ 
    (void) (&_x == &_y);  \ 
    _x < _y ? _x : _y; }) 

しかし、2つのタイプを比較することはできません。警告を生成しますポインタ比較のに注意 - あなたはこのようなです。TypeCheckを行うことができます（また、Linuxカーネルから）

#define typecheck(type,x) \ 
({ type __dummy; \ 
    typeof(x) __dummy2; \ 
    (void)(&__dummy == &__dummy2); \ 
    1; \ 
}) 

は、おそらくあなたが似た何かができる - すなわち、引数へのポインタを比較します。

Answer 5

Cでの型検査は、整数関連型では少し緩いです。ほとんどのポインタ型が互換性がないという事実を利用して、コンパイラを騙すことができます。

ので

#define CHECK_TYPE(var,type) { __typeof(var) *__tmp; __tmp = (type *)NULL; } 

種類が同じでない場合、これが警告、「互換性のないポインタ型からの割り当て」を提供します。たとえば、

私は確かにこれのためのコンパイラのエラーを取得する方法があります。