c# - 具有泛型的隐式运算符不适用于接口(interface)

Question

我基本上有以下类(class)(在 C# creating an implicit conversion for generic class? 上找到的示例)。

class MyClass<T>
{
  public MyClass(T val)
  {
     Value = val;
  }

  public T Value { get; set; }

  public static implicit operator MyClass<T>(T someValue)
  {
     return new MyClass<T>(someValue);
  }

  public static implicit operator T(MyClass<T> myClassInstance)
  {
     return myClassInstance.Value;
  }
}

可以做

MyClass<IFoo> foo1 = new Foo();
MyClass<Foo>  foo2 = new Foo();

//But not
MyClass<IFoo> foo3 = (IFoo)new Foo();

真正的问题发生在尝试做类似的事情时

void Bar(IFoo foo)
{
    Bar2(foo);
    //What should be the same as
    Bar2<IFoo>(new MyClass<IFoo>(foo));
}

void Bar2<T>(MyClass<T> myClass)
{
     //Do stuff
}

我如何重构 MyClass，以便在只知道接口(interface)的情况下使用对象？

Answer 1

简答:

用户定义的隐式转换不适用于接口(interface)。不要试图让它发挥作用。为您的类型系统问题找到另一个解决方案。

长答案:

这是 C# 设计团队深思熟虑的决定。原则是，当您进行涉及接口(interface)的转换时，您希望保留引用标识；您是在询问实现该接口(interface)的对象的身份，而不是试图创建具有相似属性的相似对象。

这里更大的原则是用户定义的转换不应替换内置转换。但是由于几乎任何类都可以被子类化，并且该子类可以实现几乎任何接口(interface)，因此很难静态地知道涉及接口(interface)的给定用户定义转换是否可能会替换内置的转换。

仅供引用，这是规范中特别棘手的一点，C# 编译器在这里有一些错误。我怀疑您上面的一个案例利用了这些错误；事实上，现实世界的程序是这样做的，这使我无法修复错误。

这些错误主要是由于此功能是在泛型之前设计的，然后在泛型引入了许多无法预料的复杂性之后没有进行充分的重新设计。

有关详细信息，请在此处查看我的大量评论，特别是标记为 DELIBERATE SPEC VIOLATION 的位描述接口(interface)转换问题。

https://github.com/dotnet/roslyn/blob/master/src/Compilers/CSharp/Portable/Binder/Semantics/Conversions/UserDefinedImplicitConversions.cs

如您所见，这个文件不到一千行，而且可能有一半以上的评论。经过 数周 的仔细研究以及与语言团队的多次讨论，才整理出这些语义。一旦你在编译器中犯了一个错误，你往往要在十年后彻底理解它，然后永远把它供奉起来，以免在升级时破坏客户。对于 C# 如何搞砸规范中这个晦涩的部分，语言设计者有很多对象类(class)。

How could I refactor MyClass so it would be possible to work with objects when only the interface is known?

不要尝试。将接口(interface)引用转换为实际 运行时类型，然后从那里使用它。或者显式创建所需类型的实例，而不是通过隐式转换。不要尝试玩带有隐式转换和接口(interface)的游戏；它不会很好地工作。