Интернет магазин китайских планшетных компьютеров

Компьютеры - Spec Sharp - Пример

Данный пример демонстрирует две базовые структуры, используемые при добавлении контрактов ваш код.

    static void Main
        requires args.Length > 0
    {
        foreach
        {
            Console.WriteLine;
        }
    }

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

• requires означает условие, выполнимое в данном коде. В этом случае длина args не должна быть равной нули или меньше.