当使用 long 作为参数时，为什么在 long、float 和 decimal 方法之间存在模棱两可的方法调用？

Question

我正在尝试构建一个 NpgsqlSimpleTypeHandler<ulong> 来处理将 ulong 值转换为 long 值，以便它们可以存储在我的 PostgreSQL 数据库中，反之亦然。

当我在使用Convert.ToInt64(value) 将ulong 转换为long 后尝试调用Npgsql 的Int64handler.ValidtaeAndGetLength 时，尝试传递新转换的long 会给我一个模棱两可的方法调用错误。

private readonly Int64Handler handler;
...
public override int ValidateAndGetLength(ulong value, NpgsqlParameter? parameter)
{
    long val = Convert.ToInt64(value);
    return handler.ValidateAndGetLength(val, parameter);
}

错误信息：

Error   CS0121
The call is ambiguous between the following methods or properties:
'Int64Handler.ValidateAndGetLength(float, NpgsqlParameter?)' and
'Int64Handler.ValidateAndGetLength(decimal, NpgsqlParameter?)'

为什么，即使 Int64Handler.ValidateAndGetLength(long, NpgsqlParameter?) 存在，我最终会出现模棱两可的方法调用错误？

Npgsql Int64Handler documentation

[7/21/2020 14:23 EST] 更新标签以包含 C#-8.0

Answer 1

ValidateAndGetLength(long, NpgsqlParameter?)与Int64Handler类中的其他重载的区别在于，第一个方法实际上是重写类NpgsqlSimpleTypeHandler<long>中实现INpgsqlSimpleTypeHandler<long>的方法，而其他方法是实现@中的方法987654326@接口直接。

来自C# 6 draft language specification：

例如，方法调用的候选集不包括标记为覆盖的方法（成员查找），如果派生类中的任何方法适用（方法调用），则基类中的方法不是候选方法。

“成员查找”部分对此进行了进一步扩展：

首先，确定一组名为 N 的可访问成员：

如果 T 是类型参数，则该集合是指定为 T 的主要约束或次要约束（类型参数约束）的每个类型中名为 N 的可访问成员集的并集，以及对象中名为 N 的可访问成员。

否则，该集合由 T 中名为 N 的所有可访问（成员访问）成员组成，包括继承成员和对象中名为 N 的可访问成员。如果 T 是构造类型，则通过替换类型参数获得成员集，如构造类型的成员中所述。 包含覆盖修饰符的成员被排除在集合之外。

我设法用示例代码重现了这个问题：

using System;

interface IA<T>
{
    int X(T x);
}

abstract class A<T> : IA<T>
{
    public abstract int X(T x);
}

class B : A<long>, IA<float>, IA<decimal>
{
    public override int X(long x)
    {
        return 8;
    }
    
    public int X(float x)
    {
        return 8;
    }
    
    public int X(decimal x)
    {
        return 8;
    }
}
                    
public class Program
{
    public static void Main()
    {
        var b = new B();
        var a = (A<long>)b;
        Console.WriteLine(a.X(42L));
        // Console.WriteLine(b.X(42L)); // broken
    }
}

您可以使用将处理程序强制转换为 NpgsqlSimpleTypeHandler<long> 并调用该方法的解决方法。

Answer 2

C# 中的一些隐式类型转换规则是从 Java 中借用的，这些规则允许从浮点数隐式转换为双精度数，但反之不行，并且允许从任何整数类型隐式转换为浮点数或双精度数，但不能相反反之亦然。这具有相当奇怪的效果，即导致从整数类型到float 的转换被认为明显优于到double 的转换，尽管精度损失更大。这在调用接受所有整数类型重载的函数的重载时不会成为问题，但在将整数值传递给同时接受 float 和 double 的函数时可能会有点古怪。

然而，C# 的decimal 类型为Java 的类型规则添加了另一个问题。所有整数类型都可以隐式转换为decimal，但decimal 不能隐式转换为任何其他浮点类型或从任何其他浮点类型转换。因此，decimal 并不优于 float，float 也不优于 decimal。如果尝试将long 传递给可以接受float、double 和decimal 但不准备接受long 的函数，则编译器将没有任何依据float 或 decimal 比另一个更可取。具有讽刺意味的是，在大多数这种情况下，最好的类型是double，而decimal 类型适合的情况相对较少，但它的存在有助于提醒程序员需要显式转换为double，而不是而不是让编译器静默地将long 转换为float。