Почему Nullable <T> не является допустимым параметром пользовательского атрибута, когда T является?

Question

Если у меня есть перечисление как этот

public enum Hungry 
{ 
    Somewhat, 
    Very, 
    CouldEatMySocks 
} 

и пользовательский атрибут, как этот

public class HungerAttribute : Attribute 
{ 
    public Hungry HungerLevel { get; set; } 
    public Hungry? NullableHungerLevel { get; set; } 
} 

Я могу это сделать

[Hunger(HungerLevel = Hungry.CouldEatMySocks)] 
public class Thing1 

, но я не могу это сделать

[Hunger(NullableHungerLevel = Hungry.CouldEatMySocks)] 
public class Thing2 

Он генерирует ошибку, которая говорит: «NullableHungerLevel» не является допустимым аргументом атрибута имени, потому что он не является допустимым типом параметра атрибута ».

Почему это запрещено? Я понимаю, что в принципе это просто не входит в список принятых типов. Допустимыми типами являются примитивы, перечисления, строки, типы и одномерные массивы предыдущих типов.

Это просто старое правило, которое не обновилось, когда появился Nullable?

Answer 1

Голодные? равно NULLABLE < Голодные >, который с точки зрения означает, что

[Hunger(NullableHungerLevel = Hungry.CouldEatMySocks)] 

равно

[Hunger(NullableHungerLevel = new Nullable<Hungry>(Hungry.CouldEatMySocks))] 

Так как вы можете использовать только постоянные значения в именованных аргументов атрибутов вам придется прибегнуть к решению шимми в.

Answer 2

Чтобы обойти это создать еще один инициализатор в атрибуте:

class Program 
{ 
    [Hunger()] 
    static void Main(string[] args) 
    { 
    } 

    public sealed class HungerAttribute : Attribute 
    { 
    private readonly Hungry? _HungerLevel; 
    public Hungry? HungerLevel { get { return _HungerLevel; } } 

    public bool IsNull { get { return !_HungerLevel.HasValue; } }   

    public HungerAttribute() 
    { 
    } 

    //Or: 
    public HungerAttribute(Hungry level) 
    { 
     _HungerLevel = level; 
    } 
    } 

    public enum Hungry { Somewhat, Very, CouldEatMySocks } 
} 

Я понимаю, что вы не собираетесь использовать оба свойства.

Answer 3

Атрибуты могут иметь только примитивы параметров, выражения типаof и выражение для создания массива.

Nullable - это структура.

Поэтому этого не допускается.

Я подозреваю, что формат файла сборки не позволяет хранить сложные типы, такие как структуры, в том месте, где хранятся значения атрибутов.

Я не знаю никаких планов изменить это. Но я не могу объяснить, почему это ограничение существует.

Answer 4

Вместо создания нулевого перечисления вы можете создать значение по умолчанию для этого перечисления. Enum выбор по умолчанию с 1-го значения, поэтому установить перечисление как этот

public enum Hungry 
{ 
    None, 
    Somewhat, 
    Very, 
    CouldEatMySocks 
} 

в своем коде вы могли бы сделать это, чтобы проверить на нуль

if(default(Hungry) == HungerLevel)//no value has been set