総称型の型推論

ウィキペディア小見出し辞書

総称型の型推論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 09:09 UTC 版)

「型推論」の記事における「総称型の型推論」の解説

C++では、関数テンプレートに対してテンプレート実引数（具体的な型名）を明示的に与えて型を決定することもできるが、曖昧さがない場合に限り、関数呼び出しの実引数に応じて型を推論させることもできる。 #include #include template T getVectorLength(T x, T y, T z) { return std::sqrt(x * x + y * y + z * z); // std::sqrt() には double あるいは float を受け取るオーバーロードが存在する。}int main() { const double len1 = getVectorLength(1, 2, 3); // double getVectorLength(double, double, double) const float len2 = getVectorLength(1.0f, 2.0f, 3.0f); // float getVectorLength(float, float, float) std::cout << len1 << std::endl; std::cout << len2 << std::endl;} テンプレート仮引数Tを持つ関数テンプレートにおける仮引数の型宣言が、参照T&あるいはポインタT*であったり、ユニバーサル参照T&&であったりする場合は、推論の結果として定まる型が異なる場合もある。 C++17ではクラステンプレートのテンプレート引数を推論することもできるようになった。 template struct Vector3 { T x, y, z; Vector3(T ax, T ay, T az) : x(ax), y(ay), z(az) {}};int main() { Vector3 v1(1.0, 2.0, 3.0); // C++03 以前でも利用可能な、従来のコンストラクタ呼び出しによる実体化。 Vector3 v2 { 1.0, 2.0, 3.0 }; // C++11 以降の uniform initialization を使用した実体化。 Vector3 v3(1.0, 2.0, 3.0); // C++17 以降でのみ有効。Vector3 に推論される。 Vector3 v4 { 1.0, 2.0, 3.0 }; // 同上。} Javaはバージョン5.0以降にてメソッドスコープの型変数を推論する機能を持つ。 // 型推論を用いない書き方。List list1 = Collections.emptyList();// 型変数へのバインドに型推論を用いた書き方。List list2 = Collections.emptyList(); その他、Java 7 からは型変数を持つクラスをnewする場合にバインドすべき型を推論するダイヤモンド演算子という機能を持つ。 // 型推論を用いない書き方。List list1 = new ArrayList();// ダイヤモンド演算子による型推論。List list2 = new ArrayList<>();