接口上的C#泛型隐式强制转换失败

Question

下面为什么不编译？什么是关于导致编译器认为它无法Container<T>转换为接口的接口T,何时T是接口？我不认为这是一个协变问题,因为我不是在倾斜,但也许是.这很像为什么C#编译器不调用隐式转换运算符？但我不认为它是完全一样的.

Product pIn =null;
Product pOut;
Container<Product> pContainer;

List<Product> pListIn = null;
List<Product> pListOut;
Container<List<Product>> pListContainer;

IList<Product> pIListIn = null;
IList<Product> pIListOut;
Container<IList<Product>> pIListContainer;

pContainer = pIn;
pOut = pContainer; // all good

pListContainer = pListIn; 
pListOut = pListContainer; // all good too

pIListContainer = pIListIn; // fails , cant do implicit cast for some reason
pIListOut = pIListContainer; // and here too

---

class Container<T>
{
 private T value;

 private Container(T item) { value = item; }

 public static implicit operator Container<T>(T item)
 {
  return new Container<T>(item);
 }

 public static implicit operator T(Container<T> container)
 {
  return container.value;
 }
}

---

Cannot implicitly convert type 'Container<IList<Product>>' to 'IList<Product>'. An explicit conversion exists (are you missing a cast?)
Cannot implicitly convert type 'IList<Product>' to 'Container<IList<Product>>'. An explicit conversion exists (are you missing a cast?)

Answer 1

根本不允许在接口上进行用户定义的转换.它可能是模棱两可的,因为你试图转换的类型可以实现接口本身 - 此时演员的意思是什么？像普通强制转换一样的引用转换,还是用户定义转换的调用？

从C#4规范的第10.3.3节:

对于给定的源类型S和目标类型T,如果S或T是可空类型,则让S0和T0引用它们的基础类型,否则S0和T0分别等于S和T. 仅当满足以下所有条件时,才允许类或结构声明从源类型S到目标类型T的转换:

• S0和T0是不同的类型.
• S0或T0是发生运算符声明的类或结构类型.
• S0和T0都不是接口类型.
• 排除用户定义的转换,从S到T或从T到S不存在转换.

然后:

但是,可以在泛型类型上声明运算符,对于特定类型的参数,指定已存在的转换作为预定义的转换
...
如果两种类型之间存在预定义的转换,则任何用户定义的转换之间那些类型被忽略了.特别:

• 如果从类型S到类型T存在预定义的隐式转换(第6.1节),则忽略从S到T的所有用户定义的转换(隐式或显式).
• 如果从类型S到类型T存在预定义的显式转换(第6.2节),则忽略从S到T的任何用户定义的显式转换.此外:
  • 如果T是接口类型,则忽略从S到T的用户定义的隐式转换.
  • 否则,仍会考虑用户定义的从S到T的隐式转换.

请注意这里的第一个嵌套项目符号.

(我可以完全建议顺便掌握规格.它可以在线获得各种版本和格式,但硬拷贝注释版也是团队和其他人的小金块.我应该在这里承认一定的偏见,如同我是其中一位注释者 - 但忽略了我的东西,所有其他注释都值得一读!)