Typedef

typedef（タイプデフ）は、プログラミング言語のCおよびC++におけるキーワード（予約語）である。このキーワードはデータ型に新しい名前（エイリアス、シノニム）をつけるために使用される。プログラマが容易にソースコードを記述・理解できるようにすることが目的である。
使用例.
まずcodice_1を使わない例を示す。
int is_even_number(int x) {
 return x % 2 == 0;
この関数は入力codice_2が偶数であれば1を、奇数であれば0を返す。しかし、次のようにcodice_3型の別名として論理型（ブーリアン型）を定義し、関数の戻り値の型の名前として使用することで、戻り値の意味を明確化できる。
typedef int my_boolean_t;
my_boolean_t is_even_number(int x) {
 return x % 2 == 0;
真偽値 (boolean) は通例0を偽、0以外を真とすることから、関数の仕様がより明確となっている。
また、typedefは長大で複雑な型名を単純化するために用いられることもある。
typedef unsigned char byte;
typedef unsigned long long ulonglong;
byte vb = UCHAR_MAX;
ulonglong vull = ULLONG_MAX;
次に、構造体を使った例を示す。
struct my_struct {
 int data1;
 int data2;
 char data3;
ここでは、ユーザー定義の型codice_4が定義されている。codice_4型の変数を宣言するために、C言語では以下のようにcodice_6キーワードが必要である。
struct my_struct a;
ここで、構造体宣言の後に、以下の行を追加してみる。
typedef struct my_struct my_struct_t;
これにより、codice_4型の変数を宣言するためには、以下のコードで十分となる。
my_struct_t a;
同じことは、以下のコードでも行うことができる。
typedef struct my_struct {
 int data1;
 int data2;
 char data3;
} my_struct_t;
構造体のタグ名を省略することもできる。この場合、タグ名は処理系によって自動生成される。
typedef struct {
 int data1;
 int data2;
 char data3;
} my_struct_t;
構造体のタグ名と別名を同一にすることもできる。
typedef struct my_struct_t {
 int data1;
 int data2;
 char data3;
} my_struct_t;
以上のcodice_1活用は構造体だけに限らず、共用体codice_9や列挙型codice_10の定義時にも同様に適用可能である。
typedefは、自己参照構造体へのポインタの作成を簡単にすることもできる。以下にコード例を示す。
typedef struct node_tag node_t;
struct node_tag {
 node_t *nextptr;
 int data;
通常、ある型のポインタ型変数を宣言する際、それぞれの変数名の前にアスタリスクcodice_11を記述する必要がある。
node_t *startptr, *endptr, *curptr, *prevptr, errptr, *refptr;
プログラマはcodice_12がポインタ型codice_13であることを想定しているが、typoによりcodice_12は値型codice_15であると定義されてしまっている。これは微妙な構文エラーを引き起こす。
新たにcodice_13型を定義することでこのような記述ミスを回避できる。以下のコードがその例である。
typedef node_t *node_ptr_t;
node_ptr_t startptr, endptr, curptr, prevptr, errptr, refptr;
これにより、codice_12を含めて全ての変数がcodice_13型であることが保証される。
再代入や書き換えが不可能な文字列定数の配列（テーブル）を定義するときも、codice_1を利用することで分かりやすくなる。
static const char *const planetNamesTable[] = { "Mercury", "Venus", "Earth", "Mars" };
/* 以下は上記と等価。 */
typedef const char *ConstCharPtr;
static const ConstCharPtr planetNamesTable[] = { "Mercury", "Venus", "Earth", "Mars" };
関数へのポインタを利用する場合も codice_1 を利用することで可読性を向上できる可能性がある。
typedef int binary_operator_t(int, int);
int main(int argc, char *argv[]) {
 /* 以下は「int(*f)(int, int) = add;」と同義だが、より簡潔かつ明瞭である。 */
 binary_operator_t *f = add;
 printf("add(12, 13) = %d\n", f(12, 13));
なお、上記は以下のようにも書ける。
typedef int (*binary_operator_ptr_t)(int, int);
int main(int argc, char *argv[]) {
 binary_operator_ptr_t f = add;
 printf("add(12, 13) = %d\n", f(12, 13));
配列に対して codice_1 を利用することもできる。
typedef int array_int_2_t[2];
int main(int argc, char *argv[]) {
 array_int_2_t a;
 a[0] = 12;
 a[1] = 13;
 printf("a[0] = %d, a[1] = %d\n", a[0], a[1]);
なお、以下のようなコードに対する動作は未定義となる。グローバルスコープを持ち、アンダースコアcodice_22で始まる識別子、もしくはcodice_22で始まり、その次が大文字の識別子は予約済み識別子であり、それを宣言または定義した場合は動作未定義とされているからである。
typedef struct _MyStruct {
} MyStruct;
マクロとの比較.
C/C++にはテキストの置換機能としてマクロも備わっているが、型名の置換に使うには問題がある。まず、ポインタ型を正しく扱えない。
const_char_ptr_t s1 = "abc", s2 = "ABC"; // s2はconst char型となり、コンパイルエラーを引き起こす。
typedefであればポインタ型を正しく扱える。
typedef const char *const_char_ptr_t;
const_char_ptr_t s1 = "abc", s2 = "ABC";
また、マクロは乱暴な置換を行なうことから、意図しない置換による原因特定のしにくいコンパイルエラーを引き起こすこともある。
C++.
C言語と異なり、C++において構造体、共用体、列挙型、クラス型の変数を宣言する際は、codice_6、codice_9、codice_10、codice_27キーワードの使用はオプションとなっており、あいまいさがないかぎり省略できる。例えば、
struct my_struct {
 int data1;
 int data2;
 char data3;
という定義さえあれば、codice_1エイリアスを明示的に定義したり、codice_6キーワードを明示的に使用したりせずとも、
my_struct a;
と宣言できる。
C++ではクラス（あるいは構造体）内部でcodice_1を使用することで、クラス スコープのシノニムを定義することができるため、テンプレートを使用したジェネリックプログラミングやダックタイピングに都合がよい。C++標準ライブラリのSTLの実装では、このテクニックが利用されている。
C++のusingエイリアス宣言.
C++ではcodice_1をC言語同様にエイリアス宣言のために利用できるが、C++11ではcodice_32キーワードによる文法も追加された。
typedef int MyInt; // intの別名MyIntの宣言
C++11では、上記は以下のようにも書ける。
using MyInt = int; // intの別名MyIntの宣言
なお、codice_1はテンプレート化できないが、C++11ではcodice_32によるエイリアステンプレートが追加された。
template <typename T> using TStringMap = std::map<std::string, T>;
TStringMap<double> diametersTable = { { "Mercury", 4879 }, { "Venus", 12104 }, { "Earth", 12756 }, { "Mars", 6792 } };
批判と利点.
一部の人々は、codice_1を広範に使用することに反対している。ほとんどの議論は、codice_1は単に変数の実際のデータ型を隠すだけであるという考えに集中する。例えば、Linuxカーネルハッカーであり、ドキュメント作成を行っているグレッグ・クロー＝ハートマン（Greg Kroah-Hartman）は、関数プロトタイプ宣言を除いて、codice_1の使用をやめさせようとしている。彼は、codice_1を使用することが、必要以上にコードを混乱させるだけでなく、プログラマが巨大な構造体を単純な型と誤認識して使用してしまうことがあると主張している。
しかし、codice_1を推奨して、広範に使用することに大賛成する人々もいる。特に、C言語を発明したブライアン・カーニハン (Brian W. Kernighan) とデニス・リッチー (Dennis M. Ritchie) はプログラミング言語C（英：）というC言語の定義書に、codice_1の利用に対するメリットを2つ述べている。まず第一は、ソフトウェアをマルチプラットフォーム展開する際に、ソースコードの移植性（ポータビリティ）を向上させる手段として重要なことである。データ型の改良あるいは変更が必要になるときに、必要な変更はただ1つだけのcodice_1の宣言箇所であり、codice_1シノニムを利用してさえいれば多くの箇所を変更する必要がなくなる。第二に、データを隠すことに加えて、データのカプセル化も向上させるようになり、複雑な宣言がより理解しやすくなることである。
もともとC言語の規格では、基本型（codice_3などの組み込み型）のサイズや内部表現を厳密に規定しておらず、処理系依存となっている（ターゲット プラットフォームにとって都合の良いサイズや内部表現に設定してよいことになっている）ため、プラットフォーム間の違いを吸収して同じソースコードを使うためにはcodice_1は必須の技術といえる。C99/C++11規格では、codice_45などのサイズや内部表現を保証する整数型が/にて標準化されたが、これらは通例codice_1シノニムを利用して実装される。とはいえ、エイリアスによる型定義は万能ではなく、汎整数拡張などのように組み込み型にまつわる問題は依然として残っている。
Microsoft WindowsにおけるWindows APIの例でいうと、Win16とWin32におけるcodice_3型の違いを吸収できるcodice_48型がエイリアス定義されている。また、Win16、Win32、Win64におけるポインタ互換整数型の違いを吸収できるcodice_49型がエイリアス定義されている。
他の言語.
Haskell、Miranda、Objective Caml等のような、多くの静的型付けの関数型言語では、C言語でのcodice_1と同じ働きをする、"type synonym"を定義することができる。Haskellでの例を示す。
type PairOfInts = (Int, Int)
これにより、codice_51のペアと同じものをtype synonymのcodice_52で定義することができる。
PascalおよびObject Pascalではcodice_53キーワードを使用することで、codice_1同様に別名を定義することができる。
type
 TMyInt = Integer; // 組み込み型Integerに対するシノニム。
C/C++の特徴を取り入れたC#言語では、基本型のサイズは厳密に決められており、またcodice_1は言語機能として存在しないが、代わりにcodice_32エイリアス ディレクティブ機能が存在する。
using MyString = System.String;