显式的&具有数字类型和隐式运算符意想不到的结果

Question

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

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

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# 中，编译器永远不会链接两个用户定义的

显式转换，这是一项艰巨的任务，我鼓励您这样做。停止尝试这样做，直到您对涵盖转换的规范的整个章节有了全面而深入的了解。

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

• 链式用户定义的显式转换在 C# 中
• 链式用户-C# 中定义的显式转换，第二部分
• 链式用户-C# 中定义的显式转换，第三部分

Answer 2

这个目标：

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

，并且此代码：

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

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

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