Позначити параметри як НІЛИВО в C # /. NET?

Чи існує простий атрибут або контракт даних, який я можу призначити параметру функції, який запобігає nullпередачі в C # /. NET? В ідеалі це також перевіряє під час компіляції, щоб переконатися, що літерал nullніде не використовується для нього та під час виконання ArgumentNullException.

В даний час я пишу щось на кшталт ...

if (null == arg)
  throw new ArgumentNullException("arg");

... для кожного аргументу, якого, як я очікую, не буде null.

У тій же примітці, чи є протилежне тому, Nullable<>що наступне не вдалося б:

NonNullable<string> s = null; // throw some kind of exception

На жаль, під час компіляції нічого не доступно.

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

У .NET 4.0 із матеріалами Code Contracts життя буде набагато приємнішим. Все одно було б непогано мати фактичний синтаксис мови та підтримку щодо ненульованості, але контракти коду дуже допоможуть.

У мене також є метод розширення в MiscUtil, який називається ThrowIfNull, що робить його дещо простішим.

Останній момент - будь-яка причина для використання " if (null == arg)" замість " if (arg == null)"? Мені легше читати останнє, і проблема, яку перший вирішує на C, не стосується C #.

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

За словами Мадса Торгерсена:

Проблема в тому, що нульові посилання настільки корисні. У C # вони є значенням за замовчуванням для кожного типу посилання. Яким ще було б значення за замовчуванням? Яке ще значення мала б змінна, поки ви не вирішите, що ще їй призначити? Яким ще значенням ми могли б прокласти щойно виділений масив посилань, доки ви не обійдетесь заповнити його?

Крім того, іноді нуль є розумним значенням сам по собі. Іноді ви хочете представити той факт, що, скажімо, поле не має значення. Це нормально передавати "нічого" для параметра. Однак акцент робиться на інколи. І в цьому полягає інша частина проблеми: такі мови, як C #, не дозволяють вам виражати, чи є нуль тут гарною ідеєю чи ні.

Отже, резолюція, викладена Мадсом, така:

1. Ми вважаємо, що частіше хочеться, щоб посилання не було нульовим. Типи посилань, що підлягають нульовому використанню, були б рідкіснішими (хоча ми не маємо хороших даних, щоб сказати нам, скільки), тому саме вони потребують нової анотації.

2. Мова вже має поняття - і синтаксис - типів значень, що мають значення. Аналогія між ними зробить мовне додавання концептуально простішим та лінгвістично простішим.

3. Здається, правильно, що ви не повинні обтяжувати ні себе, ні споживача громіздкими нульовими значеннями, якщо тільки ви активно не вирішили, що хочете їх. Нулі, а не їх відсутність, повинні бути тим, для чого вам явно потрібно вибрати.

Приклад бажаної функції:

public class Person
{
     public string Name { get; set; } // Not Null
     public string? Address { get; set; } // May be Null
}

Попередній перегляд доступний для Visual Studio 2017, попередній перегляд 15.5.4+.

Я знаю, що це ДУЖЕ старе запитання, але тут цього бракувало:

Якщо ви використовуєте ReSharper / Rider, ви можете використовувати Annotated Framework .

Редагувати : Я щойно отримав випадковий -1 для цієї відповіді. Добре. Тільки майте на увазі, що він все ще діє, хоча це вже не рекомендований підхід для проектів C # 8.0 + (щоб зрозуміти, чому, див . Відповідь Грега ).

Перевірте валідатори в бібліотеці підприємства. Ви можете зробити щось на зразок:

private MyType _someVariable = TenantType.None;
[NotNullValidator(MessageTemplate = "Some Variable can not be empty")]
public MyType SomeVariable {
    get {
        return _someVariable;
    }
    set {
        _someVariable = value;
    }
}

Потім у своєму коді, коли ви хочете перевірити його:

Microsoft.Practices.EnterpriseLibrary.Validation.Validator myValidator = ValidationFactory.CreateValidator<MyClass>();

ValidationResults vrInfo = InternalValidator.Validate(myObject);

не найкрасивіша, але:

public static bool ContainsNullParameters(object[] methodParams)
{
     return (from o in methodParams where o == null).Count() > 0;
}

Ви також можете отримати більше креативу в методі ContainsNullParameters:

public static bool ContainsNullParameters(Dictionary<string, object> methodParams, out ArgumentNullException containsNullParameters)
       {
            var nullParams = from o in methodParams
                             where o.Value == null
                             select o;

            bool paramsNull = nullParams.Count() > 0;


            if (paramsNull)
            {
                StringBuilder sb = new StringBuilder();
                foreach (var param in nullParams)
                    sb.Append(param.Key + " is null. ");

                containsNullParameters = new ArgumentNullException(sb.ToString());
            }
            else
                containsNullParameters = null;

            return paramsNull;
        }

звичайно, ви могли б використати перехоплювач або відображення, але за ними легко слідувати / використовувати з невеликими накладними витратами

Гаразд, ця відповідь трохи запізнилася, але ось як я її вирішую:

public static string Default(this string x)
{
    return x ?? "";
}

Використовуйте цей метод розширення, тоді ви можете розглядати нульовий і порожній рядок як одне і те ж.

Напр

if (model.Day.Default() == "")
{
    //.. Do something to handle no Day ..
}

Не ідеально. Я знаю, оскільки ви повинні пам’ятати про те, щоб називати дефолт скрізь, але це одне з рішень.