Typedef

typedefとは

`typedef`は、CおよびC++プログラミング言語におけるキーワードで、既存のデータ型に新しい名前（エイリアスまたはシノニム）を与えるために使用されます。この機能は、プログラマがソースコードをより理解しやすく、記述しやすくすることを目的としています。

基本的な使い方

まずは`typedef`を使わない例を見てみましょう。

c
int isEven(int x) {
if (x % 2 == 0) {
return 1; // 偶数の場合
} else {
return 0; // 奇数の場合
}
}


この関数は、入力`x`が偶数であれば1を、奇数であれば0を返します。しかし、返り値が単なる整数値であるため、その意味が明確ではありません。そこで、`typedef`を使って`int`型の別名として論理型（ブーリアン型）を定義し、関数の戻り値の型として使用することで、戻り値の意味を明確化できます。

c
typedef int boolean_t;

boolean_t isEven(int x) {
if (x % 2 == 0) {
return 1; // 偶数の場合
} else {
return 0; // 奇数の場合
}
}


一般的に、真偽値（boolean）は0を偽、0以外を真とすることが多いため、この変更により関数の仕様がより明確になります。また、`_t`サフィックスは、`typedef`による型エイリアスであることを示すために使われることが多いです（例：`size_t`、`time_t`など）。

構造体での利用

次に、構造体を使用した例を見てみましょう。

c
struct my_struct {
int a;
char b;
};

struct my_struct var1;


ここで、ユーザー定義の型`my_struct`が定義されています。`my_struct`型の変数を宣言するには、C言語では`struct`キーワードが必要です。

`typedef`を使用すると、以下のように`struct`キーワードを省略して型名を簡略化できます。

c
typedef struct my_struct my_struct_t;

my_struct_t var2;


同じことを次のコードでも実現できます。

c
typedef struct {
int a;
char b;
} my_struct_t;

my_struct_t var3;


構造体のタグ名を省略することも可能です。この場合、タグ名は処理系によって自動生成されます。

c
typedef struct {
int x;
int y;
} point_t;

point_t pt;


構造体のタグ名と別名を同一にすることも可能です。

c
typedef struct my_struct {
int a;
char b;
} my_struct;


`typedef`の活用は、構造体だけでなく、共用体`union`や列挙型`enum`の定義時にも同様に適用できます。

ポインタでの利用

`typedef`は、自己参照構造体へのポインタを作成する際にも便利です。

c
struct node {
int data;
struct node next;
};


通常、ある型のポインタ型変数を宣言する際には、それぞれの変数名の前にアスタリスク``を記述する必要があります。

c
struct node errptr, node1, node2;


この例では、プログラマは`errptr`がポインタ型`node_t `であることを意図していますが、タイプミスにより`errptr`は値型`node_t`と定義されてしまっています。これは微妙な構文エラーを引き起こす可能性があります。

`typedef`を使って新しいポインタ型を定義することで、このような記述ミスを回避できます。

c
typedef struct node node_t;
typedef node_t nodeptr_t;

nodeptr_t errptr, node1, node2;


これにより、`errptr`を含めたすべての変数が`node_t `型であることが保証されます。

その他の利用例

再代入や書き換えが不可能な文字列定数の配列（テーブル）を定義する際にも、`typedef`を利用することでコードが分かりやすくなります。

c
typedef const char string_t;
string_t messages[] = {
"hello",
"world",
"goodbye"
};


関数へのポインタを利用する場合も、`typedef`を使うことで可読性を向上させることができます。

c
typedef int (funcptr_t)(int);

int add(int a) {
return a + 1;
}

funcptr_t my_func = add;



関数型や関数ポインタ型のエイリアスを定義しておくと、特にコールバック関数へのポインタを引数として受け取る関数を定義する際に記述性と可読性が向上します。

配列に対して`typedef`を利用することもできます。

c
typedef int int_array_t[10];

int_array_t myArray;

マクロとの比較

C/C++にはテキストの置換機能としてマクロも備わっていますが、型名の置換に使うには問題があります。まず、ポインタ型を正しく扱えません。

c

define STRING char

STRING str1, str2;


この場合、`str1`はポインタ型ですが、`str2`は`char`型になってしまいます。

`typedef`であればポインタ型を正しく扱えます。

c
typedef char string_t;
string_t str1, str2;


また、マクロは乱暴な置換を行うため、意図しない置換による原因特定の難しいコンパイルエラーを引き起こすことがあります。

C++での利用

C++では、構造体、共用体、列挙型、クラス型の変数を宣言する際、`struct`、`union`、`enum`、`class`キーワードの使用はオプションとなり、あいまいさがない限り省略できます。例えば、

c++
struct my_struct {
int a;
char b;
};


という定義さえあれば、`typedef`エイリアスを明示的に定義したり、`struct`キーワードを明示的に使用したりせずとも、

c++
my_struct var;

と宣言できます。

C++では、クラス（または構造体）内部で`typedef`を使用することで、クラススコープのシノニムを定義できます。この機能は、テンプレートを使用したジェネリックプログラミングやダックタイピングに便利です。C++標準ライブラリのSTLの実装では、このテクニックが利用されています。

C++11での usingエイリアス宣言

C++では、`typedef`をC言語と同様にエイリアス宣言のために利用できますが、C++11では`using`キーワードによる文法も追加されました。

c++
typedef int my_int;


C++11では、上記は以下のように書けます。

c++
using my_int = int;


`typedef`はテンプレート化できませんが、C++11では`using`によるエイリアステンプレートが追加されました。

`typedef`への批判と利点

`typedef`の広範な使用に反対する意見もあります。主な理由は、`typedef`が変数の実際のデータ型を隠してしまうという点です。例えば、Linuxカーネルハッカーのグレッグ・クロー＝ハートマンは、関数プロトタイプ宣言を除いて、`typedef`の使用をやめさせようとしています。彼は、`typedef`の使用がコードを不必要に複雑にするだけでなく、プログラマが大きな構造体を単純な型と誤認して使用してしまうことがあると主張しています。

一方で、`typedef`を推奨し、広範に使用することに賛成する意見も多くあります。特に、C言語の創始者であるブライアン・カーニハンとデニス・リッチーは、著書「プログラミング言語C」で、`typedef`の利用には以下の2つのメリットがあると述べています。

1. 移植性の向上: ソフトウェアを複数のプラットフォームで展開する際に、ソースコードの移植性を向上させるために重要です。データ型の変更が必要になった際、`typedef`の宣言箇所を1つ変更するだけで済みます。
2. カプセル化: データを隠蔽し、複雑な宣言をより理解しやすくします。

C言語の規格では、基本型のサイズや内部表現は処理系依存であるため、プラットフォーム間の差異を吸収するために`typedef`は不可欠な技術です。C99/C++11規格では、`int32_t`のようなサイズや内部表現が保証された整数型が標準化されましたが、これらは通常`typedef`を使って実装されます。

他の言語での類似機能

Haskell、Miranda、Objective Camlなどの静的型付け関数型言語では、C言語の`typedef`と同様の働きをするtype synonymを定義できます。

haskell
type PairOfInts = (Int, Int)


PascalやObject Pascalでは、`type`キーワードを使って別名を定義できます。

C#では、基本型のサイズは厳密に決まっており、`typedef`は言語機能として存在しませんが、代わりに`using`エイリアスディレクティブが存在します。

csharp
using StringAlias = System.String;


ジェネリクスを利用する際に型名が長大になる場合、エイリアスを定義しておくと記述が楽になり、検索や置換も容易になります。

csharp
using GenericList = System.Collections.Generic.List;


この`using`エイリアスは、ディレクティブが記述されたソースファイル内でのみ効果がありますが、C# 10では`global`修飾子を付けることで、ソースファイルを超えてグローバルなエイリアスを定義できるようになりました。

まとめ

`typedef`は、CおよびC++プログラミングにおいて、コードの可読性、保守性、移植性を向上させるための強力なツールです。型に新しい名前を付けることで、より意味のあるコードを記述でき、複雑な型宣言を簡略化できます。ただし、`typedef`の過度な使用は、コードの可読性を損なう可能性もあるため、適切な場面での利用が重要です。

もう一度検索