Як визначити, чи тип реалізує певний загальний тип інтерфейсу

Припустимо такі визначення типів:

public interface IFoo<T> : IBar<T> {}
public class Foo<T> : IFoo<T> {}

Як дізнатись, чи реалізує тип Fooзагальний інтерфейс, IBar<T>коли доступний лише керований тип?

Використовуючи відповідь від TcKs, це також можна зробити за допомогою наступного запиту LINQ:

bool isBar = foo.GetType().GetInterfaces().Any(x =>
  x.IsGenericType &&
  x.GetGenericTypeDefinition() == typeof(IBar<>));

Вам потрібно пройти по дереву спадкування і знайти всі інтерфейси для кожного класу на дереві та порівняти typeof(IBar<>) з результатом виклику, Type.GetGenericTypeDefinition якщо інтерфейс є загальним. Це, звичайно, трохи боляче.

Дивіться цю відповідь та ці для отримання додаткової інформації та коду.

public interface IFoo<T> : IBar<T> {}
public class Foo : IFoo<Foo> {}

var implementedInterfaces = typeof( Foo ).GetInterfaces();
foreach( var interfaceType in implementedInterfaces ) {
    if ( false == interfaceType.IsGeneric ) { continue; }
    var genericType = interfaceType.GetGenericTypeDefinition();
    if ( genericType == typeof( IFoo<> ) ) {
        // do something !
        break;
    }
}

Як допоміжний метод розширення

public static bool Implements<I>(this Type type, I @interface) where I : class
{
    if(((@interface as Type)==null) || !(@interface as Type).IsInterface)
        throw new ArgumentException("Only interfaces can be 'implemented'.");

    return (@interface as Type).IsAssignableFrom(type);
}

Приклад використання:

var testObject = new Dictionary<int, object>();
result = testObject.GetType().Implements(typeof(IDictionary<int, object>)); // true!

Я використовую трохи простішу версію методу розширення @GenericProgrammers:

public static bool Implements<TInterface>(this Type type) where TInterface : class {
    var interfaceType = typeof(TInterface);

    if (!interfaceType.IsInterface)
        throw new InvalidOperationException("Only interfaces can be implemented.");

    return (interfaceType.IsAssignableFrom(type));
}

Використання:

    if (!featureType.Implements<IFeature>())
        throw new InvalidCastException();

Ви повинні перевірити наявність побудованого типу загального інтерфейсу.

Вам доведеться зробити щось подібне:

foo is IBar<String>

тому що IBar<String>являє собою побудований тип. Причина, що ви повинні це зробити, полягає в тому, що якщо він Tне визначений у вашому чеку, компілятор не знає, чи маєте ви це на увазі IBar<Int32>або IBar<SomethingElse>.

Для того, щоб повністю вирішити систему типу, я думаю , вам потрібно працювати з рекурсією, наприклад IList<T>: ICollection<T>: IEnumerable<T>, без яких ви не знали б , що в IList<int>кінцевому рахунку знаряддя IEnumerable<>.

    /// <summary>Determines whether a type, like IList&lt;int&gt;, implements an open generic interface, like
    /// IEnumerable&lt;&gt;. Note that this only checks against *interfaces*.</summary>
    /// <param name="candidateType">The type to check.</param>
    /// <param name="openGenericInterfaceType">The open generic type which it may impelement</param>
    /// <returns>Whether the candidate type implements the open interface.</returns>
    public static bool ImplementsOpenGenericInterface(this Type candidateType, Type openGenericInterfaceType)
    {
        Contract.Requires(candidateType != null);
        Contract.Requires(openGenericInterfaceType != null);

        return
            candidateType.Equals(openGenericInterfaceType) ||
            (candidateType.IsGenericType && candidateType.GetGenericTypeDefinition().Equals(openGenericInterfaceType)) ||
            candidateType.GetInterfaces().Any(i => i.IsGenericType && i.ImplementsOpenGenericInterface(openGenericInterfaceType));

    }

Перш за все public class Foo : IFoo<T> {}, не компілюється, тому що вам потрібно вказати клас замість T, але припускаючи, що ви робите щось на кшталтpublic class Foo : IFoo<SomeClass> {}

то якщо ви зробите

Foo f = new Foo();
IBar<SomeClass> b = f as IBar<SomeClass>;

if(b != null)  //derives from IBar<>
    Blabla();

У випадку, якщо вам потрібен метод розширення, який би підтримував загальні базові типи, а також інтерфейси, я розширив відповідь sduplooy:

    public static bool InheritsFrom(this Type t1, Type t2)
    {
        if (null == t1 || null == t2)
            return false;

        if (null != t1.BaseType &&
            t1.BaseType.IsGenericType &&
            t1.BaseType.GetGenericTypeDefinition() == t2)
        {
            return true;
        }

        if (InheritsFrom(t1.BaseType, t2))
            return true;

        return
            (t2.IsAssignableFrom(t1) && t1 != t2)
            ||
            t1.GetInterfaces().Any(x =>
              x.IsGenericType &&
              x.GetGenericTypeDefinition() == t2);
    }

Метод перевірки, чи тип успадковує або реалізує загальний тип:

   public static bool IsTheGenericType(this Type candidateType, Type genericType)
    {
        return
            candidateType != null && genericType != null &&
            (candidateType.IsGenericType && candidateType.GetGenericTypeDefinition() == genericType ||
             candidateType.GetInterfaces().Any(i => i.IsGenericType && i.GetGenericTypeDefinition() == genericType) ||
             candidateType.BaseType != null && candidateType.BaseType.IsTheGenericType(genericType));
    }

Спробуйте наступне розширення.

public static bool Implements(this Type @this, Type @interface)
{
    if (@this == null || @interface == null) return false;
    return @interface.GenericTypeArguments.Length>0
        ? @interface.IsAssignableFrom(@this)
        : @this.GetInterfaces().Any(c => c.Name == @interface.Name);
}

Щоб перевірити це. творити

public interface IFoo { }
public interface IFoo<T> : IFoo { }
public interface IFoo<T, M> : IFoo<T> { }
public class Foo : IFoo { }
public class Foo<T> : IFoo { }
public class Foo<T, M> : IFoo<T> { }
public class FooInt : IFoo<int> { }
public class FooStringInt : IFoo<string, int> { }
public class Foo2 : Foo { }

і метод випробування

public void Test()
{
    Console.WriteLine(typeof(Foo).Implements(typeof(IFoo)));
    Console.WriteLine(typeof(FooInt).Implements(typeof(IFoo)));
    Console.WriteLine(typeof(FooInt).Implements(typeof(IFoo<>)));
    Console.WriteLine(typeof(FooInt).Implements(typeof(IFoo<int>)));
    Console.WriteLine(typeof(FooInt).Implements(typeof(IFoo<string>)));
    Console.WriteLine(typeof(FooInt).Implements(typeof(IFoo<,>)));
    Console.WriteLine(typeof(FooStringInt).Implements(typeof(IFoo<,>)));
    Console.WriteLine(typeof(FooStringInt).Implements(typeof(IFoo<string,int>)));
    Console.WriteLine(typeof(Foo<int,string>).Implements(typeof(IFoo<string>)));
 }

Не повинно бути нічого поганого в наступному:

bool implementsGeneric = (anObject.Implements("IBar`1") != null);

Для отримання додаткового кредиту ви можете зловити AmbiguousMatchException, якщо ви хочете надати конкретний загальний параметр типу зі своїм запитом IBar.