Question

我从未对重载运算符做过任何大量的工作，特别是隐式和显式转换。

但是，我有几个经常使用的数字参数，所以我创建一个struct作为数字类型的包装器来强类型这些参数。这是一个示例实现：

public struct Parameter
{
    private Byte _value;
    public Byte Value { get { return _value; } }

    public Parameter(Byte value)
    {
        _value = value;
    }

    // other methods (GetHashCode, Equals, ToString, etc)

    public static implicit operator Byte(Parameter value)
    {
        return value._value;
    }
    public static implicit operator Parameter(Byte value)
    {
        return new Parameter(value);
    }

    public static explicit operator Int16(Parameter value)
    {
        return value._value;
    }
    public static explicit operator Parameter(Int16 value)
    {
        return new Parameter((Byte)value);
    }
}

当我正在尝试使用我的测试实现来获取显式和隐式运算符时，我试图明确地将Int64强制转换为我的Parameter类型，并且我很惊讶它没有抛出异常，甚至更令人惊讶的是，它只是截断了数字并继续前进。我尝试排除自定义显式运算符，它仍然表现相同。

public void TestCast()
{
    try
    {
        var i = 12000000146;
        var p = (Parameter)i;
        var d = (Double)p;

        Console.WriteLine(i);   //Writes 12000000146
        Console.WriteLine(p);   //Writes 146
        Console.WriteLine(d);   //Writes 146
    }
    catch (Exception ex)
    {
        Console.WriteLine(ex.Message);  //Code not reached
    }
}

所以我用一个简单的Byte代替我的结构重复我的实验，并且具有相同的确切行为，所以很明显这是预期的行为，但我认为会导致丢失数据的显式转换会抛出例外。

Answer 1

当编译器分析明确的用户定义的转换时，允许在“任一方”（或两者）上进行明确的内置转换转换。因此，例如，如果您有从int到Fred的用户定义转换，并且您有：

int? x = whatever;
Fred f = (Fred)x;

然后编译器会说“存在从int到Fred的显式转换，所以我可以从int？到int进行显式转换，然后将int转换为Fred。

在您的示例中，存在从long到short的内置显式转换，并且存在用户定义的从short到Parameter的显式转换，因此将long转换为Parameter是合法的。

隐式转换也是如此;编译器可以在用户定义的隐式转换的任一侧插入内置的隐式转换。

编译器永远不会链接两个用户定义的转换。

正确构建自己的显式转换是C＃中的一项艰巨任务，我建议您在完全深入理解涵盖转换的整个规范章节之前，不要再尝试这样做。

对于链式转换的一些有趣方面，请参阅我关于该主题的文章：

http://blogs.msdn.com/b/ericlippert/archive/2007/04/16/chained-user-defined-explicit-conversions-in-c.aspx

http://blogs.msdn.com/b/ericlippert/archive/2007/04/18/chained-user-defined-explicit-conversions-in-c-part-two.aspx

Answer 2

这个目标：

所以我创建一个结构作为数字类型的包装来强烈键入这些参数

这段代码：

public static implicit operator Byte(Parameter value)
{
    return value._value;
}
public static implicit operator Parameter(Byte value)
{
    return new Parameter(value);
}

完全矛盾。通过添加双向隐式运算符，您可以取消包装器可能带来的任何类型安全性。

删除隐式转换。您可以将它们更改为显式的。

明确的＆amp;具有数字类型的隐式算子＆amp;意外的结果

2 个答案: