[C++] テンプレートの型推論の仕組みと使い方

#include <iostream>
#include <vector>
int main() {
    auto number = 10; // 整数型として推論される
    auto text = "こんにちは"; // 文字列リテラルとして推論される
    auto numbers = std::vector<int>{1, 2, 3, 4, 5}; // ベクター型として推論される
    std::cout << "number: " << number << std::endl;
    std::cout << "text: " << text << std::endl;
    std::cout << "numbers: ";
    for (const auto& n : numbers) {
        std::cout << n << " "; // ベクターの要素を出力
    }
    std::cout << std::endl;
    return 0;
}

number: 10
text: こんにちは
numbers: 1 2 3 4 5

#include <iostream>
int main() {
    auto number = 10; // 初期化されているので型推論可能
    // auto uninitialized; // エラー: 初期化されていないため型推論不可
    auto text = "こんにちは"; // 文字列リテラルとして推論される
    // auto mixed = number + text; // エラー: 型の不一致
    const auto constantValue = 5; // const修飾子を付けた場合
    // constantValue = 10; // エラー: constなので変更不可
    std::cout << "number: " << number << std::endl;
    std::cout << "text: " << text << std::endl;
    std::cout << "constantValue: " << constantValue << std::endl;
    return 0;
}

number: 10
text: こんにちは
constantValue: 5

#include <iostream>
#include <vector>
int main() {
    auto numbers = std::vector<int>{1, 2, 3, 4, 5}; // ベクターの初期化
    for (const auto& num : numbers) {
        std::cout << num << " "; // 要素を出力
    }
    std::cout << std::endl;
    return 0;
}

1 2 3 4 5

#include <iostream>
#include <vector>
#include <algorithm>
int main() {
    auto numbers = std::vector<int>{5, 3, 8, 1, 4};
    
    std::sort(numbers.begin(), numbers.end(), [](const auto& a, const auto& b) {
        return a < b; // 型推論により引数の型が自動的に決定される
    });
    for (const auto& num : numbers) {
        std::cout << num << " "; // ソートされた要素を出力
    }
    std::cout << std::endl;
    return 0;
}

1 3 4 5 8

#include <iostream>
template<typename T>
void printValue(const T& value) {
    std::cout << value << std::endl; // 型推論により引数の型が決定される
}
int main() {
    auto intValue = 42;
    auto doubleValue = 3.14;
    auto stringValue = "こんにちは";
    printValue(intValue);    // 整数を出力
    printValue(doubleValue); // 小数を出力
    printValue(stringValue);  // 文字列を出力
    return 0;
}

42
3.14
こんにちは

#include <iostream>
int main() {
    auto value = 100; // 整数型として推論される
    std::cout << "value: " << value << std::endl;
    return 0;
}

value: 100

#include <iostream>
#include <vector>
int main() {
    auto numbers = std::vector<int>{1, 2, 3, 4, 5};
    
    for (const auto& num : numbers) {
        std::cout << num << " "; // 要素を出力
    }
    std::cout << std::endl;
    return 0;
}

1 2 3 4 5

#include <iostream>
#include <vector>
#include <algorithm>
int main() {
    auto numbers = std::vector<int>{5, 3, 8, 1, 4};
    
    std::sort(numbers.begin(), numbers.end(), [](const auto& a, const auto& b) {
        return a < b; // 型推論により引数の型が自動的に決定される
    });
    for (const auto& num : numbers) {
        std::cout << num << " "; // ソートされた要素を出力
    }
    std::cout << std::endl;
    return 0;
}

1 3 4 5 8

#include <iostream>
int main() {
    int x = 10;
    decltype(x) y = 20; // xと同じ型の変数yを定義
    std::cout << "y: " << y << std::endl; // yの値を出力
    return 0;
}

y: 20

#include <iostream>
int main() {
    auto integerValue = 42; // 整数型として推論
    auto doubleValue = 3.14; // 浮動小数点型として推論
    auto stringValue = "こんにちは"; // 文字列リテラルとして推論
    std::cout << "integerValue: " << integerValue << std::endl;
    std::cout << "doubleValue: " << doubleValue << std::endl;
    std::cout << "stringValue: " << stringValue << std::endl;
    return 0;
}

integerValue: 42
doubleValue: 3.14
stringValue: こんにちは

#include <iostream>
#include <map>
#include <string>
int main() {
    auto myMap = std::map<std::string, int>{}; // 文字列をキー、整数を値とするマップ
    myMap["apple"] = 3;
    myMap["banana"] = 5;
    myMap["orange"] = 2;
    for (const auto& pair : myMap) {
        std::cout << pair.first << ": " << pair.second << std::endl; // キーと値を出力
    }
    return 0;
}

apple: 3
banana: 5
orange: 2

#include <iostream>
template<typename T>
void displayValue(const T& value) {
    std::cout << "Value: " << value << std::endl; // 型推論により引数の型が決定される
}
int main() {
    auto intValue = 100;
    auto doubleValue = 45.67;
    auto stringValue = "こんにちは";
    displayValue(intValue);    // 整数を出力
    displayValue(doubleValue); // 浮動小数点数を出力
    displayValue(stringValue);  // 文字列を出力
    return 0;
}

Value: 100
Value: 45.67
Value: こんにちは