如何为算术类型的泛型方法添加类型约束？

一、约束输入类型的可行方案 #

C# 泛型无法直接通过接口约束类型包含TryParse方法（因为数值类型没有实现统一的带TryParse的接口），但你可以通过两种方式实现类似约束的效果：

1. 编译时安全：针对目标类型写重载方法 #

如果只在int、float、double、long等类型上使用，直接为每个类型写重载方法是最安全的方式，编译时就能确保类型合法，完全不需要反射和警告抑制：

static int GetNumber()
{
    while (true)
    {
        string input = NotNullInput();
        if (int.TryParse(input, out int result))
            return result;
        Console.WriteLine("Invalid int input");
    }
}

static float GetNumber()
{
    while (true)
    {
        string input = NotNullInput();
        if (float.TryParse(input, out float result))
            return result;
        Console.WriteLine("Invalid float input");
    }
}

// 同理实现double、long等类型的重载

2. 泛型方案：运行时检查类型+反射优化 #

如果坚持用泛型方法，可以在方法开头添加运行时类型校验，确保T是你指定的数值类型，同时优化反射逻辑，避免错误和警告：

// 提前定义允许的数值类型集合
private static readonly HashSet<Type> AllowedNumberTypes = new HashSet<Type>
{
    typeof(int), typeof(float), typeof(double), typeof(long),
    typeof(short), typeof(decimal), typeof(byte), typeof(sbyte), typeof(uint), typeof(ulong)
};

static T GetNumber<T>() where T : struct
{
    Type type = typeof(T);
    // 运行时校验类型是否合法
    if (!AllowedNumberTypes.Contains(type))
        throw new ArgumentException($"Type {type.Name} is not a supported number type");

    // 精准查找TryParse重载：static bool TryParse(string, out T)
    MethodInfo tryParseMethod = type.GetMethod("TryParse", 
        new[] { typeof(string), type.MakeByRefType() });
    
    if (tryParseMethod == null)
        throw new InvalidOperationException($"Type {type.Name} does not have a valid TryParse method");

    while (true)
    {
        string input = NotNullInput();
        object[] parameters = new object[] { input, default(T) };
        // 静态方法Invoke第一个参数传null即可，无需实例
        bool success = (bool)tryParseMethod.Invoke(null, parameters);
        
        if (success)
            return (T)parameters[1];
        else
            Console.WriteLine($"Invalid {type.Name} input");
    }
}

二、原有代码的优化点 #

1. 静态方法无需实例调用：TryParse是静态方法，Invoke的第一个参数应传null，而非new T()，后者完全多余。
2. 精准匹配TryParse重载：原有代码直接取第一个TryParse方法，可能匹配到带格式参数的重载导致调用错误。通过指定string和out T的参数类型，能确保找到正确的重载。
3. 消除警告的正确方式：优化后通过精准获取TryParse方法，可确保返回值是bool、parameters[1]是T类型，无需依赖#pragma抑制警告。
4. 缓存反射信息：如果方法频繁调用，可将tryParseMethod缓存到静态字典Dictionary<Type, MethodInfo>中，避免重复反射提升性能。
5. 参数初始化更合理：用default(T)替代new T()作为out参数的初始值，语义更清晰，也兼容可空值类型场景。

内容的提问来源于stack exchange，提问作者Thelegendofbrio