Значение типа 'T' не может быть преобразовано в

Вероятно, это вопрос новичка, но на удивление Google не дал ответа.

У меня есть этот довольно искусственный метод

T HowToCast<T>(T t)
{
    if (typeof(T) == typeof(string))
    {
        T newT1 = "some text";
        T newT2 = (string)t;
    }

    return t;
}

Исходя из опыта C ++, я ожидал, что это сработает. Тем не менее, он не может быть скомпилирован с «Не удается неявно преобразовать тип« T »в строку» и «Не удается преобразовать тип« T »в строку» для обоих вышеупомянутых назначений.

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

Спасибо!

Даже если он находится внутри ifблока, компилятор не знает, что это Tтакое string.
Следовательно, он не позволяет вам разыгрывать. (По той же причине , что вы не можете бросить DateTimeв string)

Вам нужно привести к object, (который любой Tможет привести к), а оттуда к string(так как objectможно привести к string).
Например:

T newT1 = (T)(object)"some text";
string newT2 = (string)(object)t;

Обе линии имеют одинаковую проблему

T newT1 = "some text";
T newT2 = (string)t;

Компилятор не знает, что T является строкой, и поэтому не может знать, как его назначить. Но так как вы проверили, вы можете просто заставить его

T newT1 = "some text" as T;
T newT2 = t; 

вам не нужно приводить t, так как это уже строка, также нужно добавить ограничение

where T : class

Я знаю похожий код, который ОП выложил в этом вопросе из универсальных парсеров. С точки зрения производительности, вы должны использовать Unsafe.As<TFrom, TResult>(ref TFrom source), который можно найти в пакете System.Runtime.CompilerServices.Unsafe NuGet. Это позволяет избежать упаковки для типов значений в этих сценариях. Я также думаю, что это Unsafe.Asприводит к меньшему количеству машинного кода, создаваемого JIT, чем приведение дважды (с использованием (TResult) (object) actualString), но я этого не проверял.

public TResult ParseSomething<TResult>(ParseContext context)
{
    if (typeof(TResult) == typeof(string))
    {
        var token = context.ParseNextToken();
        string parsedString = token.ParseToDotnetString();
        return Unsafe.As<string, TResult>(ref parsedString);
    }
    else if (typeof(TResult) == typeof(int))
    {
        var token = context.ParseNextToken();
        int parsedInt32 = token.ParseToDotnetInt32();
        // This will not box which might be critical to performance
        return Unsafe.As<int, TResult>(ref parsedInt32); 
    }
    // other cases omitted for brevity's sake
}

Unsafe.As будет заменен JIT с эффективными инструкциями машинного кода, как вы можете увидеть в официальном репозитории CoreFX:

Если вы проверяете явные типы, почему вы объявляете эти переменные как Ts?

T HowToCast<T>(T t)
{
    if (typeof(T) == typeof(string))
    {
        var newT1 = "some text";
        var newT2 = t;  //this builds but I'm not sure what it does under the hood.
        var newT3 = t.ToString();  //for sure the string you want.
    }

    return t;
}

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

public class Foo <T> {

    T var;

    public <T> void doSomething(Class <T> cls) throws InstantiationException, IllegalAccessException {
        this.var = cls.newInstance();
    }

}

Этот код компилируется (примечание T удалено из объявления метода):

public class Foo <T> {

    T var;

    public void doSomething(Class <T> cls) throws InstantiationException, IllegalAccessException {
        this.var = cls.newInstance();
    }

}

Измените эту строку:

if (typeof(T) == typeof(string))

Для этой строки:

if (t.GetType() == typeof(string))