Cは型定義を提供するのがなぜ迷惑ですか？

Question

私は次の問題に遭遇しました。具体的な説明は見つかりませんでした。なぜCは型定義を提供するのですか？ を使ってBOOL型を定義するのと同じくらいBOOLマクロを定義していませんか？例えば、#defineディレクティブはブール型として使用できるマクロを作成するために使用することができ

：

#define Bool int 

型定義と呼ばれる機能を使用して、ブールタイプを設定する別の方法があります。

typedef int Bool; 

なぜ最後の方法が優先されますか？利点は何ですか？

Answer 1

上記の理由以外にも、もう1つMACROを定義して再定義することはできますが、typedefではできません。したがって、1つの観点からは、typedefは、確定的です。

#define MAX 5 

//some use of MAX 

#undef MAX 
#define MAX 10 

// some more use of MAX 

例えば

は完全に有効ですが、「タイプ」は、すでに先に定義されているとおり

typedef int into; 

///something.... 

typedef char into; 

ような何かをしようとする試みは、無効です。

したがって、「タイプ」へのエイリアスを作成するtypedefは、その点でより一貫しているとみなされます。

Answer 2

型定義とマクロ定義には2つの重要な違いがあります。

タイプ定義はマクロ定義よりも強力です。特に、の配列とポインタ型をマクロとして定義することはできません。たちは "整数へのポインタ" を定義するためにマクロを使用しようというタイプとします

#define PTR_TO_INT int * 

を宣言

PTR_TO_INT p, q, r 

は、前処理後

int * p, q, r 

になります。残念ながら、のみpはポインタです。 qおよびrは、通常の整数変数です。型定義にこの問題はありません。

第2に、typedefの名前は変数と同じスコープルールの対象です。関数本体の中で定義された名前typedefは、関数の外では認識されません。一方、マクロ名は、どこにあってもプリプロセッサに置き換えられます。