这会导致编译时异常:
public sealed class ValidatesAttribute<T> : Attribute
{
}
[Validates<string>]
public static class StringValidation
{
}
我意识到c#不支持泛型属性。然而,在谷歌搜索了很多次之后,我似乎找不到原因。
有人知道为什么泛型类型不能从Attribute派生吗?什么理论吗?
这会导致编译时异常:
public sealed class ValidatesAttribute<T> : Attribute
{
}
[Validates<string>]
public static class StringValidation
{
}
我意识到c#不支持泛型属性。然而,在谷歌搜索了很多次之后,我似乎找不到原因。
有人知道为什么泛型类型不能从Attribute派生吗?什么理论吗?
这是一个非常好的问题。根据我使用属性的经验,我认为约束是合适的,因为当反射一个属性时,它会创建一个条件,在这种条件下,您必须检查所有可能的类型排列:typeof(Validates<string>), typeof(Validates<SomeCustomType>),等等……
在我看来,如果需要根据类型进行自定义验证,那么属性可能不是最好的方法。
也许采用SomeCustomValidationDelegate或ISomeCustomValidator作为参数的验证类是更好的方法。
好吧,我不能回答为什么它不可用,但我可以确认这不是CLI的问题。CLI规范没有提到它(据我所知),如果你直接使用IL,你可以创建一个通用属性。c# 3规范中禁止它的部分——10.1.4节“类基规范”并没有给出任何理由。
注释的ECMA c# 2规范也没有提供任何有用的信息,尽管它提供了一个不允许的示例。
我的带注释的c# 3规范应该明天就能到…我看看能不能提供更多信息。无论如何,这绝对是一个语言决定,而不是运行时决定。
编辑:Eric Lippert的回答(转述):没有特别的原因,只是为了避免语言和编译器的复杂性,这并没有增加多少价值。
我不知道为什么不允许,但这是一个可行的解决办法
[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
{
}
我的变通方法是这样的:
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; }
这目前还不是c#语言的特性,但是关于官方的c#语言回购有很多讨论。
以下是一些会议记录:
尽管这在原则上可行,但大多数都存在漏洞 运行时的版本,使它不能正常工作(它是 没有执行)。 我们需要一种机制来理解它工作在哪个目标运行时上。我们 很多事情都需要它,目前正在考虑。直到 那么,我们就不能接受了。 一个主要的c#版本的候选,如果我们能做出足够的数量 的运行时版本处理它。
泛型属性从c# 11开始可用。现在,这是可能的:
[GenericAttribute<int>()]
public int Method();
然而,这还不可能:
[GenericAttribute<T>()]
public int Method<T>(T param);
T在编译时是未知的。
同时,
The type arguments must satisfy the same restrictions as the typeof operator. Types that require metadata annotations aren't allowed. For example, the following types aren't allowed as the type parameter: dynamic string? (or any nullable reference type) (int X, int Y) (or any other tuple types using C# tuple syntax). These types aren't directly represented in metadata. They include annotations that describe the type. In all cases, you can use the underlying type instead: object for dynamic. string instead of string?. ValueTuple<int, int> instead of (int X, int Y).
来源:https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11 generic-attributes