.NET中Type.IsAssignableTo()针对开放泛型接口的不一致问题排查

问题核心 #

我编写的泛型扩展方法MovingStatistics<T>（签名如下）在处理double数组时，代码中的bool isOrderedField = typeof(T).IsAssignableTo(typeof(INumber<>))语句错误返回false，导致后续逻辑异常：

public static T[][] MovingStatistics<T>(this IReadOnlyList<T> source, int radius, T[][] target, bool calculateStandardDeviation = false, bool calculateExtrema = false, int startIndex = 0, int length = -1) where T : INumberBase<T>

我编写了最小复现示例，代码如下：

using System.Numerics;

namespace InferredGenericMethodTypeBehaviour
{
    internal class Program
    {
        static void Main(string[] args)
        {
            double[] array = new double[] { 11.0 };
            Console.WriteLine($"The method [{nameof(Program.IsItAListOfNumbers)}] says the statement that [{nameof(array)}] comprises numbers is {IsItAListOfNumbers(array)}.");
            Console.WriteLine($"The method [{nameof(Extensions.AmIAListOfNumbers)}] says the statement that [{nameof(array)}] comprises numbers is {array.AmIAListOfNumbers()}.");
        }

        static bool IsItAListOfNumbers<T>(IReadOnlyList<T> list) where T : INumberBase<T> => typeof(T).IsAssignableTo(typeof(INumber<>));
       
    }

    public static class Extensions
    {
        public static bool AmIAListOfNumbers<T>(this IReadOnlyList<T> array) where T : INumberBase<T> => typeof(T).IsAssignableTo(typeof(INumber<>));
    }
}

但该示例输出均为True，无法复现实际项目中的问题。实际项目中，调用相同逻辑的ConsistsOfNumbers<T>扩展方法时，new double[] { 11.0 }.ConsistsOfNumbers()返回false。实际项目与最小示例均运行在.NET 7.0环境下，环境一致。请问这种不一致现象的原因是什么？

可能的原因及排查方向 #

• 程序集引用冲突：实际项目可能引用了不同版本的System.Numerics程序集，或存在自定义的INumber接口导致命名冲突，使得typeof(INumber<>)指向的类型与double实现的接口不属于同一程序集。
• 泛型类型推断差异：实际项目中调用MovingStatistics时，T的推断类型可能不是double（比如被隐式转换为INumberBase<double>），导致类型检查逻辑失效。
• 项目配置差异：虽然都是.NET 7，但实际项目可能启用了特殊编译选项（如nullable引用类型）、目标框架子版本不一致，或.csproj文件中有其他差异影响类型系统行为。
• 类型检查逻辑隐性错误：实际项目中的ConsistsOfNumbers<T>方法可能存在细微逻辑差异，比如误写为typeof(INumber<T>)而非typeof(INumber<>)，或存在其他条件分支干扰结果。
• 程序集加载问题：实际项目中可能加载了多个版本的System.Numerics，导致接口类型的程序集标识不匹配，IsAssignableTo返回false。

排查步骤 #

1. 对比实际项目与最小示例的System.Numerics引用版本，确保完全一致。
2. 在实际项目中添加调试代码，输出typeof(T).Assembly和typeof(INumber<>).Assembly的完整信息，确认是否为同一程序集。
3. 检查实际项目中是否存在自定义的INumber接口，避免命名冲突。
4. 在调用MovingStatistics的位置添加日志，输出typeof(T).FullName，确认T的实际类型是否为double。
5. 对比两个项目的.csproj文件，检查目标框架、编译选项、引用的NuGet包是否完全一致。

内容的提问来源于stack exchange，提问作者tethered.sun