在 typescript 里用范型写一个函数，不知道该怎么实现，求大神指点！

[hahaFck]

假如想实现下面这个类似函数获取 row 对象, 原始函数为:

function getRow(rowIndex: number): Row | null {
        let row: Row | null = findRow(rowIndex);
        return row;
    }

改进版想增加一个可选参数 create ，在找不到 row 的时候就创建一个新的 row 并返回，这样函数的返回值就有两种情况：1. Row, 2. Row | null ，该怎么定义函数能让编译器自动推导出函数的返回值呢？

自己写的一个，编译不通过

function getRow<T>(rowIndex: number, create?: T): T extends true ? Row : Row | null {
		
        let row: Row | null = findRow(rowIndex); //查找 row
        if (row == null && create) {
            row = {};
            return row;
        } else {
            return row;
        }
    }

想要实现的目的是：传 create 参数时候，编译器应该能够推导出函数返回值是 row ，而不是 row|null ，这个函数应该怎么实现呢？ 否则明明穿了 create 的参数时候，每次调用函数还要判断是否是 null ，感觉很麻烦。

[shenyu1996]

https://www.typescriptlang.org/play?#code/PTAEHUFMBsGMHsC2lQBd5oBYoCoE8AHSAZVgCcBLA1UABWgEM8BzM+AVwDsATAGiwoBnUENANQAd0gAjQRVSQAUCEmYKsTKGYUAbpGF4OY0BoadYKdJMoL+gzAzIoz3UNEiPOofEVKVqAHSKymAAmkYI7NCuqGqcANag8ABmIjQUXrFOKBJMggBcISGgoAC0oACCbvCwDKgU8JkY7p7ehCTkVDQS2E6gnPCxGcwmZqDSTgzxxWWVoASMFmgYkAAeRJTInN3ymj4d-jSCeNsMq-wuoPaOltigAKoASgAywhK7SbGQZIIz5VWCFzSeCrZagNYbChbHaxUDcCjJZLfSDbExIAgUdxkUBIursJzCFJtXydajBBCcQQ0MwAUVWDEQC0gADVHBQGNJ3KAALygABEAAkYNAMOB4GRonzFBTBPB3AERcwABS0+mM9ysygc9wASmCKhwzQ8ZC8iHFzmB7BoXzcZmY7AYzEg-Fg0HUiQ58D0Ii8fLpDKZgj5SWxfPADlQAHJhAA5SASPlBFQAeS+ZHegmdWkgR1QjgUrmkeFATjNOmGWH0KAQiGhwkuNok4uiIgMHGxCyYrA4PCCJWC-eSXFg9Ua2dQj3gElASrYEgAkjw1vl+uxENJvjqV-BpAArSAj0AAH1X0GgiiH5lHXidE6nM7ni+4y9X6++LsmChXwLlHk4W6SPcD1QYJLxHBobxzScJFnKcnxfTg1w3MgPw8BQAH5v3gX8zB1UAAG9FBKGVfwVeBlUfJdzhMT9ID1EonFQfEvHwgBfRR2OlRoqRLfQeXHaClQARj1GUaAJABhWj+NvQShP4VAyHYOigA

ts 函数重载

[hahaFck]

@shenyu1996 大佬厉害，重载解决了