Co oznacza [param: NotNull] w C#?

Question

W kodzie źródłowym Entity Framework (link) znalazłem ten wiersz:

public virtual IRelationalTransaction Transaction 
{ get; [param: NotNull] protected set; } 

[param: NotNull] część wygląda bardzo dziwne dla mnie. Każdy pomysł, jaki rodzaj składni C# jest to? Jestem zaznajomiony z atrybutami i paramem, ale nie z tą kombinacją.

Definicja NotNull to:

[AttributeUsage(
    AttributeTargets.Method | AttributeTargets.Parameter | 
    AttributeTargets.Property | AttributeTargets.Delegate | 
    AttributeTargets.Field)] 
internal sealed class NotNullAttribute : Attribute 
{ 
} 

Jakie spodziewałem się być używane tylko jako [NotNull] ale co param tu robi?

Answer 1

Po oznaczeniu metodą z NotNull oznacza to, że metoda zwraca NULL obiekt:

[NotNull] 
public object Get() 
{ 
    return null; //error 
} 

Po zaznaczeniu seter to robi to samo - seter zwraca niezerowy (bo .net przekształca własności do pobierania i ustawiania metody).

public virtual IRelationalTransaction Transaction { get; [NotNull] protected set; } 

Równa się:

[NotNull] 
public virtual void set_Transaction(IRelationalTransaction value) { ... } 

Więc trzeba dodać param: do punktu, że "mam na myśli - parametr seter nie jest zerowa, a nie wynikiem metody SET":

public virtual IRelationalTransaction Transaction { get; [param: NotNull] protected set; } 

Równa się:

public virtual void set_Transaction([NotNull] IRelationalTransaction value) { ... } 

Answer 2

param: to cel atrybutu. Zobacz: 17.2 Attribute specification

docelowy atrybut może być jedną z nich:

montaż modułu, pola, impreza, metoda, param, nieruchomości, zwrot, typ

Więc [param: NotNull] oznacza, że NotNullAttribute odnosi się do parametru setter z value. Konieczne jest tutaj określenie celu, ponieważ parametr value nie jest jawnie wyświetlany jako parametr metody.

---

Wspólne korzystanie z atrybut target jest określenie InternalsVisibleToAttribute w celu uczynienia typów i członków zadeklarowane jako internal widzialnego do projektów badawczych jednostkowych.

[assembly:InternalsVisibleTo("UnitTestProject")] 

Zespół nie pojawia się jako konstruktu języka, dlatego atrybut target assembly jest jedynym sposobem, aby określić atrybut dla zespołu. Btw: Można to określić w dowolnym pliku kodu źródłowego.