Чому C # забороняє загальні типи атрибутів?

Це спричиняє виняток із часу компіляції:

public sealed class ValidatesAttribute<T> : Attribute
{

}

[Validates<string>]
public static class StringValidation
{

}

Я розумію, що C # не підтримує загальних атрибутів. Однак після довгого гуглінгу я не можу знайти причину.

Хтось знає, чому родові типи не можуть бути похідними Attribute? Будь-які теорії?

Ну, я не можу відповісти, чому це недоступно, але можу підтвердити, що це не проблема CLI. Специфікація CLI не згадує про це (наскільки я бачу), і якщо ви використовуєте IL безпосередньо, ви можете створити загальний атрибут. Частина специфікації C # 3, яка забороняє її, - розділ 10.1.4 "Специфікація базового класу" не дає жодних обґрунтувань.

Позначена специфікація ECMA C # 2 також не дає корисної інформації, хоча вона є прикладом того, що заборонено.

Моя копія поміченої специфікації C # 3 повинна надійти завтра ... Я побачу, чи це дає більше інформації. У будь-якому випадку, це, безумовно, мовне рішення, а не час виконання.

EDIT: Відповідь Еріка Ліпперта (перефразовано): немає особливих причин, за винятком уникнення складності як у мові, так і в компіляторі для випадку використання, який не додає великої цінності.

Атрибут прикрашає клас під час компіляції, але загальний клас не отримує остаточну інформацію про тип до часу виконання. Оскільки атрибут може впливати на компіляцію, він повинен бути "завершеним" під час компіляції.

Дивіться цю статтю MSDN для отримання додаткової інформації.

Я не знаю, чому це не дозволено, але це один із можливих шляхів вирішення

[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
{
    ....
}

Це не є справді загальним, і вам все одно доведеться писати конкретний клас атрибутів для кожного типу, але ви, можливо, зможете використовувати загальний базовий інтерфейс, щоб кодувати трохи оборонно, писати менший код, ніж потрібно, отримати переваги поліморфізму тощо.

//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
{

}

Це дуже гарне запитання. З мого досвіду , з атрибутами, я думаю , що обмеження на місці , тому що при відображенні від атрибута було б створити умови , в яких ви повинні перевірити всі можливі перестановки типу: typeof(Validates<string>), typeof(Validates<SomeCustomType>), і т.д. ...

На мою думку, якщо потрібна спеціальна перевірка залежно від типу, атрибут може виявитися не найкращим підходом.

Можливо, кращим підходом буде клас перевірки, який приймає параметр a SomeCustomValidationDelegateабо ISomeCustomValidatora.

Наразі це не є мовою C #, проте є багато обговорень на офіційному репо-мові C # .

З деяких записок про зустрічі :

Незважаючи на те, що це працює в принципі, є помилки в більшості версій програми, щоб він не працював правильно (він ніколи не виконувався).

Нам потрібен механізм, щоб зрозуміти, на якому цільовому режимі він працює. Це нам потрібно для багатьох речей, і зараз це дивимось. До цього ми не можемо прийняти це.

Кандидат у головну версію C #, якщо ми зможемо зробити достатню кількість версій виконання, щоб це вирішити.

Мій спосіб вирішення приблизно такий:

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