Typescript不推断对象的非空成员

是指在Typescript中，当声明一个对象并给其赋值时，如果没有明确指定对象的成员是否为null或undefined，Typescript不会自动推断对象的非空成员。

这种行为有以下几个方面的影响和特点：

1. 类型推断：Typescript的类型推断机制会根据对象的赋值情况来确定对象的类型。如果对象的成员没有明确指定为null或undefined，Typescript会将这些成员的类型推断为可能为null或undefined的联合类型。这意味着在使用这些成员时，需要进行null或undefined的检查，以避免潜在的错误。
2. 非空断言操作符：为了告诉Typescript某个对象的成员一定不为null或undefined，可以使用非空断言操作符"!"。通过在成员名称后面添加"!"，可以告诉Typescript该成员一定有值，从而避免编译器的警告或错误提示。
3. 显式类型注解：为了明确指定对象的成员是否为null或undefined，可以使用显式类型注解。通过在对象的成员后面添加": 类型"，可以明确指定成员的类型，并且可以使用"|"操作符将null或undefined包含在内，表示该成员可能为null或undefined。
4. 代码规范和最佳实践：为了避免潜在的错误和提高代码的可读性，建议在声明对象时明确指定对象的成员是否为null或undefined，并在使用对象的成员时进行相应的null或undefined的检查和处理。

总结起来，Typescript不推断对象的非空成员意味着在声明对象时需要明确指定成员的类型，并在使用成员时进行null或undefined的检查，以避免潜在的错误。在实际开发中，可以使用非空断言操作符或显式类型注解来明确指定成员的类型和是否为null或undefined。