暗黙的および明示的な型指定
メニューを表示するにはスワイプしてください
暗黙的な型指定
ほとんどの場合、C++コンパイラは関数に渡された引数からテンプレート型を自動的に判別します。パラメータ型が必要な情報をすべて提供している場合、型を明示的に指定する必要はありません。
main.cpp
12345678910111213#include <iostream> template<typename T> void PrintValue(T value) { std::cout << value << std::endl; } // The compiler assigns the type for `T` // Based on the type of the passed argument `value` int main() { PrintValue(42); // `T` is deduced as `int` PrintValue(3.14); // `T` is deduced as `double` PrintValue("Hello"); // `T` is deduced as `const char*` }
コンパイラは関数引数に基づいてテンプレートパラメータ T の型を自動的に判別します。これにより、関数呼び出しが簡潔で読みやすくなります。このため、実際には気付かないうちにテンプレートを使用している場合もあります。
main.cpp
header.h
123456789101112#include <iostream> int main() { int a = 300; int b = 200; // `std::swap` is actually a template and you can prove it // Try to specify `int` type explicitly `std::swap<int>` std::swap(a, b); std::cout << a << " " << b << std::endl; }
明示的な型指定
これまでの内容を踏まえると、疑問が生じます。型推論が暗黙的に行われるのであれば、なぜ明示的に型を指定する必要があるのでしょうか？ これは、自動型推論が機能しない、または十分でない場合があり、その際にはテンプレート型を明示的に指定する必要があるためです。例を見てみましょう。
ambiguous.cpp
forcing_type.cpp
no_parameters.cpp
12345678910#include <iostream> template<typename T> T GetDefaultValueSum(T a, T b) { return a + b; } int main() { // If `float` won't be specified, this code would generate an error std::cout << GetDefaultValueSum<float>(2, 2.5) << std::endl; }
すべて明確でしたか？
フィードバックありがとうございます！
セクション 1. 章 7
AIに質問する
AIに質問する
何でも質問するか、提案された質問の1つを試してチャットを始めてください
セクション 1. 章 7
