C++与Typescript的区别

一、C++类模板和函数模板

1.类模板

2.函数模板

二，Typescript 的泛型声明

1.泛型函数

2.泛型类

为什么C++和Typescript语言中主张模板和泛型

一、C++类模板和函数模板

在C++中，类模板和函数模板允许你为多种数据类型编写通用的代码。这就像每个人都有鼻子，耳朵，眼镜。但是有些人整合在一起就是帅哥美女，有的就长成。。。

C++主要分为两个模板-------类模板和函数模板。

1.类模板

template<class T1, class T2, class Tn>
class 类模板名
{
 // 类内成员定义
};

通常类模板是这样的格式。（typename是用来定义模板参数关键字，也可以使用class。切记：不能使用struct代替class）

template <typename T>  
class AnimalHouse {  
private:  
    T size; // 房间的大小  
public:  
    AnimalHouse(T size) : size(size) {} // 构造函数，用来设置房间的大小  
    void displaySize() {  
        std::cout << "房间的大小是：" << size << std::endl;  
    }  
};
//这样使用
int main
{
AnimalHouse<int> elephantHouse(100); // 创建一个大房间给大象住，大小为100  
elephantHouse.displaySize(); // 显示这个大房间的大小  
  
AnimalHouse<int> rabbitHouse(50); // 创建一个小房间给兔子住，大小为50  
rabbitHouse.displaySize(); // 显示这个兔子的小房间的大小
}

在这个例子中，AnimalHouse 是一个类模板，它接受一个类型参数 T。这个T可以是任何数据类型，比如int、float或者自定义的数据类型。通过使用类型参数 T，你可以创建不同大小的房间。

2.函数模板

template<typename T1, typename T2,......,typename Tn>
返回值 函数名(参数列表）
{

}

typename是用来定义模板参数关键字，也可以使用class。切记：不能使用struct代替class。

template <typename T>  
T magicBox(T a, T b, bool operation)
 {  
    if (operation) 
    {  
        return a + b; // 如果选择加法，就返回两个数的和  
    }
 else
    {  
        return a - b; // 如果选择减法，就返回第一个数减去第二个数的结果  
    }  
}


int main()
{
int a=5;
int b=3;
std::cout<<magicBox<int>(a,b,true)<<std::endl; // 计算5 + 3 = 8并输出结果
std::cout<<magicBox<int>(a,b,false)<<std::endl;// 计算5 - 3 = 2并输出结果
}

在这个例子中，magicBox 是一个函数模板，它接受两个类型参数 T 和一个布尔值 operation。类型参数 T 可以是任何数据类型，比如int、float或者自定义的数据类型。布尔值 operation 用来决定是做加法还是减法。

	类模板	函数模板
定义方式	使用`template`关键字后跟类型参数	与类模板相同
适用场景	适用于需要创建不同数据类型的对象，并使用相同逻辑处理的场景	适用于需要编写处理不同数据类型的通用函数的场景
代码复用	通过创建模板类的实例来复用代码	通过函数模板来复用代码
实例化次数	类模板的实例化次数与其对象实例的创建次数一致	函数模板的实例化次数与其函数的调用次数一致
类型参数的使用范围	类型参数用于类声明和类实现中的成员函数和成员变量	类型参数用于函数声明和函数定义中，也可以用于返回值和参数类型
自动数据类型推导	不可以	不可以

二，Typescript 的泛型声明

TypeScript 是 JavaScript 的一个超集(父集)，增加了类型检查和其他的特性。在 TypeScript 中，你可以使用泛型来编写可重用的组件或函数，这些组件或函数可以处理多种数据类型。它的泛型有两种分别是泛型函数和泛型类

1.泛型函数

function identity<T>(arg: T): T {  
    return arg;  
}  
  
let output = identity(10);

在上面的例子中，identity 函数是泛型函数。它使用 <T> 来定义一个类型参数，并在函数的参数和返回类型中使用这个类型参数。

2.泛型类

class GenericNumber<T> {  
    zeroValue: T;  
    add: (x: T, y: T) => T;  
}  
  
let myGenericNumber = new GenericNumber<number>();  
myGenericNumber.zeroValue = 0;  
myGenericNumber.add = (x, y) => x + y;

在这个例子中，我们创建了一个名为 GenericNumber 的泛型类，它有一个类型参数 T。然后我们创建了 GenericNumber 的一个实例 myGenericNumber，并指定 T 为 number 类型。这样，我们就可以在 myGenericNumber 对象上使用数字操作了。

<T>表示定义模板类型，(value: T): T 表示参数和返回值类型都是同一个类型,具体T是什么类型就实参决定。

	C++模板	TypeScript泛型
定义方式	使用关键字 "template" 来定义函数或类模板	使用泛型符号 "<>" 在函数或类声明中定义泛型
类型参数	template<typename T1, typename T2>；（注意这里typename要大写）	<T1, T2> （C++和TypeScript都可以使用多个类型）
类型检查	编译时进行类型检查，可以优化代码	运行时进行类型检查，可能影响性能
函数模板/泛型函数	template<typename T> T add(T a, T b) { return a + b; }	function add<T>(a: T, b: T): T { return a + b; }
类模板/泛型类	template<typename T> class Box { public: T content; Box(T value); };	class Box<T> { public: T content; Box(T value); };

为什么C++和Typescript语言中主张模板和泛型

提高代码复用性：通过模板和泛型，程序员可以编写更加通用的代码，这些代码可以在多种数据类型上运行，而不需要为每一种数据类型单独编写代码。这大大减少了重复的代码，并提高了开发效率。
提高代码可维护性：模板和泛型允许程序员将算法和数据结构与具体的类型分离，使得代码更加模块化。这使得代码更容易理解和维护，因为主要的逻辑被封装在独立的、可重用的组件中，而不是分散在大量的特定类型代码中。
提供更好的类型安全：模板和泛型在编译时进行类型检查，这有助于在早期阶段发现并修复错误，而不是等到运行时才发现。这大大提高了代码的可靠性。
提高性能：虽然泛型在运行时可能会引入一些性能开销，但通过使用泛型，程序员可以编写出更加通用的算法和数据结构，这些算法和数据结构可以在编译时进行优化，从而在某些情况下提供更好的性能。
支持多范式编程：模板和泛型允许程序员使用多种编程范式，例如面向对象编程、函数式编程等。这使得语言更加灵活，能够更好地满足各种不同的编程需求。