在泛型 c# 类中链接隐式运算符

Question

对于以下通用 c# 类，我想将 T 转换为 K：

public abstract class ValueType<T,K> : IValueType<T> where K : ValueType<T,K>,new()
{     
    public abstract T Value { get; set; }     

    public static implicit operator ValueType<T,K>(T val) 
    {         
        K k = new K();
        k.Value = val;
        return k;    
    }
}

如果我要实现直接运算符implicit operator K(T val)，它将导致编译时错误 (CS0556)。

我想我可以尝试链接隐式运算符：

public static implicit operator K(ValueType<T,K> vt){
    return (K)val;
}

但是下面的例子还是报错不能转换：

public class Test : ValueType<int, Test>
{
    public override int Value{ get; set; }
}

Test t = 6; //complains it's unable to be converted
Console.WriteLine(t.Value);

如果可能的话，我真的想避免显式转换。

这个问题延伸到我之前提出的another SO question。

Answer 1

实现您自己的隐式转换逻辑的规则非常严格，如果您要执行此类特别复杂的操作，您可能应该非常熟悉规范的 6.4.4 和 10.10.3 部分。

简而言之，您应该知道的几个关键规则是：

• 定义转换的类型必须出现在用户定义转换的“to”或“from”部分。您不能创建定义从 E 到 F 的转换的 C 类； C 必须在某个地方。
• 永远不可能用您自己的隐式转换替换内置的隐式转换；例如，在从 C 转换为对象时，您不能发生特殊行为。
• 用户定义的隐式转换将与最多两个内置隐式转换“链接”，但不会与任何其他用户定义的转换“链接”。例如，如果您有一个用户定义的从 C 到 D 的隐式转换，以及一个从 D 到 IFoo 的内置隐式转换，那么您将获得从 C 到 IFoo 的隐式转换。但是，如果 D 具有用户定义的到 E 的隐式转换，那么您不会免费获得从 C 到 E 的隐式转换。

Answer 2

编译器不会链接转换，因此解决问题的方法不起作用。

隐式转换在类型检查中非常严格。如果编译器知道类型，你的第一个 sn-p 和 Test 类 do 工作：

ValueType<int, Test> t = 6;
Console.WriteLine(t.Value);

问题是您的ValueType<int, Test> - 从类型系统的角度来看 - 并不总是Test，因此隐式转换不适用于那里。

顺便说一下，Eric Lippert 写了一篇 blog post 关于这种通用自引用的文章 - 值得一读！

Answer 3

据我所知，我不认为你可以将演员连在一起，对此感到抱歉。

我一直在研究如何创建解析器，如果可以的话，必须有一个无限循环才能找到从T 到K 的连接。我不确定 C# 解析器会尝试这样做，但不幸的是，我的钱没有！