AI 助理
文档备案控制台
开发者社区 开发与运维 文章 正文

C++模板之——类模板详解及代码示例

2024-01-09 462
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： C++模板之——类模板详解及代码示例

引言

上一篇文章，我们聊了C++的函数模板，今天我们来聊聊类模板。

一、类模板

1.1 作用

建立一个通用类，类中的成员和数据类型可以不具体指定，使用一个虚拟的类型来代替。

语法：

template<typename T>
类声明或者定义

说明：

template —— 表明要创建类模板。

typename —— 表示一种数据类型，可以用 class 代替， T 就是具体的名称，通常为大写字母。

1.2 代码示例
#include <iostream>
#include <string>
using namespace std;
// 类模板
template<class nameType, class ageType>
class Person{
public:
    Person(nameType name, ageType age){
        this->m_name = name;
        this->m_age = age;
    }    
    nameType m_name;
    ageType m_age;
};
int main(int argc, char* argv[])
{
    Person<string, int> p1("panda", 20);
    std::cout << "p1.name: " << p1.m_name << " p1.age: "<< p1.m_age<< std::endl;
    return 0;
}
1.2 类模板与函数模板的区别
  • 类模板没有自动类型的推到使用方法
  • 类模板可以再模板参数列表中有默认参数类型
// 类模板
template<class nameType, class ageType = int> // ageType类型默认为int
class Person{
public:
    Person(nameType name, ageType age){
        this->m_name = name;
        this->m_age = age;
    }    
    nameType m_name;
    ageType m_age;
};
int main(int argc, char* argv[])
{
    Person<string, int> p1("panda", 20);
    std::cout << "p1.name: " << p1.m_name << " p1.age: "<< p1.m_age<< std::endl;
    // Person p("panda", 20); // 错误，不能自己推导数据类型
    Person<string> p2("lwang", 20);
    std::cout << "p2.name: " << p2.m_name << " p2.age: "<< p2.m_age<< std::endl;
    return 0;
}

运行结果：

1.3 类模板中成员函数创建时机
  • 普通类函数成员一开始就可以创建出来
  • 类模板中的函数成员只有在调用的时候才创建

示例：

class Student{
public:
    void showStudentInfo()
    {
        std::cout << "Student show." << std::endl;
    }
};
class Teacher{
public:
    void showTeacherInfo()
    {
        std::cout << "Teacher show." << std::endl;
    }
};
template<class T>
class Person{
public:
    T obj;
    // 成员函数
    void func1()
    {
        obj.showStudentInfo();
    }
    void func2()
    {
        obj.showTeacherInfo();
    }
};
int main(int argc, char* argv[])
{
    Person<Student> pStu;
    pStu.func1();
    // pStu.func2();  // 在确认Person的T的类型为Student后，编译器发现obj没有func2，编译报错
    Person<Teacher> pTe;
    // pTe.func1(); // 在确认Person的T的类型为Teacher后，编译器发现obj没有func1，编译报错
    pTe.func2();
    return 0;
}

运行结果：

1.4 类模板对象作为函数的参数如何传递

类模板实例化出的对象，作为函数的参数传递的方式有三种：

  1. 显示指定传入的类型
  2. 参数模板化
  3. 整个类模板化
template<class nameType, class ageType = int> // ageType类型默认为int
class Person{
public:
    Person(nameType name, ageType age){
        this->m_name = name;
        this->m_age = age;
    }    
    nameType m_name;
    ageType m_age;
};
void showPerson1(Person<string> &p)
{
    std::cout << "p.name: " << p.m_name << " p.age: "<< p.m_age<< std::endl;
}
template<class T1, class T2>
void showPerson2(Person<T1, T2>& p)
{
    std::cout << "p.name: " << p.m_name << " p.age: "<< p.m_age<< std::endl;
    // std::cout << "T1 type is: " << typeid(T1).name() << std::endl;
    // std::cout << "T2 type is: " << typeid(T2).name() << std::endl;
}
template<class T>
void showPerson3(T& p)
{
    std::cout << "p.name: " << p.m_name << "   p.age: "<< p.m_age<< std::endl;
    // std::cout << "T type is: " << typeid(T).name() << std::endl;
}
int main(int argc, char* argv[])
{
    // 1. 显式指定参数类型
    Person<string> p("panda", 20);
    showPerson1(p);
    Person<string, int> p1("lwang", 35);
    // 2. 参数模板化
    showPerson2(p1);
  // 3. 整个类模板化
    Person<string, int> p2("lyz", 18);
    showPerson3(p2);
    return 0;
}

运行结果：

1.4 类模板与继承
// 类模板父类
template<class T>
class Base{
public:
    T m_a;
};
// 1. 子类必须知道父类T的类型
// class Derive : public Base{}; // 错误
class Derive : public Base<char>{
public:
    Derive(){
        std::cout << "T type is: " << typeid(m_a).name() << std::endl;
    }
};
// 2.如果想灵活指定父类中的参数类型，子类也必须为类模板
template<class T1, class T2>
class Derice_II: public Base<T2>{
public:
    Derice_II(){
        std::cout << "T1 type is: " << typeid(T1).name() << std::endl;
        std::cout << "T2 type is: " << typeid(T2).name() << std::endl;
    }
    T1 m_b;
};
int main(int argc, char* argv[])
{
    Derive d;
    Derice_II<int, char> d_II; // T1-->int   T2-->char
    return 0;
}

运行结果：

其中 c 表示 char 类型， i 表示 int 类型。

小结：如果父类是类模板，子类需要指定父类中T的类型。

1.5 类模板成员函数的类外实现
// 类模板
template<class nameType, class ageType> 
class Person{
public:
    Person(nameType name, ageType age);    // 类内声明
    // Person(nameType name, ageType age)  // 类内实现
    // {
    //     this->m_name = name;
    //     this->m_age = age;
    // }    
    void show(); // 类内声明
    // void show()  // 类内实现
    // {
    //     std::cout << "name: " << m_name << " age: "<< m_age << std::endl;
    // }
    nameType m_name;
    ageType m_age;
};
// 构造函数的类外实现
template<class nameType, class ageType>
// Person::Person(string name, int age) // 普通类的构造函数实现
Person<nameType, ageType>::Person(nameType name, ageType age)
{
    this->m_name = name;
    this->m_age = age;
}
// 普通成员函数的类外实现
template<class nameType, class ageType>
// Person::show() // 普通类的构造函数实现
void Person<nameType, ageType>::show(){
    std::cout << "name: " << m_name << " age: "<< m_age << std::endl;
}
int main(int argc, char* argv[])
{
    Person<string, int> p("panda", 20);
    p.show();
  return 0;
}
1.6 类模板分文件编写存在的问题及解决

由于类模板中的成员函数是在调用阶段才创建，导致分文件编写时，链接不到。

解决方案：

  1. 直接包含.cpp源文件
  2. 将声明和实现写在一个文件里，命名为.hpp
1.6.1 分文件编写

Person.h 头文件

#program once
#include 
// 类模板
template<class nameType, class ageType> 
class Person{
public:
    Person(nameType name, ageType age);  
    void show(); 
    nameType m_name;
    ageType m_age;
};

Person.cpp 源文件

#include "Person.h"
// 构造函数的类外实现
template<class nameType, class ageType>
Person<nameType, ageType>::Person(nameType name, ageType age)
{
    this->m_name = name;
    this->m_age = age;
}
// 普通成员函数的类外实现
template<class nameType, class ageType>
void Person<nameType, ageType>::show(){
    std::cout << "name: " << m_name << " age: "<< m_age << std::endl;
}
1.6.2 合并为一个.hpp文件

Person.hpp 源文件

#include <iostream>
using namespace std;
template<class nameType, class ageType> 
class Person{
public:
    Person(nameType name, ageType age);  
    void show(); 
    nameType m_name;
    ageType m_age;
};
// 构造函数的类外实现
template<class nameType, class ageType>
Person<nameType, ageType>::Person(nameType name, ageType age)
{
    this->m_name = name;
    this->m_age = age;
}
// 普通成员函数的类外实现
template<class nameType, class ageType>
void Person<nameType, ageType>::show(){
    std::cout << "name: " << m_name << " age: "<< m_age << std::endl;
}

测试代码：

#include <iostream>
#include <string>
#include "Person.hpp"
int main(int argc, char* argv[])
{
    Person<string, int> p("panda", 20);
    p.show();
    return 0;
}
1.7 类模板与友元函数
#include <iostream>
#include <string>
// 提前声明类模板Person
template<class nameType, class ageType>
class Person;
// 这是OuterPrintPerson函数模板的实现，写在前面让编译器先知道有该函数模板的存在
// 又因为该函数模板用到了类模板Person，还要提前声明类模板Person
template<class nameType, class ageType>
void OuterPrintPerson(Person<nameType, ageType>& p){
    std::cout << "OuterPrintPerson -- name: " << p.m_name << " age: "<< p.m_age << std::endl;
}
// 类模板
template<class nameType, class ageType> 
class Person{
public:
    Person(nameType name, ageType age){
        this->m_name = name;
        this->m_age = age;
    }    
    // 全局函数类内实现
    friend void InternalPrintPerson(Person<nameType, ageType>& p){
        std::cout << "InternalPrintPerson -- name: " << p.m_name << " age: "<< p.m_age << std::endl;
    }
    // 全局函数类外实现
    // OuterPrintPerson<>添加<>空模板参数列表，表示这是OuterPrintPerson函数模板的声明
    // 如果是类外实现，需要让编译器提前知道该函数模板的存在
    friend void OuterPrintPerson<>(Person<nameType, ageType>& p); // 函数声明
private:
    nameType m_name;
    ageType m_age;
};
int main(int argc, char* argv[])
{
    Person<string, int> p("panda", 20);
    InternalPrintPerson(p);
    OuterPrintPerson(p);    
    return 0;
}

运行结果：

小结：

  • 全局函数类内实现，直接在类内声明友元即可
  • 劝酒函数类外实现，需要让编译器知道全局函数的存在

文章参考与<零声教育>的C/C++linux服务期高级架构系统教程学习:

文章标签：
C++
编译器
关键词：
C++模板
C++代码
C++模板类
C++类
C++类代码
基层搬砖的Panda
目录
相关文章
蒋星熠Jaxonic
|
6月前
|
缓存 算法 程序员
C++STL底层原理：探秘标准模板库的内部机制
🌟蒋星熠Jaxonic带你深入STL底层：从容器内存管理到红黑树、哈希表，剖析迭代器、算法与分配器核心机制，揭秘C++标准库的高效设计哲学与性能优化实践。
蒋星熠Jaxonic
574 3
C++STL底层原理：探秘标准模板库的内部机制
hahaha无
|
10月前
|
存储 算法 安全
c++模板进阶操作——非类型模板参数、模板的特化以及模板的分离编译
在 C++ 中，仿函数（Functor）是指重载了函数调用运算符()的对象。仿函数可以像普通函数一样被调用，但它们实际上是对象，可以携带状态并具有更多功能。与普通函数相比，仿函数具有更强的灵活性和可扩展性。仿函数通常通过定义一个包含operator()的类来实现。public:// 重载函数调用运算符Add add;// 创建 Add 类的对象// 使用仿函数return 0;
hahaha无
292 0
hahaha无
|
10月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果：注意：类模板中的成员函数若是放在类外定义时，需要加模板参数列表。return 0;
hahaha无
249 0
平凡程序猿~
|
编译器 C++ 开发者
【C++篇】深度解析类与对象（下）
在上一篇博客中，我们学习了C++的基础类与对象概念，包括类的定义、对象的使用和构造函数的作用。在这一篇，我们将深入探讨C++类的一些重要特性，如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象，以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念，提升代码的健壮性、灵活性和可维护性。
平凡程序猿~
349 0
ephemerals__
|
12月前
|
编译器 C++ 容器
【c++11】c++11新特性（上）（列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式）
C++11为C++带来了革命性变化，引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式，initializer_list简化了容器多元素初始化；右值引用和移动语义优化了资源管理，减少拷贝开销；类新增移动构造和移动赋值函数提升性能；lambda表达式提供匿名函数对象，增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展，提升了开发效率与程序性能。
ephemerals__
459 12
hahaha无
|
10月前
|
存储 编译器 程序员
c++的类（附含explicit关键字，友元，内部类）
本文介绍了C++中类的核心概念与用法，涵盖封装、继承、多态三大特性。重点讲解了类的定义（`class`与`struct`）、访问限定符（`private`、`public`、`protected`）、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数（构造函数、析构函数、拷贝构造、赋值重载）以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员（变量与函数）、友元（友元函数与友元类）的概念及其使用场景，并简要介绍了内部类的特性。
hahaha无
387 0
蓝易云
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨，我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性，而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧，对于提升C++编程水平至关重要。
蓝易云
231 16
羑悻的小杀马特
|
编译器 C语言 C++
类和对象的简述（c++篇）
类和对象的简述（c++篇）
羑悻的小杀马特
312 28
预备女程序员a
|
编译器 C++
类和对象（中 ）C++
本文详细讲解了C++中的默认成员函数，包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系，如构造函数的主要任务是初始化对象，而非创建空间；析构函数用于清理资源；拷贝构造与赋值运算符的区别在于前者用于创建新对象，后者用于已存在的对象赋值。同时，文章还探讨了运算符重载的规则及其应用场景，并通过实例加深理解。最后强调，若类中存在资源管理，需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
预备女程序员a
285 1
预备女程序员a
|
存储 编译器 C++
类和对象（上）（C++）
本篇内容主要讲解了C++中类的相关知识，包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符（public、protected、private）的使用规则，以及class与struct的区别。同时分析了类实例化的概念，对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制，解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
预备女程序员a
296 1