在编译时推断泛型是否为数组类型

Question

正如上游记录的那样，不能使用“数组”作为基本约束：

[...]Some types are disallowed as a base class constraint: Object, Array, and ValueType.[...]

然而，数组的类型推断似乎很少，如下所示：

• C# generic constraint: Array of Structs
• Why can't System.Array be a type constraint?

我的目标是扩展原来的 SO 帖子，同时处理数组类型：

• https://stackoverflow.com/a/68949729/136285

所以我的幼稚尝试如下：

public class JsonDictionary
{
    public static readonly Key<int> Int = new Key<int> { Name = "INT" };
    public static readonly Key<int[]> Int3 = new Key<int[]> { Name = "INT3" };
    
    IDictionary<string, object> _data;
    public JsonDictionary()
    {
        _data = new Dictionary<string, object>();
    }
    public void Set<T>(Key<T> key, T obj)
    {
        if (obj is int[] objArray) // FIXME: runtime check
        {
            if (objArray.Length != 3)
                throw new FormatException("Illegal INT3");
        }
        _data[key.Name] = obj;
    }
    public T Get<T>(Key<T> key)
    {
        return (T)_data[key.Name];
    }
    public class Key<T>
    {
        public string Name { get; init; }
    }
}

用法很简单：

var d = new JsonDictionary();
d.Set(JsonDictionary.Int, 42);
var i = d.Get(JsonDictionary.Int);
d.Set(JsonDictionary.Int3, new int[] { 1, 2, 3 });
var i3 = d.Get(JsonDictionary.Int3);
Assert.Throws<FormatException>(() => d.Set(JsonDictionary.Int3, new int[] { 1, 2 }));

请注意我如何使用运行时检查 (obj is int[] objArray)，因为我无法对“数组”使用某种约束。

有没有办法重写上面的，这样我就可以有两个不同的Set 函数，一个用于T，一个用于T[]。否则我需要用丑陋的 if/else 来处理所有可能的类型：

        if (obj is int[] objArray)
        {
            if (objArray.Length != 3)
                throw new FormatException("Illegal INT3");
        }
        else if (obj is ushort[] objArray)
        {
            if (objArray.Length != 3)
                throw new FormatException("Illegal USHORT3");
        }
        else if (obj is double[] objArray)
        {
            if (objArray.Length != 3)
                throw new FormatException("Illegal DOUBLE3");
        }
        [...]

Answer 1

您可以检查它是否是Array：

if (obj is Array arr && arr.Length != 3)
{
    throw new FormatException("Illegal array. Expected length 3.");
}

Answer 2

看来您根本不应该在这里使用泛型。 int[] 和 double[] 之间绝对没有任何共同点，因为对数字没有限制 - 对数组也没有限制。

您可以通过IEnumerable的约束以某种方式解决您的问题，但这也适合int[]，但也适合List<MyClass>。

所以即使如果有数组的约束，也没有数组的约束-类型。

所以毕竟你应该为不同的类型有不同的方法：

Set(int i) => ...
Set(int[] arr) => ...
Set(double d) => ...
Set(double[]) => ...