可空类型可以调用运行时错误。 所以我认为使用编译器选项strictNullChecks并将数字| null声明为类型是很好的。同样在嵌套函数的情况下，虽然输入类型是null，编译器不知道它会破坏什么，所以我建议使用!(感叹号)。

function broken(name: string | null): string {
  function postfix(epithet: string) {
    return name.charAt(0) + '.  the ' + epithet; // error, 'name' is possibly null
  }
  name = name || "Bob";
  return postfix("great");
}

function fixed(name: string | null): string {
  function postfix(epithet: string) {
    return name!.charAt(0) + '.  the ' + epithet; // ok
  }
  name = name || "Bob";
  return postfix("great");
}

参考。 https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-type-assertions

type Nullable<T> = {
  [P in keyof T]: T[P] | null;
};

然后你就可以用它了

Nullable<Employee>

这样，您仍然可以像在其他地方一样使用Employee界面

type WithNullableFields<T, Fields> = {
  [K in keyof T]: K extends Fields 
    ? T[K] | null | undefined
    : T[K]
}

let employeeWithNullableSalary: WithNullableFields<Employee, "salary"> = {
  id: 1,
  name: "John",
  salary: null
}

或者你可以关闭strictNullChecks;)

反过来说:

type WithNonNullableFields<T, Fields> = {
  [K in keyof T]: K extends Fields
    ? NonNullable<T[K]>
    : T[K]
}

我也有过同样的问题。ts中的所有类型都是可空的，因为void是所有类型的子类型(例如，与scala不同)。

看看这个流程图是否有帮助- https://github.com/bcherny/language-types-comparison#typescript

在我看来，联合类型在这种情况下是最好的选择:

interface Employee{
   id: number;
   name: string;
   salary: number | null;
}

// Both cases are valid
let employe1: Employee = { id: 1, name: 'John', salary: 100 };
let employe2: Employee = { id: 1, name: 'John', salary: null };

编辑:为了使其按预期工作，您应该在tsconfig中启用strictNullChecks。

你可以像下面这样实现一个用户定义的类型:

type Nullable<T> = T | undefined | null;

var foo: Nullable<number> = 10; // ok
var bar: Nullable<number> = true; // type 'true' is not assignable to type 'Nullable<number>'
var baz: Nullable<number> = null; // ok

var arr1: Nullable<Array<number>> = [1,2]; // ok
var obj: Nullable<Object> = {}; // ok

 // Type 'number[]' is not assignable to type 'string[]'. 
 // Type 'number' is not assignable to type 'string'
var arr2: Nullable<Array<string>> = [1,2];