从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 条评论
登录 后参与评论

相关文章

来自专栏King_3的技术专栏

leetcode-53-Maximum Subarray(动态规划详解)

1464
来自专栏编程

Python函数之一切皆对象

今天我们要讲的是 对象 避免误会,常老师先澄清一下,这里面说的对象指的是object,不是你的lover,也不是你的sweetheart…… 有的小伙伴可能会觉...

1787
来自专栏python3

习题5:更多的变量和打印

字符串是非常好用的东西,所以在这个练习中你将学会如何创建包含变量内容的字符串,并使用专门的格式化(format string)和语法把变量的内容放到字符串里,相...

402
来自专栏Java帮帮-微信公众号-技术文章全总结

Java基础-03(02).总结运算符、键盘录入、if语句

(3)案例: A:比较两个数是否相等 B:获取两个数中的最大值 C:获取三个数中的最大值(if语句的嵌套) D:根据成绩输出对应的等级 E:根据月份...

3757
来自专栏学习力

《Java从入门到放弃》JavaSE入门篇:数组

1027
来自专栏java一日一条

java提高篇之抽象类与接口

抽象类与接口是java语言中对抽象概念进行定义的两种机制,正是由于他们的存在才赋予java强大的面向对象的能力。他们两者之间对抽象概念的支持有很大的相似,甚至可...

673
来自专栏用户2442861的专栏

Python基础08 面向对象

作者:Vamei 出处:http://www.cnblogs.com/vamei 欢迎转载,也请保留这段声明。谢谢!

493
来自专栏PHP技术

php面试题(二)

1 <?php echo count (false); $a = count ("567") + count(null) + count(false); ec...

3098
来自专栏AlgorithmDog的专栏

为了 1% 情形,牺牲 99% 情形下的性能:蜗牛般的 Python 深拷贝

最近使用 Python 一个项目,发现 Python 的深拷贝 copy.deepcopy 实在是太慢了。 ? 相关背景 在 Pytho...

2255
来自专栏菜鸟前端工程师

JavaScript学习笔记016-字符串方法0数组方法0值类型与引用型

552

扫码关注云+社区