避免在函数体内部欺骗参数的正确性

问：

我最近注意到我们之前在代码库中编写的一个函数，我确信它在逻辑上是不正确的。函数是用 TypeScript 编写的，其主体如下所示：

const getUserInitials = (user: IUser | null) => {
   if (!user) { return ""; }
   
   return (user.FirstName.charAt(0) + user.LastName.charAt(0)).toUpperCase();
}

我很确定这是不正确的，因为这种函数签名允许传递不正确的参数，然后在内部尝试通过返回空字符串来修复不正确的参数段落。我认为这应该用用户参数只持有类型（而不是）来重写，并且这种参数检查应该在函数调用之外和之前进行，以便函数将始终接收到正确的参数。IUserIUser | null

在开发时，是否应该将其视为经验法则？我不是在谈论你收到一个整数的情况，你的函数只有在你的整数必须大于 100 时才需要运行。显然，您需要在函数内部检查这种事情，因为有人可能会传递您无法控制的错误值。这似乎是函数的合理关注点，我们显然需要在内部检查它以提供正确的函数输出。

但是在所呈现的案例中，情况完全不同 - 函数契约说它会给你一个用户的首字母，但在某些情况下，它只会返回一个空字符串“”（这不是用户首字母，所以在我看来，这是一个函数契约违规）。

我什至会更进一步说函数命名不正确，应该调用它

getInitials(user: IUser) => {...}

由于我们清楚地将 user 作为参数，因此函数名称中的“user”一词是多余的。

1. 首先，我对违反契约的理解是否正确，以及在这种情况下在函数调用之前检查参数正确性的必要性？

2. 如果我是对的 - 是否有任何情况，在静态类型语言中检查内部参数的正确性是一个很好的方法（跳过像我的例子中整数需要不超过 100 的情况，当然与语言类型系统无关）？

3. 我关于函数名称冗余中“用户”的陈述是否正确？

先谢谢你。