型変換
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方
出典検索?: "型変換" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL(2017年9月)

型変換(かたへんかん、: type conversion)とはプログラムにおいて、あるデータ型を他のデータ型に変換することである[1]。型キャスト(: type casting)とも呼ばれる[2]
分類
暗黙の型変換と明示的型変換

暗黙の型変換は、明示的に指定しなくてもコンパイラの判断によって自動的に行われる型変換で、型強制(type coercion)ともいう[3]。逆に、明示的に指定して行う型変換を明示的型変換という。

暗黙の型変換では、たとえばある式の中に複数の型の変数がある場合、すべての変数を最も上位の型に変換する。double d;long l;int i;/* ... */if (d > i) d = i;if (i > l) l = i;if (d == l) d *= 2;

このC言語のコードでは、dとlとiは異なったデータ型をもっているので、すべての演算は自動的に同じ型に変換された後に行われる。より大きなサイズの型に変換されることを拡大変換 (widening conversion) と呼び、より小さなサイズの型に変換されることを縮小変換 (narrowing conversion) と呼ぶ。

暗黙の型変換には注意しなければならないこともある。たとえばdouble型(浮動小数点数)の値をint型(整数型)の変数に代入する場合、小数点以下の端数があったり、元の値がint型で表現できる範囲を超えていたりすると、縮小変換により情報の一部が失われてしまう。浮動小数点数特有の誤差により、意図せず切り捨てられてしまうこともありうる。また、符号付き整数と符号無し整数との間の暗黙変換に関しても、同様に情報が失われたり、整数オーバーフローにより意図しない値になってしまったりする可能性がある。C言語およびC++では暗黙の縮小変換を許しているが、情報が失われる可能性のある変換に対して、通例コンパイラが警告を出す。JavaC#などの後発言語では、暗黙の縮小変換を許可せず、後述するキャスト (cast) 構文による明示的な変換が必要となる。さらに型の扱いが厳密なF#などの関数型言語では、暗黙の拡大変換も許可せず、キャスト構文による明示的な型変換が必要となる。
組み込みの型変換とユーザー定義の型変換

基本的な型変換(整数どうしの変換や、整数と浮動小数点数との間の変換など)は、多くのプログラミング言語処理系で最初から定義されており、通例プロセッサ (CPU) によってサポートされる高速なハードウェア変換命令にコンパイルされる。一方、ある型から別の型への変換をユーザーが定義できる言語もある。

例えばC++では、ユーザー定義型の中に変換元の型を一つだけとる引数付きコンストラクタを定義すれば、ユーザー定義の暗黙の型変換が定義できる。これを変換コンストラクタ (converting constructor) と呼ぶ。コンストラクタにexplicit修飾子をつけると暗黙の型変換が許されなくなり、明示的型変換が必要となる。class Class1 { };class Class2 {public: explicit Class2(Class1 c1) { /* ... */ }};void test() { Class1 c1; Class2 c2 = (Class2)c1; // explicit 修飾子がなければ Class2 c2 = c1; でよい。 // explicit の有無にかかわらず、Class2 c2(c1); と書くことは常にできる。}

ここで、Class1とClass2の間には継承関係がないにもかかわらず代入ができている。これはClass1からコンストラクタを通してClass2に型変換されるからである。

なお、上の例では型変換の構文をとってはいるが、実際の処理としてはc1はコンストラクタへの引数として渡されている。そのため、本来必要のないc1のコピーが生成される。これを避けるために、変換元の型がユーザー定義型である場合には、通常は引数を参照として渡す。また、型変換という操作の意味を考えれば、変換元のインスタンスに変更を加えるということはあり得ないので、通常は引数にconst修飾子をつけて変更不可とする。結局、コンストラクタの宣言はexplicit Class2(const Class1& c1) { ... } のように書くことが多い。

なお、C++11以降では複数の引数を持つコンストラクタであっても、explicitを指定しない場合は変換コンストラクタとなることができる[4]
キャストとその分類

C言語とその流れにある言語では、キャスト演算子によるキャスト式により、式の右辺値を指定された型に型変換する。この構文をキャストと呼ぶ。C言語のキャスト演算子は、型名を括弧で囲んだ形式 (Type) であり、目的の式に前置する。double d = 1234.5678;int x = (int)d;

C++では従来のC言語形式のキャスト構文のほか、用途および意味を明確にした4つの異なるキャスト構文(static_cast, reinterpret_cast, const_cast, dynamic_cast)が用意されている。C++では意味が曖昧なC言語形式のキャスト構文は推奨されず、状況に応じて4つのキャスト構文を使い分けることが推奨される。
アップキャスト

あるクラスBaseと、Baseから派生したクラスDerivedがあるとする。アップキャストとは、派生クラスから基底クラスへの型変換、すなわちDerivedのインスタンスをBaseに変換する操作である。「DerivedのインスタンスはBaseのインスタンスである」ことは保証されているので、この変換は安全である。そのため、多くの言語において、アップキャストは暗黙的に行うことができる(リスコフの置換原則)。例外として、F#は暗黙変換を許可しない言語であり、インターフェイス(抽象基底クラス)のメソッドはそのインターフェイスを実装したクラス(派生クラス)のインスタンスから直接呼び出すことができず、まずインターフェイス型への明示的なアップキャストが必要となる[5]
ダウンキャスト

ダウンキャストはアップキャストの逆で、基底クラスから派生クラスへの型変換、すなわちBaseのインスタンスをDerivedに変換する操作である。Baseのインスタンスは必ずしもDerivedのインスタンスとは限らないので、この変換は一般に安全ではなく、エラーが発生する可能性がある。そのため、多くの言語ではキャスト構文による明示的な変換の記述が必要である。通例、オブジェクト指向プログラミングではポリモーフィズムを使うべきであり、ダウンキャストおよびクロスキャストが必要になるということはプログラムの設計に問題があることを示唆している。

C++では、安全なダウンキャストのためにdynamic_castという特別な構文が用意されている。この構文では、実行時型情報を参照し、ポインタ間の変換が失敗すると結果としてnullptrが返る。参照間の変換が失敗するとstd::bad_cast例外がスローされる。dynamic_castを使用するためには、型に仮想関数テーブルが必要となる。つまり、基底クラスに少なくとも1つの仮想関数を持つ必要がある。確実に成功することが分かっているダウンキャストの場合はstatic_castで代用でき、これはdynamic_castよりも実行時コストが小さくなるが、失敗する可能性のある場合には使えない[6]。単一継承の場合はダウンキャストにC言語形式のキャスト構文を使うこともできるが、多重継承の場合はダウンキャストにdynamic_castまたはstatic_castを使う必要があり、またどの基底クラスへのポインタにキャストするかによって結果アドレスが変化しうる。

Javaでは、ダウンキャストに失敗するとjava.lang.ClassCastException例外がスローされる。C++のdynamic_castに相当する機能は存在しないが、instanceof演算子で型情報を問い合わせることはできる。Java 14では、instanceof演算子の機能が拡張され、末尾で宣言した変数に変換結果を格納できるようになった[7]

C#では、ダウンキャストに失敗するとSystem.InvalidCastException例外がスローされる。参照型またはnull許容型(Nullable型)への変換についてはas演算子が用意されており、変換が失敗した場合はnullが返る[8]。is演算子は、左辺式の型と右辺で指定した型との互換性(変換可能性)をbool型の値で返す[9]。C# 7.0では、is演算子の機能が拡張され、変換可能性をbool値で返すと同時に、末尾で宣言した変数に変換結果を格納できるようになった[10]。C# 9.0以降では、否定パターンis notもサポートされるようになった。as演算子およびis演算子ともに、通常のキャスト演算子とは異なり、ユーザー定義変換は行われない。
クロスキャスト

あるクラスDerivedが、二つの基底クラスBase1とBase2を多重継承しているとする。このとき、例えばBase1からBase2のように基底クラスどうしの間で型変換することをクロスキャストという。変換する対象がDerivedのインスタンスであればキャストは成功するが、それは実行時にならないと分からないので、ダウンキャストと同様に安全な型変換ではない。

C++では、ダウンキャストと同じ構文dynamic_castで安全なクロスキャストが行える。

C++/CLIおよびC++/CX(英語版)ではそれぞれ、safe_cast構文によるマネージ型間あるいはWindowsランタイム型間のダウンキャストおよびクロスキャストをサポートし、失敗するとSystem.InvalidCastException例外またはPlatform::InvalidCastException例外がスローされる[11][12][13]


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:16 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef