Как определить, если тип A неявно конвертируется в тип B

Ответ 1

Обратите внимание, что IsAssignableFrom НЕ РЕШИЛ вашу проблему. Вы должны использовать Reflection так. Обратите внимание на явную необходимость обработки примитивных типов; эти списки соответствуют §6.1.2 (Неявные числовые преобразования) спецификации.

static class TypeExtensions { 
    static Dictionary<Type, List<Type>> dict = new Dictionary<Type, List<Type>>() {
        { typeof(decimal), new List<Type> { typeof(sbyte), typeof(byte), typeof(short), typeof(ushort), typeof(int), typeof(uint), typeof(long), typeof(ulong), typeof(char) } },
        { typeof(double), new List<Type> { typeof(sbyte), typeof(byte), typeof(short), typeof(ushort), typeof(int), typeof(uint), typeof(long), typeof(ulong), typeof(char), typeof(float) } },
        { typeof(float), new List<Type> { typeof(sbyte), typeof(byte), typeof(short), typeof(ushort), typeof(int), typeof(uint), typeof(long), typeof(ulong), typeof(char), typeof(float) } },
        { typeof(ulong), new List<Type> { typeof(byte), typeof(ushort), typeof(uint), typeof(char) } },
        { typeof(long), new List<Type> { typeof(sbyte), typeof(byte), typeof(short), typeof(ushort), typeof(int), typeof(uint), typeof(char) } },
        { typeof(uint), new List<Type> { typeof(byte), typeof(ushort), typeof(char) } },
        { typeof(int), new List<Type> { typeof(sbyte), typeof(byte), typeof(short), typeof(ushort), typeof(char) } },
        { typeof(ushort), new List<Type> { typeof(byte), typeof(char) } },
        { typeof(short), new List<Type> { typeof(byte) } }
    };
    public static bool IsCastableTo(this Type from, Type to) { 
        if (to.IsAssignableFrom(from)) { 
            return true; 
        }
        if (dict.ContainsKey(to) && dict[to].Contains(from)) {
            return true;
        }
        bool castable = from.GetMethods(BindingFlags.Public | BindingFlags.Static) 
                        .Any( 
                            m => m.ReturnType == to &&  
                            (m.Name == "op_Implicit" ||  
                            m.Name == "op_Explicit")
                        ); 
        return castable; 
    } 
} 

Использование:

bool b = typeof(A).IsCastableTo(typeof(B));

Ответ 2

Неявные преобразования, которые вам нужно учитывать:

• Идентичность
• sbyte для коротких, int, long, float, double или decimal
• byte для коротких, ushort, int, uint, long, ulong, float, double или decimal
• short для int, long, float, double или decimal
• ushort для int, uint, long, ulong, float, double или decimal
• int для long, float, double или decimal
• uint для long, ulong, float, double или decimal
• long для float, double или decimal
• ulong для float, double или decimal
• char для ushort, int, uint, long, ulong, float, double или decimal
• float для двойного
• Преобразование типа Nullable
• Тип ссылки на объект
• Производный класс для базового класса
• Класс для реализованного интерфейса
• Интерфейс с базовым интерфейсом
• Массив массива, когда массивы имеют одинаковое количество измерений, существует неявное преобразование из типа исходного элемента в тип целевого элемента, а тип исходного элемента и тип целевого элемента - ссылочные типы
• Тип массива в System.Array
• Тип массива для IList < > и его базовых интерфейсов
• Тип делегата для System.Delegate
• Бокс преобразования
• Тип перечисления в System.Enum
• Пользовательское преобразование (op_implicit)

Я предполагаю, что вы ищите последнего. Вам нужно написать что-то похожее на компилятор, чтобы охватить все из них. Примечательно, что System.Linq.Expressions.Expression не пытался совершить этот подвиг.

Ответ 3

Принятый ответ на этот вопрос обрабатывает многие случаи, но не все. Например, вот только несколько действительных трансляций/преобразований, которые не обрабатываются правильно:

// explicit
var a = (byte)2;
var b = (decimal?)2M;

// implicit
double? c = (byte)2;
decimal? d = 4L;

Ниже я опубликовал альтернативную версию этой функции, которая конкретно отвечает на вопрос о действиях IMPLICIT и конверсиях. Для получения более подробной информации, набора тестов, который я использовал для его проверки, и версии EXPLICIT, пожалуйста, просмотрите мое сообщение по теме.

public static bool IsImplicitlyCastableTo(this Type from, Type to)
{
    // from http://www.codeducky.org/10-utilities-c-developers-should-know-part-one/ 
    Throw.IfNull(from, "from");
    Throw.IfNull(to, "to");

    // not strictly necessary, but speeds things up
    if (to.IsAssignableFrom(from))
    {
        return true;
    }

    try
    {
        // overload of GetMethod() from http://www.codeducky.org/10-utilities-c-developers-should-know-part-two/ 
        // that takes Expression<Action>
        ReflectionHelpers.GetMethod(() => AttemptImplicitCast<object, object>())
            .GetGenericMethodDefinition()
            .MakeGenericMethod(from, to)
            .Invoke(null, new object[0]);
        return true;
    }
    catch (TargetInvocationException ex)
    {
        return = !(
            ex.InnerException is RuntimeBinderException
            // if the code runs in an environment where this message is localized, we could attempt a known failure first and base the regex on it message
            && Regex.IsMatch(ex.InnerException.Message, @"^The best overloaded method match for 'System.Collections.Generic.List<.*>.Add(.*)' has some invalid arguments$")
        );
    }
}

private static void AttemptImplicitCast<TFrom, TTo>()
{
    // based on the IL produced by:
    // dynamic list = new List<TTo>();
    // list.Add(default(TFrom));
    // We can't use the above code because it will mimic a cast in a generic method
    // which doesn't have the same semantics as a cast in a non-generic method

    var list = new List<TTo>(capacity: 1);
    var binder = Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
        flags: CSharpBinderFlags.ResultDiscarded, 
        name: "Add", 
        typeArguments: null, 
        context: typeof(TypeHelpers), // the current type
        argumentInfo: new[] 
        { 
            CSharpArgumentInfo.Create(flags: CSharpArgumentInfoFlags.None, name: null), 
            CSharpArgumentInfo.Create(
                flags: CSharpArgumentInfoFlags.UseCompileTimeType, 
                name: null
            ),
        }
    );
    var callSite = CallSite<Action<CallSite, object, TFrom>>.Create(binder);
    callSite.Target.Invoke(callSite, list, default(TFrom));
}