C++模板基础语法怎么使用 函数模板与类模板声明实例化详解

template<typename T>

template<class T>

T

#include <iostream>
#include <string>

// 声明一个函数模板
template<typename T>
T maximum(T a, T b) {
    return (a > b) ? a : b;
}

int main() {
    // 实例化与使用

    // 显式实例化：编译器根据你传入的类型生成特定版本的函数
    int max_int = maximum<int>(5, 10); // 实例化出 maximum<int>(int, int)
    std::cout << "Max int: " << max_int << std::endl; // Output: Max int: 10

    double max_double = maximum<double>(3.14, 2.71); // 实例化出 maximum<double>(double, double)
    std::cout << "Max double: " << max_double << std::endl; // Output: Max double: 3.14

    std::string s1 = "world", s2 = "hello";
    std::string max_string = maximum<std::string>(s1, s2); // 实例化出 maximum<std::string>(string, string)
    std::cout << "Max string: " << max_string << std::endl; // Output: Max string: world

    // 隐式实例化：编译器根据函数参数的类型自动推导
    // 这在大多数情况下更常见，也更方便
    int another_max_int = maximum(7, 2); // 编译器自动推导出 T 为 int
    std::cout << "Another max int: " << another_max_int << std::endl; // Output: Another max int: 7

    double another_max_double = maximum(1.23, 4.56); // 编译器自动推导出 T 为 double
    std::cout << "Another max double: " << another_max_double << std::endl; // Output: Another max double: 4.56

    // 注意：如果类型不匹配，或者编译器无法推导，就得显式指定
    // maximum(1, 2.5); // 这会报错，因为 T 无法同时是 int 和 double
    // 此时你需要：
    double mixed_max = maximum<double>(1, 2.5); // 显式指定 T 为 double，1 会被隐式转换为 double
    std::cout << "Mixed max: " << mixed_max << std::endl; // Output: Mixed max: 2.5

    return 0;
}

template<typename T>

#include <iostream>
#include <string>

// 声明一个类模板
template<typename T>
class MyContainer {
private:
    T value;
public:
    MyContainer(T val) : value(val) {}
    void print() {
        std::cout << "Value: " << value << std::endl;
    }
    T getValue() const {
        return value;
    }
};

int main() {
    // 实例化与使用
    // 类模板的实例化必须是显式的，编译器无法自动推导类的类型参数
    MyContainer<int> int_container(100); // 实例化出 MyContainer<int>
    int_container.print(); // Output: Value: 100

    MyContainer<std::string> string_container("Hello Templates"); // 实例化出 MyContainer<std::string>
    string_container.print(); // Output: Value: Hello Templates

    // 错误示范：类模板无法隐式实例化
    // MyContainer mc(5); // 编译错误！必须指定类型参数

    return 0;
}

class

struct

template<typename T>

<>

typename

class

typename

typename

typename Container<T>::iterator

.cpp

std::vector

std::list

std::map

std::vector<int>

std::vector<std::string>

vector