c# - 是否可以在 C# 中为可空值和不可空值编写隐式转换运算符？

Question

我正在尝试编写一个 Alias 类，它使我能够:

int n = new Count(1);

也就是说，它在这种情况下将 int 封装为 Count，这提供了一些类型安全性和域含义，同时它会自动转换回基础类型。

对于不可为空的引用类型，我还有另一个问题。我不知道如何同时处理这两种情况:

int someCount = new Count(1);
Count? nothing = null;
int? noCount = nothing;

发生这种情况是因为我有这样的类型:

record Device(Count Cpu, Count? Cores); // Contrived example

似乎问题是我不能用同一类型的可空和不可空版本重载运算符:

record Alias<T>(T Value)
{
  public static implicit operator T(Alias a) => a.Value;
  public static implicit operator T?(Alias? a) => null;
}

record Count : Alias<int> { /**/ }

关键是，如果我有一个 null，我希望它转换为目标类型的 null。

Answer 1

如果您没有任何包装引用类型的 Alias，那么我认为最好的做法是将此处的 T 限制为 结构。之后，T 和 T? 成为不同的类型，允许您创建两个运算符:

record Alias<T>(T Value) where T: struct
{
    public static implicit operator T?(Alias2<T>? a) => a?.Value;
    public static implicit operator T(Alias2<T> a) => a.Value;
}

如果您还需要包装引用类型，您可以考虑添加另一个仅适用于引用类型的 Alias 类型:

record AliasClass<T>(T Value) where T: class
{
  [return: NotNullIfNotNull("a")]
  public static implicit operator T?(AliasClass<T>? a) => a?.Value;
}

record AliasStruct<T>(T Value) where T: struct
{
    
  public static implicit operator T?(AliasStruct<T>? a) => a?.Value;
  public static implicit operator T(AliasStruct<T> a) => a.Value;
}

然后你可以有例如:

record Count(int Value) : AliasStruct<int>(Value) { /**/ }
record StringWrapper(string Value) : AliasClass<string>(Value) { /**/ }