Блог

Предположим, у нас есть интерфейс с одним универсальным методом:

 public interface IExtender
{
    T GetValue<T>(string tag);
}
 

и простая его реализация, которая возвращает экземпляры двух разных типов (B и C) в зависимости от параметра «tag»:

 public class A : IExtender
{
    public T GetValue<T>(string tag)
    {
        if (typeof(T) == typeof(B) amp;amp; tag == null)
            return (T)(object) new B();
        if (typeof(T) == typeof(C) amp;amp; tag == "foo")
            return (T)(object) new C();
        return default(T);
    }
}
 

можно ли избежать двойного приведения (T)(object) ? Или, есть ли способ сообщить компилятору «эй, я уверен, что это приведение не завершится ошибкой во время выполнения, просто позвольте мне сделать это без предварительного приведения к объекту!»

Или, есть ли способ сообщить компилятору «эй, я уверен, что это приведение не завершится ошибкой во время выполнения, просто позвольте мне сделать это без предварительного приведения к объекту!»

Нет, язык специально разработан для предотвращения этого. Эрик Липперт недавно написал об этом в блоге. Я согласен, что это раздражает, но в этом есть определенный смысл.

Честно говоря, «общие» методы, подобные этому, обычно немного пахнут дизайном. Если метод должен иметь особые случаи для разных типов, вам следует, по крайней мере, рассмотреть возможность использования отдельных методов вместо этого. ( GetB , GetC )

 public T MyMethod<T>(string tag) where T : class
    {
        return new A() as T;
    }
 

проверьте этот пример:

     public T GetValue<T>(string tag) where T : class, new()
    {
        if (typeof(T) == typeof(B) amp;amp; tag == null)
            return new T();
        if (typeof(T) == typeof(C) amp;amp; tag == "foo")
            return new T();
        return default(T);
    }
 

приведение не требуется, вы можете создать экземпляр «T», просто добавьте общее ограничение, в котором говорится, что T является классом и имеет конструктор без параметров, поэтому вам не нужно создавать другие базовые типы, и вы можете быть уверены, что только подходящие типы будут проходить через этот общий метод.

Вы можете использовать dynamic для хранения вашего реального результата, но вы должны быть уверены, что общий тип аргумента является правильным типом, который вы возвращаете.

 TResult GetResult<TResult>() 
{
    dynamic r = 10;
    return r;
}
 

Нет, это невозможно. Единственный способ сделать это — сообщить компилятору о дополнительных допущениях T . Как видно из списка общих ограничений параметров, в C # не определено никаких ограничений, требующих наличия определенного приведения.

если вы позволите B и C реализовать один и тот же интерфейс, вы могли бы использовать ограничение типа для вашего T . Возможно, это не совсем то, чего вы хотите, но, как предполагают и другие, то, чего вы хотите, на самом деле невозможно.

 public interface IclassBndC {}

public class B : IclassBandC {}

public class C : IclassBandC {}

public class A : IExtender
{
    public T GetValue<T>(string tag) where T : IclassBandC 
    {
        if (tag == null)
            return new B();
        if (tag == "foo")
            return new C();
        return default(T);
    }
}