Nilai tipe 'T' tidak dapat dikonversi ke

Ini mungkin pertanyaan pemula, tetapi secara mengejutkan google tidak memberikan jawaban.

Saya memiliki metode yang agak buatan ini

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

    return t;
}

Berasal dari latar belakang C ++ saya berharap ini berfungsi. Namun, gagal mengkompilasi dengan "Tidak dapat secara implisit mengonversi tipe 'T' ke string" dan "Tidak dapat mengonversi tipe 'T' ke string" untuk kedua tugas di atas.

Saya melakukan sesuatu yang secara konseptual salah atau hanya memiliki sintaks yang salah. Tolong bantu saya menyelesaikan masalah ini.

Terima kasih!

Meskipun itu dalam sebuah ifblok, compiler tidak tahu bahwa Tadalah string.
Karena itu, ia tidak membiarkan Anda bermain. (Untuk alasan yang sama yang Anda tidak bisa melemparkan DateTimeke string)

Anda perlu dilemparkan ke object, (yang Tdapat dilemparkan ke mana pun ), dan dari sana ke string(karena objectdapat dilemparkan ke string).
Sebagai contoh:

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

Kedua jalur memiliki masalah yang sama

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

Kompiler tidak tahu bahwa T adalah sebuah string dan karenanya tidak memiliki cara untuk mengetahui cara menetapkan itu. Tetapi karena Anda memeriksa Anda bisa memaksanya

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

Anda tidak perlu membuang t karena ini sudah berupa string, juga perlu menambahkan batasan

where T : class

Saya tahu kode serupa yang OP posting dalam pertanyaan ini dari parser generik. Dari perspektif kinerja, Anda harus menggunakan Unsafe.As<TFrom, TResult>(ref TFrom source), yang dapat ditemukan dalam paket System.Runtime.CompilerServices.Unsafe NuGet. Ini menghindari tinju untuk tipe nilai dalam skenario ini. Saya juga berpikir bahwa Unsafe.Asmenghasilkan lebih sedikit kode mesin yang dihasilkan oleh JIT daripada melakukan casting dua kali (menggunakan (TResult) (object) actualString), tapi saya belum memeriksanya.

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 akan digantikan oleh JIT dengan instruksi kode mesin yang efisien, seperti yang dapat Anda lihat di repo CoreFX resmi:

Jika Anda memeriksa tipe eksplisit, mengapa Anda mendeklarasikan variabel tersebut sebagai variabel T?

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;
}

Anda juga akan mendapatkan kesalahan ini jika Anda memiliki deklarasi generik untuk kelas Anda dan metode Anda. Misalnya kode yang ditunjukkan di bawah ini memberikan kesalahan kompilasi ini.

public class Foo <T> {

    T var;

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

}

Kode ini dikompilasi (catatan T dihapus dari deklarasi metode):

public class Foo <T> {

    T var;

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

}

Ubah baris ini:

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

Untuk baris ini:

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