Значення типу "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:

Якщо ви перевіряєте наявність явних типів, чому ви декларуєте ці змінні як T's?

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))