具有泛型的隐式运算符不适用于接口

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，以便在只知道接口的情况下使用对象？

Answer 1

简答：

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

长答案：

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

这里更大的原则是用户定义的转换不应替换内置转换。但是由于几乎任何 class 都可以被 subclassed，并且 subclass 几乎可以实现任何接口，所以很难知道 staticly 涉及接口的给定用户定义转换是否可能正在替换内置转换。

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

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

有关详细信息，请在此处查看我的大量评论，尤其是标记为 DELIBERATE SPEC VIOLATION 的位，这些位描述了接口转换问题。

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

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

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

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

Answer 2

使用 'dynamic' 关键字分配。以后可以区分。

  var hook = Environment.Version < new Version(4, 0) ? (dynamic)
    // .NET 2.0->3.5        
    new JITHook<MscorjitAddrProvider>() :
    // .NET 4.0+
    new JITHook<ClrjitAddrProvider>();

具有泛型的隐式运算符不适用于接口

implicit operator with generic not working for interface

c#

generics

implicit-conversion