c# - 具有数字类型和意外结果的显式和隐式运算符

我从未对重载运算符进行任何广泛的工作，尤其是隐式和显式转换。

但是，我有几个经常使用的数字参数，因此我正在创建一个结构作为数字类型的包装，以强烈键入这些参数。这是一个示例实现：

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代替结构重复了我的实验，并且具有相同的确切行为，因此显然这是预期的行为，但是我认为导致数据丢失的显式强制转换会引发异常。

最佳答案

当编译器正在分析显式用户定义的转换时，允许将显式内置转换放在转换的“任一侧”（或双方）上。因此，例如，如果您有一个从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

关于c# - 具有数字类型和意外结果的显式和隐式运算符，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/8526547/