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 that you have read and understand our privacy policy and code of conduct.

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