typedef 指定子

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

C++言語

一般的なトピック
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件付き実行文
if	switch
繰り返し文 (ループ)
for range-for (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ関数宣言
inline 指定子
例外指定 (C++20未満)
noexcept 指定子 (C++11)
例外
throw 式	try-catch ブロック
名前空間
名前空間宣言	名前空間エイリアス
åž‹
基本型 列挙型 関数型	複合型 共用体型
指定子
decltype (C++11) auto (C++11) alignas (C++11)	const/volatile constexpr (C++11)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化 (C++11) 定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点
文字 - 文字列 - nullptr (C++11)
ユーザ定義 (C++11)
ユーティリティ
属性 (C++11)
åž‹
typedef 宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の変換 - 明示的な変換
static_cast - dynamic_cast
const_cast - reinterpret_cast
メモリ確保
new 式	delete 式
クラス
クラス宣言 コンストラクタ this ポインタ	アクセス指定子 friend 指定子
クラス固有の関数特性
仮想関数 override 指定子 (C++11) final 指定子 (C++11)	explicit (C++11) static
特別なメンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ (C++11)	コピー代入 ムーブ代入 (C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック (C++11)
その他
インラインアセンブリ	C++ の歴史

 

宣言

概要 宣言の構文 宣言指定子 宣言子 指定子 typedef inline virtual 関数指定子 explicit 関数指定子 friend constexpr (C++11) consteval (C++20) constinit (C++20) 記憶域クラス指定子 classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 複雑型指定子 属性 (C++11)

宣言子 参照 ポインタ 配列 ブロック宣言 シンプルな宣言 → 構造化束縛宣言 (C++17) エイリアス宣言(C++11) 名前空間エイリアス定義 using 宣言 using 指令 static_assert 宣言 (C++11) asm 宣言 不透明な enum の宣言(C++11) その他の宣言 名前空間定義 関数宣言 クラステンプレート宣言 関数テンプレート宣言 テンプレートの明示的実体化(C++11) テンプレートの明示的特殊化 リンケージ指定 属性の宣言 (C++11) 空の宣言

 

• typedef - 型名を使用する場所ならどこでも使用できる別名を作成します。

説明

typedef 指定子は、宣言の decl-specifier-seq で使用されたとき、その宣言が typedef 宣言であり、関数やオブジェクトではなく typedef 名を宣言することを指定します。 同じ行でひとつまたは複数の識別子を宣言しても良く (例えば int と int へのポインタなど)、配列や関数型、ポインタや参照、クラス型などを宣言しても構いません。 この宣言で導入されたそれぞれの識別子は typedef 名となり、もしキーワード typedef が無かったならば宣言されたであろうオブジェクトや関数の型の同義語となります。

typedef 指定子は型指定子を除く他のいかなる指定子とも組み合わせることはできません。

typedef 名は既存の型の別名であり、新しい型の宣言ではありません。 typedef は既存の型名 (typedef 名を含む) の意味を変えるために使用することはできません。 いったん宣言された typedef 名は、もう一度同じ型を参照するためにのみ再宣言しても構いません。 typedef 名はそれらが可視なスコープでのみ有効です。 異なる関数やクラスでは同一の名前の型を異なる意味で定義しても構いません。

typedef 指定子は宣言子を含まない宣言で使用することはできません。 typedef struct X {}; // ill-formed

(C++17以上)

リンケージ目的の typedef 名

形式的には、 typedef 宣言が無名クラスまたは列挙を定義する場合、そのクラス型または列挙型となるその宣言によって宣言された最初の typedef 名は、リンケージ目的でそのクラス型または列挙型を示すために使用されます。 例えば、 typedef struct { /* ... */ } S; の場合、 S はリンケージ目的の typedef 名です。 この方法で定義されたクラス型や列挙型は、 (無名名前空間内でなければ) 外部リンケージを持ちます。

この方法で定義された無名クラスは C 互換の要素のみを含むべきです。 特に、 非静的データメンバ、メンバ列挙、メンバクラス以外のいかなるメンバも宣言してはなりません。 いかなる基底クラスもデフォルトメンバ初期化子も持ってはなりません。 ラムダ式を含んではなりません。 また、すべてのメンバクラスもこれらの要件を (再帰的に) 満たさなければなりません。

(C++20以上)

キーワード

typedef

ノート

型エイリアスは、 typedef と同じ機能を異なる構文で提供し、さらにテンプレート名にも適用できます。

例

// 単純な typedef。
typedef unsigned long ulong;
 
// 以下の2つのオブジェクトは同じ型です。
unsigned long l1;
ulong l2;
 
// もっと複雑な typedef。
typedef int int_t, *intp_t, (&fp)(int, ulong), arr_t[10];
 
// 以下の2つのオブジェクトは同じ型です。
int a1[10];
arr_t a2;
 
// 「struct S」と書くのを回避するための一般的な C 言語のイディオム。
typedef struct {int a; int b;} S, *pS;
 
// 以下の2つのオブジェクトは同じ型です。
pS ps1;
S* ps2;
 
// エラー、記憶域クラス指定子は typedef 宣言では使用できません。
// typedef static unsigned int uint;
 
// typedef は decl-specifier-seq の中ならどこでも使用できます。
long unsigned typedef int long ullong;
// 普通に書くと「typedef unsigned long long int ullong;」です。
 
// 他の多くのメタ関数と同様に、 std::add_const はメンバ typedef を使用します。
template< class T>
struct add_const {
    typedef const T type;
};
 
typedef struct Node {
    struct listNode* next; // listNode という名前の新しい (不完全な) 構造体型を宣言します。
} listNode; // エラー、前に宣言された構造体の名前と衝突します。

関連項目

typedef 宣言 の C言語リファレンス