Создайте метод или список, который не может принимать пустые аргументы

Question

У меня есть класс node, который в основном состоит из свойства parent и списка ребенок. Существует метод AddChild, который не должен принимать значение null в качестве аргумента. Пользователи не должны добавлять нулевой дочерний элемент.

Но свойство parent должно допускать нулевые значения (корневой узел имеет нулевой родительский элемент).

Вопрос: «Как запретить пользователям добавлять пустых детей в compile-time?». Я знаю, что могу добавить NullArgumentException, но это не то, что мне нужно.

Другой способ создания списка, который не принимает нулевые элементы (время компиляции).

Код:

class Node 
{ 
    public Node Parent { get; set; } 
    private List<Node> Children = new List<Node>(); 

    public void AddChild<Maybe a generics solution?>(Node???? Child) where ???? 
    { 
     //I don't want to add (if Child == null) Throw new ArgumentNullException(); 
     Children.Add(Child); 
    } 
} 

Answer 1

Это "недостаток" дизайна C# языка. Существует способ сделать тип значения (struct T) нулевым (Nullable<T>), но нет способа указать аргумент ссылочного типа, который не должен быть нулевым. Лучшее, что вы можете сделать, это проверить значение null и бросить ArgumentNullException (или использовать кодовые контракты, как предлагает pnewhook).

См. Ответ MailmanOdd на ссылку в блоге Эрика Липперта по этой теме.

Answer 2

Вы не можете отменить нулевые аргументы, лучше всего это сделать ошибку, если нарушено предварительное условие аргумента. Поскольку вы не хотите бросать ArgumentNullException, если ребенок имеет значение null, я бы рекомендовал code contracts.

Contract.Requires(x != null); 

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