2

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

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

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);
    }
}

当我尝试使用我的测试实现来掌握显式和隐式运算符时，我尝试将 a 显式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
    }
}

所以我用一个plainByte代替我的结构重复了我的实验，并且具有相同的确切行为，所以显然这是预期的行为，但我认为导致数据丢失的显式强制转换会引发异常。

4

2 回答 2

7

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

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

然后编译器原因“有一个从 int 到 Fred 的显式转换，所以我可以从 int? 到 int 进行显式转换，然后将 int 转换为 Fred。

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

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

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

正确构建自己的显式转换在 C# 中是一项艰巨的任务，我鼓励您停止尝试这样做，直到您对涵盖转换的规范的整个章节有透彻和深入的理解。

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

于 2011-12-16T04:34:08.987 回答
3

这个目标：

所以我正在创建一个结构作为数字类型的包装器来强类型化这些参数

而这段代码：

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

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

所以放弃隐式转换。您可以将它们更改为显式的。

于 2011-12-15T21:13:35.740 回答