Мотивация:
При чтении блога Mark Seemanns на Код запах: автоматическое свойство, он говорит в конце:
Суть в том, что автоматические свойства редко подходят. Фактически, они подходят только тогда, когда тип свойства является тип значения и все мыслимые значения разрешены.
Он дает int Temperature
как пример плохого запаха и предлагает лучшее исправление - это тип удельного значения единицы, например Celsius. Поэтому я решил попробовать создать настраиваемый тип значения Celsius, который инкапсулирует все проверки границ и логику преобразования типов как упражнение в более SOLID.
Основные требования:
- Невозможно иметь недопустимое значение
- Инкапсулирует операции преобразования
- Эффективное копирование (эквивалентное его замене)
- Как можно интуитивно использовать для использования (попытка семантики int)
Реализация:
[System.Diagnostics.DebuggerDisplay("{m_value}")]
public struct Celsius // : IComparable, IFormattable, etc...
{
private int m_value;
public static readonly Celsius MinValue = new Celsius() { m_value = -273 }; // absolute zero
public static readonly Celsius MaxValue = new Celsius() { m_value = int.MaxValue };
private Celsius(int temp)
{
if (temp < Celsius.MinValue)
throw new ArgumentOutOfRangeException("temp", "Value cannot be less then Celsius.MinValue (absolute zero)");
if (temp > Celsius.MaxValue)
throw new ArgumentOutOfRangeException("temp", "Value cannot be more then Celsius.MaxValue");
m_value = temp;
}
public static implicit operator Celsius(int temp)
{
return new Celsius(temp);
}
public static implicit operator int(Celsius c)
{
return c.m_value;
}
// operators for other numeric types...
public override string ToString()
{
return m_value.ToString();
}
// override Equals, HashCode, etc...
}
Тесты:
[TestClass]
public class TestCelsius
{
[TestMethod]
public void QuickTest()
{
Celsius c = 41;
Celsius c2 = c;
int temp = c2;
Assert.AreEqual(41, temp);
Assert.AreEqual("41", c.ToString());
}
[TestMethod]
public void OutOfRangeTest()
{
try
{
Celsius c = -300;
Assert.Fail("Should not be able to assign -300");
}
catch (ArgumentOutOfRangeException)
{
// pass
}
catch (Exception)
{
Assert.Fail("Threw wrong exception");
}
}
}
Вопросы:
- Есть ли способ сделать MinValue/MaxValue const вместо readonly? Глядя на BCL, мне нравится, как определение метаданных int четко указывает MaxValue и MinValue как константы времени компиляции. Как я могу имитировать это? Я не вижу способ создать объект Celsius, не вызывая конструктор или не раскрывая детали реализации, которые Celsius хранит int.
- Не хватает ли каких-либо функций юзабилити?
- Есть ли лучший шаблон для создания настраиваемого типа значения одного поля?