Mengapa C # melarang tipe atribut generik?

Ini menyebabkan pengecualian waktu kompilasi:

public sealed class ValidatesAttribute<T> : Attribute
{

}

[Validates<string>]
public static class StringValidation
{

}

Saya menyadari C # tidak mendukung atribut generik. Namun, setelah banyak Googling, saya tidak dapat menemukan alasannya.

Adakah yang tahu mengapa tipe generik tidak dapat diturunkan Attribute? Ada teori?

Yah, saya tidak bisa menjawab mengapa itu tidak tersedia, tetapi saya dapat mengkonfirmasi bahwa ini bukan masalah CLI. Spesifikasi CLI tidak menyebutkannya (sejauh yang saya bisa lihat) dan jika Anda menggunakan IL secara langsung, Anda dapat membuat atribut generik. Bagian dari spesifikasi C # 3 yang melarangnya - bagian 10.1.4 "Spesifikasi dasar kelas" tidak memberikan justifikasi apa pun.

Spesifikasi ECMA C # 2 yang dianotasi juga tidak memberikan informasi bermanfaat, meskipun itu memberikan contoh tentang apa yang tidak diperbolehkan.

Salinan spec C # 3 saya yang beranotasi akan tiba besok ... Saya akan melihat apakah itu memberikan informasi lebih lanjut. Bagaimanapun, ini jelas merupakan keputusan bahasa daripada yang runtime.

EDIT: Jawaban dari Eric Lippert (diparafrasekan): tidak ada alasan khusus, kecuali untuk menghindari kompleksitas dalam bahasa dan kompiler untuk kasus penggunaan yang tidak menambah banyak nilai.

Atribut mendekorasi kelas pada waktu kompilasi, tetapi kelas generik tidak menerima informasi tipe terakhirnya sampai runtime. Karena atribut dapat mempengaruhi kompilasi, itu harus "selesai" pada waktu kompilasi.

Lihat artikel MSDN ini untuk informasi lebih lanjut.

Saya tidak tahu mengapa itu tidak diizinkan, tetapi ini adalah salah satu solusi yang mungkin

[AttributeUsage(AttributeTargets.Class)]
public class ClassDescriptionAttribute : Attribute
{
    public ClassDescriptionAttribute(Type KeyDataType)
    {
        _KeyDataType = KeyDataType;
    }

    public Type KeyDataType
    {
        get { return _KeyDataType; }
    }
    private Type _KeyDataType;
}


[ClassDescriptionAttribute(typeof(string))]
class Program
{
    ....
}

Ini bukan benar-benar generik dan Anda masih harus menulis kelas atribut spesifik per jenis, tetapi Anda mungkin dapat menggunakan antarmuka basis generik untuk mengkodekan sedikit defensif, menulis kode lebih sedikit daripada yang diperlukan, mendapatkan manfaat polimorfisme dll.

//an interface which means it can't have its own implementation. 
//You might need to use extension methods on this interface for that.
public interface ValidatesAttribute<T>
{
    T Value { get; } //or whatever that is
    bool IsValid { get; } //etc
}

public class ValidatesStringAttribute : Attribute, ValidatesAttribute<string>
{
    //...
}
public class ValidatesIntAttribute : Attribute, ValidatesAttribute<int>
{
    //...
}

[ValidatesString]
public static class StringValidation
{

}
[ValidatesInt]
public static class IntValidation
{

}

Ini pertanyaan yang sangat bagus. Dalam pengalaman saya dengan atribut, saya pikir kendala di tempat karena ketika merefleksikan atribut itu akan menciptakan suatu kondisi di mana Anda harus memeriksa semua jenis kemungkinan permutasi: typeof(Validates<string>), typeof(Validates<SomeCustomType>), dll ...

Menurut pendapat saya, jika validasi khusus diperlukan tergantung pada jenisnya, atribut mungkin bukan pendekatan terbaik.

Mungkin kelas validasi yang menggunakan a SomeCustomValidationDelegateatau a ISomeCustomValidatorsebagai parameter akan menjadi pendekatan yang lebih baik.

Ini bukan fitur bahasa C # saat ini, namun ada banyak diskusi tentang repo bahasa C # resmi .

Dari beberapa catatan rapat :

Meskipun ini pada prinsipnya akan berfungsi, ada bug di sebagian besar versi runtime sehingga tidak akan berfungsi dengan benar (tidak pernah dilakukan).

Kami membutuhkan mekanisme untuk memahami target runtime yang berfungsi. Kami membutuhkan itu untuk banyak hal, dan saat ini sedang melihat itu. Sampai saat itu, kita tidak bisa menerimanya.

Calon untuk versi C # utama, jika kita dapat membuat cukup banyak versi runtime yang berurusan dengannya.

Solusi saya adalah seperti ini:

public class DistinctType1IdValidation : ValidationAttribute
{
    private readonly DistinctValidator<Type1> validator;

    public DistinctIdValidation()
    {
        validator = new DistinctValidator<Type1>(x=>x.Id);
    }

    public override bool IsValid(object value)
    {
        return validator.IsValid(value);
    }
}

public class DistinctType2NameValidation : ValidationAttribute
{
    private readonly DistinctValidator<Type2> validator;

    public DistinctType2NameValidation()
    {
        validator = new DistinctValidator<Type2>(x=>x.Name);
    }

    public override bool IsValid(object value)
    {
        return validator.IsValid(value);
    }
}

...
[DataMember, DistinctType1IdValidation ]
public Type1[] Items { get; set; }

[DataMember, DistinctType2NameValidation ]
public Type2[] Items { get; set; }