从C#到TypeScript - 高级类型

C# vs TypeScript - 高级类型

上一篇讲了基础类型,基本上用基础类型足够开发了,不过如果要更高效的开发,还是要看下高级类型,这篇和C#共同点并不多,只是延用这个主题。

联合类型

可以从字面上进行理解:其实就是多个类型联合在一起,用|符号隔开。 如: string | number, 表示希望这个类型既可以是string,又可以是number。 联合类型的字段只能调用这些类型共同拥有的方法,除非类型推论系统自动判断出真正的类型。

//这里sn就是一个联合类型的字段,由于类型推论推断出sn肯定是string,所以sn可以调用string的所有方法
let sn: string | number = 'string, number';
//这里就推断不出具体的类型,只能调用toString, toValue了
function snFunc(): string | number{
    return 'string, number';
}

联合类型不光是可以联合基本类型,也可以是用户自定义的class, interace等。

交叉类型

|就有&,交叉类型就是用&符号隔开,表示把多个类型合在一起,新类型包含所有类型的功能。 一些语言如Python有mixins功能,用这个就很容易做到,主要是类似多重继承,不过个人不是用喜欢这个,明显违反了单一原则。 下面这段代码就显示了mixins结合两个类的功能,看起来是不是有点不大合理,目前的趋势也是组合优先,用组合同样也可以做到这些。

class Person {

    talk(): string {
        return `一个人`;
    }
}

class Dog {

    bark(): string {
        return '汪汪汪';
    }
}

function extend<T, U>(first: T, second: U): T & U {
    let result = <T & U>{};
    for (let func of Object.getOwnPropertyNames(Object.getPrototypeOf(first))) {
        (<any>result)[func] = (<any>first)[func];
    }
    for (let func of Object.getOwnPropertyNames(Object.getPrototypeOf(second))) {
        (<any>result)[func] = (<any>second)[func];
    }
    return result;
}

let personDog = extend(new Person(), new Dog());
console.info(personDog.talk());
console.info(personDog.bark());

类型转换

C#里常用的类型转换一个是前面圆括号加类型,一个是as。 TypeScript和C#一样,只不是圆括号改成尖括号。

let test: any = '123';
let str1: string = <string>test;
let str2: string = test as string;

类型保护

联合类型返回的是多个类型的其中一个,但是用的时候并不知道是哪个,需要一个一个判断,这显得很麻烦。

function get(): number | string{
    return 'test';
}
let test = get();
var len = test.length; //编译不了,不知道test到底是number还是string
let str = '';

if((<string>test).sub){
    // string
} else {
    // number
}

除了通过是否有string特有的方法来判断是否是string,也可以用类似C#的typeof来得到它的类型,而且重要的是会提供类型保护机制, 即在typeof作用域里会知道这个变量的类型。

function get(): number | string{
    return 'test';
}
let test = get();
if(typeof test === 'string'){
    console.info(test.length); // 这里由于typeof确定了test类型是string,所以作用域内可以直接取length,而不用<string>转一次
}

typeof比较是有限制的,自己创建的类返回的都是object,这时会用到instanceof,并且instanceof同样会提供类型保护机制。 另外还有类型断言可以提供类似的功能,不过不如上面的来得方便。

function get(): number | string{
    return 'test';
}
let test = get();
function isStr(p : number | string): p is string{
    return (<string>p).sub !== 'undefined';
}

if(isStr(test)) {
    console.info(test.length);
} else {
    console.info(test + 1);
}

上面p is string就是断言参数pstring类型,从而在isStr后可以自动得到test的类型,并且在else里也知道是number类型。

这点上比C#来得好,一般C#做法可能是用as操作符转过来,然后判断是否为空,如果类型多操作起来也很复杂。

类型别名

类型别名即可以为现有类型取一个新名字。

type newstring = string;
let str: newstring = 'aaa';
console.info(str.length);

在C#中也可以用using strList = System.Generic.List做个别名,不过还是不一样,C#的是可以实例化的。 TypeScript别名不是新建一个类型,而是现有类型的一个引用。 给现在类型起别名意义不大,倒是可以配合联合类型或交叉类型做成一些可读的或比较新颖的类型。 别名也支持泛型,现在就有一个用别名创建了一个Tree类型,不过也只是别名,不能实例化,只能是看的,这点不如接口实在。

class Chicken{}
class Duck{}
type Fowl = Chicken | Duck;

type Tree<T> = {
    value: T;
    left: Tree<T>;
    right: Tree<T>;
}

字符串字面量类型

TypeScript可以让string成为一个类型,比如let strType = 'string type'。 这个可以用在方法参数中,用来限制参数的输入。

function test(param1: 'test1' | 'test2' | 'test3'){

}
test('test'); // 编译不了,参数只能是test1, test2或test3

可辨识联合

综合上面的字符串字面量类型、联合类型、类型保护、类型别名可以创建一个可辨识联合的模式。 必须要在自定义的多个类中有相同的字段,这个字段用的是字符串字面量类型并且把这些类型联合起来。

interface Square {
    kind: "square";
    size: number;
}

interface Rectangle {
    kind: "rectangle";
    width: number;
    height: number;
}

interface Circle {
    kind: "circle";
    radius: number;
}

type Shape = Square | Rectangle | Circle;

// 这里就可以用可辨识联合
function area(s: Shape) {
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.height * s.width;
        case "circle": return Math.PI * s.radius ** 2;
    }
}

类型推论

TypeScript可以根据赋值或上下文推论出变量的类型,所以有时可以不用明确标明变量或函数返回值的类型。

let x = 123; // 这里能推论出x是number,就不用写成这样: let x: number = 123;

function get(){ 
    return [1, 2, 3];
}
let arr = get(); // 这里也能推论出arr是number[];

function get(){
    return [1, '2', 3];
}
let arr = get(); // 这里能推论出arr是(number | string)[];

不过个人觉得除了一些很明显的let x = 123之类可以不写,其他的最好还是写上类型,增加代码可读性。

以上就是TypeScript的类型了,比较灵活也比较难,可能要在实际项目中用用就会比较好掌握。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏HTML5学堂

详析获取标签

在前几期的文章当中,我们学习了JS的基础语法,它是我们学习其它知识点的重要前提。小编也与大家分享了JS逻辑与DOM的相结合,并带着大家去实现了一些简单的页面交互...

3059
来自专栏逸鹏说道

我为NET狂面试题-基础篇-答案

面向过程: 答案:图片只贴核心代码,完整代码请打开解决项目查看 (答案不唯一,官方答案只供参考,若有错误欢迎提出~) 99乘法表 https://githu...

32713
来自专栏阮一峰的网络日志

CSS in JS 简介

1、 以前,网页开发有一个原则,叫做"关注点分离"(separation of concerns)。 ? 它的意思是,各种技术只负责自己的领域,不要混合在一起,...

2677
来自专栏AI科技大本营的专栏

10分钟快速入门Python函数式编程

本文,你会了解到什么是函数式编程,以及如何用 Python 进行函数式编程。你还会了解到列表解析和其他形式的解析。

662
来自专栏数据小魔方

左右用R右手Python系列——字符串格式化输出

学习Python不到一个月,虽然学的很渣,但是还是想通过这种途径分享自己的学习心得,毕竟当初学习R语言也是这么走过来的。 今天是R语言与Python综合系列的第...

4146
来自专栏Python专栏

不会用partial,别说你会python

1538
来自专栏机器学习算法与Python学习

Python技巧 101:这17个骚操作你都Ok吗

Python 是一门非常优美的语言,其简洁易用令人不得不感概人生苦短。在本文中,作者 Gautham Santhosh 带我们回顾了 17 个非常有用的 Pyt...

784
来自专栏我的技术专栏

图说C++对象模型:对象内存布局详解

1353
来自专栏企鹅号快讯

列表和元组有什么区别

如果有了解过python中的列表和元组,你可能会知道相对于列表,元组是不可变的,也就是说元组中的数据不能随意更改。除了列表是用中括号表示而元组是用小括号表示之外...

2117
来自专栏灯塔大数据

技术 | Python从零开始系列连载(六)

导读 为了解答大家初学Python时遇到各种常见问题,小灯塔特地整理了一系列从零开始的入门到熟练的系列连载 上一期学习了Python程序的基本控制流程,相信大家...

3257

扫码关注云+社区