防止使用排除敏感属性的通用类型记录个人身份或敏感数据

Question

我想通过编译时安全检查来增强我的记录器，以防止我记录个人身份或敏感数据。我想象的界面可能是这样的：

logger.LogInfo(safeuser => $"Logging out sensitive data @{safeuser.lastname}", user);
// Error: SafeToLog<User> does not contain a definition for 'lastname'

此行不应编译。

常规的 User 类具有属性 id、firstname、lastname、createdAt、< code>roleId、password 等。其中一些字段完全可以记录，例如 id 和 roleId。不安全的记录将被标记为诸如 [PersonallyIdentifying] 或 [Secret] 之类的属性。

我想要像 SafeToLog 这样的类型，它具有用于 T 的每个安全记录属性的方法，但没有用于不安全记录属性的方法。因此，SafeToLog 应该具有属性 id、createdAt 和 roleId。它不应该具有属性 firstname、lastname 或 password。

是否可以实现 SafeToLog 类型？在 Typescript 中，我可以使用 Omit 辅助类型来构造它，但我不知道如何在 C# 中执行此操作。

---

此外，是否可以防止记录器的意外误用？在上面的示例中，粗心的开发人员仍然可以在日志字符串中引用 user，忽略 safeuser 并绕过安全检查。我可以以某种方式强制在日志消息中仅引用 lambda 中提供的变量吗？