1

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

придумал сделать оболочку которая знает что значение проверенно:

struct CheckedValue<T>
{
    private readonly T value;
    private CheckedValue(T value)
    {
        this.value = value;
    }

    public static CheckedValue<T>? GetCheckedValue(T value, Func<T,bool> check)
    {
        if (check(value))
        {
            return new CheckedValue<T>(value);
        }
        else
        {
            return null;
        }
    }

}

есть другие способы добиться нужного поведения?

5
  • А для чего каждый раз проверять значение при передаче из метода в метод?
    – tym32167
    14 фев 2018 в 22:43
  • @tym32167 я имею ввиду проверка скорее всего случится 2 раза: например при вызове метода и внутри конструктора структуры
    – dgzargo
    14 фев 2018 в 22:49
  • И почему это проблема? Я просто не вижу тут что то, что надо бы чинить / менять
    – tym32167
    14 фев 2018 в 22:56
  • А в чем смысл от метода GetCheckedValue, если он не является статическим?
    – user206435
    15 фев 2018 в 4:38
  • Контракты, Debug.Assert - и в продакшене лишние проверки вырезаются. А так правильно проверять на границе контекста.
    – vitidev
    15 фев 2018 в 8:36

1 ответ 1

5

То, что вы сделали, чем-то похоже на Value Object, но обладает следующими недостатком - CheckedValue можно создать с разными проверяющими функциями - то есть информация о виде пройденной проверки теряется.

Если внести информацию об ограничении в имя типа - как раз и получится паттерн Value Object.

Пример как может Value Object выглядеть:

public struct Temperature
{
    private readonly decimal value;
    private Temperature(decimal value) 
    {
        this.value = value;
    }

    public decimal ToCelsius => value − 273.15m;
    public decimal ToKelvins => value;
    public decimal ToFahrenheit => value * 1.8m − 459.67m;

    public static Temperature FromCelsius(decimal value) => FromKelvins(value + 273.15m);
    public static Temperature FromFahrenheit(decimal value) => FromKelvins((value + 459.67m) / 1.8m);
    public static Temperature FromKelvins(decimal value) 
    {
        if (value < 0) 
            throw new ArgumentOutOfRangeException("value", "Такой температуры не бывает");
        return new Temperature(value);
    }

    public static Temperature? TryConvertFromCelsius(decimal value) => TryConvertFromKelvins(value + 273.15m);
    public static Temperature? TryConvertFromFahrenheit(decimal value) => TryConvertFromKelvins((value + 459.67m) / 1.8m);
    public static Temperature? TryConvertFromKelvins(decimal value) 
    {
        if (value < 0) 
            return null;
        return new Temperature(value);
    }

    public static Temperature Zero { get; } = new Temperature(0);
}

Отмечу также важную особенность любых структур: структуру можно инициализировать нулями через конструкцию default(...) или открытый конструктор по умолчанию (который всегда присутствует и который нельзя переопределить), поэтому если вы делаете Value Object структурой - нужно обязательно убедиться что нулевое значение будет корректным значением.

Если так сделать не получается - то Value Object надо делать классом.

12
  • default не обязателен, у структуры всегда есть неявный открытый конструктор без параметров 15 фев 2018 в 12:29
  • @АндрейNOP спасибо за уточнение 15 фев 2018 в 12:46
  • 3 раза прочитал и не понял. Как ваш ответ связан с заданным вопросом?
    – tym32167
    15 фев 2018 в 20:22
  • @tym32167 напрямую 16 фев 2018 в 2:29
  • @PavelMayorov и где эта связь? Можно поподробней?
    – tym32167
    16 фев 2018 в 8:30

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.