将任意object转为(object,object)元组的方法失效问题排查

问题代码 #

你编写的扩展方法如下：

public static (object, object) GetAsTuple(this object obj)
{
    if (obj is Tuple<object, object> tuple)
    {
        object item1 = tuple.Item1;
        object item2 = tuple.Item2;
        // Use item1 and item2 as needed

        return (item1, item2);
    }
    else if (obj is ValueTuple<object, object> valueTuple)
    {
        object item1 = valueTuple.Item1;
        object item2 = valueTuple.Item2;
        // Use item1 and item2 as needed

        return (item1, item2);
    }
    throw new Exception("Is not a tuple or value tuple.");
}

该方法无法将任意object正确转换为(object, object)元组，例如传入Tuple<int, string>或(int, string)这类具体类型的元组时会抛出异常。

失效原因 #

1. 引用元组的类型匹配限制：Tuple<object, object>是精确的泛型类型，只有当传入对象完全等于Tuple<object, object>实例时才会匹配。像Tuple<int, string>这类泛型参数不同的元组，虽然属于Tuple家族，但泛型类型不匹配，无法被obj is Tuple<object, object>命中。
2. 值元组的类型独立性：ValueTuple是值类型，不存在继承关系，(int, string)的实际类型是ValueTuple<int, string>，和ValueTuple<object, object>是完全独立的值类型，因此obj is ValueTuple<object, object>也无法匹配这类具体值元组。

最佳实践方案 #

方案一：反射实现（兼容全版本C#） #

利用元组统一的Item1、Item2成员命名规则，通过反射获取元素值：

public static (object, object) GetAsTuple(this object obj)
{
    if (obj == null)
        throw new ArgumentNullException(nameof(obj));

    var type = obj.GetType();
    
    // 匹配任意二元引用元组 Tuple<T1,T2>
    if (type.IsGenericType && type.GetGenericTypeDefinition() == typeof(Tuple<,>))
    {
        var item1Prop = type.GetProperty("Item1");
        var item2Prop = type.GetProperty("Item2");
        return (item1Prop?.GetValue(obj), item2Prop?.GetValue(obj));
    }
    // 匹配任意二元值元组 ValueTuple<T1,T2>
    else if (type.IsGenericType && type.GetGenericTypeDefinition() == typeof(ValueTuple<,>))
    {
        var item1Field = type.GetField("Item1");
        var item2Field = type.GetField("Item2");
        return (item1Field?.GetValue(obj), item2Field?.GetValue(obj));
    }
    
    throw new InvalidOperationException("对象不是二元元组或二元值元组");
}

方案二：模式匹配实现（C# 7.0+推荐） #

使用C#泛型模式匹配，直接匹配任意类型的二元元组，写法更简洁：

public static (object, object) GetAsTuple(this object obj)
{
    return obj switch
    {
        Tuple<var a, var b> => (a, b),    // 匹配所有二元引用元组
        (var a, var b) => (a, b),        // 匹配所有二元值元组
        _ => throw new InvalidOperationException("对象不是二元元组或二元值元组")
    };
}

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