[Из песочницы] Разработка формы на React. Принципы KISS, YAGNI, DRY на практике

Здавствуйте, в этом туториале мы рассмотрим как разработать очень простую, но контролируемую форму в React, сфокусировавшись на качестве кода.

При разработке нашей формы мы будем следовать принципам «KISS», «YAGNI», «DRY». Для успешного прохождения данного туториала вам не нужно знать этих принципов, я буду объяснять их по ходу дела. Однако, я полагаю, что вы хорошо владеете современным javascript и умеете мыслить на React.


Структура туториала:



За дело! Пишем простую форму, используя KISS и YAGNI


Итак, представим, что у нас есть задание реализовать форму авторизации:

Код для копирования
const logInData = {
  nickname: 'Vasya',
  email: 'pupkin@gmail.com',
  password: 'Reac5$$$',
};


um1uvmjncpnlgaabmaui6rscw0s.png

Начнем нашу разработку с анализа принципов KISS и YAGNI, временно забывая об остальных принципах.

KISS — «Оставьте код простым и тупым». Думаю, с понятием простого кода вы знакомы. Но что значит «тупой» код? В моем понимании, это код, который решает задачу, используя минимальное количество абстракций, при этом вложенность этих абстракций друг в друга также минимальна.

YAGNI — «Вам это не понадобится». Код должен уметь делать только то, для чего он написан. Мы не создаем никакой функционал, который может понадобиться потом или который делает приложение лучше на наш взгляд. Делаем только то, что нужно конкретно для реализации поставленной задачи.

Давайте будем строго следовать этим принципам, но также учтем:

  • initialData и onSubmit для LogInForm приходит с верху (это полезный прием, особенно когда форма должна уметь обрабатывать create и update одновременно)
  • должна иметь для каждого поля label


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

Пожалуйста, реализуйте форму самостоятельно, следуя принципам, описанным выше.

Моя реализация формы
Код для копирования
const LogInForm = ({ initialData, onSubmit }) => {
  const [logInData, setLogInData] = useState(initialData);

  const handleSubmit = e => {
    e.preventDefault();
    onSubmit(logInData);
  };

  return (
    
); };


kvi6l0hduiubopcittxuxczjqby.png


Ваше решение, скорее всего, чем-то отличается, ведь каждый разработчик мыслит по-своему. Вы можете создать для каждого поля свое состояние или выносить функции-обработчики в отдельную переменную, в любом случае это не важно.

Но если вы сразу создали одну функцию-обработчик для всех полей, то это уже не является «тупейшим» решением задачи. А наша цель на этом этапе — создать максимально простой и «тупой» код, чтобы потом посмотреть на всю картинку и выделить самые лучше абстракции.

Если у вас получился точно такой же код, это круто и означает, что наше с вами мышление сходится!

Далее мы будем работать с этим кодом. Он прост, но пока далек от идеала.


Рефакторинг и DRY


Пришло время разобраться с принципом DRY.

DRY, упрощенная формулировка — «не дублируйте свой код». Принцип кажется простым, но в нем есть подвох: для избавления от дублирования кода нужно создавать абстракции. Если эти абстракции будут недостаточно хороши, мы нарушим принцип KISS.

Также важно понимать, что DRY нужен не для того, чтобы писать код быстрее. Его задача — упростить чтение и поддержку нашего решения. Поэтому не спешите создавать абстракции сразу. Лучше сделать простую реализацию какой-то части кода, а потом проанализировать, какие абстракции нужно создать, чтобы упростить чтение кода и уменьшить количество мест для изменений, когда они понадобятся.

Чеклист правильной абстракции:

  • имя абстракции полностью соответствует ее назначению
  • абстракция выполняет конкретную, понятную задачу
  • чтение кода, из которого была выделена абстракция, улучшилось


Итак, давайте приступим к рефакторингу.

А у нас есть ярко выраженный дублирующийся код:

Код для копирования
  
  


slu51tnyjsk5ki1kowgso6qx5mk.png

В данном коде дублируется композиция из 2-х элементов: label, input. Давайте объеденим их в новую абстракцию InputField:

Код для копирования
  
  


ffwij5ors822a6fu8n7_ciuwe3w.png

Теперь наш LogInForm выглядит так:

Код для копирования
const LogInForm = ({ initialData, onSubmit }) => {
  const [logInData, setLogInData] = useState(initialData);

  const handleSubmit = e => {
    e.preventDefault();
    onSubmit(logInData);
  };

  return (
    
setLogInData({ ...logInData, nickname: e.target.value })} /> setLogInData({ ...logInData, email: e.target.value })} /> setLogInData({ ...logInData, password: e.target.value })} /> ); };


nsahyidxew9tz3tqub5mcz09184.png

Читать стало проще. Имя абстракции соответсвует задаче, которую она решает. Цель компонента очевидна. Кода стало меньше. Значит мы идем в правильном направлении!

Сейчас видно, что в InputField.onChange дублируется логика.

То, что там происходит, можно разбить на 2 этапа:

Код для копирования
const stage1 = e => e.target.value;
const stage2 = password => setLogInData({ ...logInData, password });


n-_odqnut4_5zg9-48xvusajjlg.png

Первая функция описывает детали получения значения с события input. У нас есть на выбор 2 абстракции, в которых мы можем хранить эту логику: InputField и LogInForm.

Для того, чтобы наверняка правильно определиться к какой из абстракций нам нужно отнести свой код, придется обратиться к полной формулировке принципа DRY: «Каждая часть знания должна иметь единственное, непротиворечивое и авторитетное представление в рамках системы».

Частью знания в конкретном примере является знание о том, как получать значение из события в input. Если мы будем это знание хранить в нашем LogInForm, то очевидно, что при использовании нашего InputField в другой форме, нам придется продублировать наше знание, либо вынести его в одельную абстракцию и использовать ее оттуда. А исходя из принципа KISS, у нас должно быть минимально возможное количество абстракций. И действительно, зачем нам создавать еще одну абстракцию, если мы можем просто поместить эту логику в наш InputField, и внешний код не будет знать ничего о том, как работает input внутри самого InputField. Он будет просто принимать готовое значение, такое же, как передает внутрь.

Если вас смущает, что вам в будущем может понадобиться событие, вспомните о принципе YAGNI. Всегда можно будет добавить дополнительный prop onChangeEvent в наш компонент InputField.

А до тех пор InputField будет выглядеть так:

Код для копирования
const InputField = ({ label, type, value, onChange }) => (
  
);


czbcbgp-xlbirtjno8_5enjc9lk.png

Таким образом соблюдается однородность типа при вводе и выводе в компонент и скрывается истинная природа происходящего для внешнего кода. Если нам в будущем понадобится другой компонент ui, например, checkbox или select, то в нем мы тоже будем сохранять однородность типа на вводе-выводе.

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

Этот эвристический прием встроен по-умолчанию во многие фреймворки. Например, это основная идея v-model во Vue, который многие любят за его простоту работы с формами.

Вернемся к делу, обновим наш компонент LogInForm в соответсвии с изменениями в InputField:

Код для копирования
const LogInForm = ({ initialData, onSubmit }) => {
  const [logInData, setLogInData] = useState(initialData);

  const handleSubmit = e => {
    e.preventDefault();
    onSubmit(logInData);
  };

  return (
    
setLogInData({ ...logInData, nickname })} /> setLogInData({ ...logInData, email })} /> setLogInData({ ...logInData, password })} /> ); };


6bcqwbfusg_fmw1pqbc8yxhxlsy.png

Это выглядит уже совсем неплохо, но мы можем еще лучше!

Callback, который передается в onChange, всегда делает одно и то же. В нем меняется только ключ: password, email, nickname. Значит, мы можем заменить его на такой вызов функции: handleChange('password').

Давайте реализуем эту функцию:

Код для копирования
  const handleChange = fieldName => fieldValue => {
    setLogInData({
      [fieldName]: fieldValue,
    });
  };


ux03mqpf-cwcrubjp5gorvbjhg4.png

Как видите, функция получает аргумент и соханяет его в замыкании обработчика, а обработчик тут же возвращается во внешний код. Такие функции, которые как бы принимают аргументы по одному за вызов, еще называют каррированными.

Посмотрим на получившийся код:

Код для копирования
  const LogInForm = ({ initialData, onSubmit }) => {
    const [logInData, setLogInData] = useState(initialData);
  
    const handleSubmit = e => {
      e.preventDefault();
      onSubmit(logInData);
    };
  
    const handleChange = fieldName => fieldValue => {
      setLogInData({
        [fieldName]: fieldValue,
      });
    };
  
    return (
      
); }; // InputField.js const InputField = ({ type, label, value, onChange }) => ( );


i4s0efz1nzheidnsidqs1kxzldq.png

Данный код является короткой, лаконичной и в меру декларативной реализацией поставленной задачи. Дальнейшей его рефакторинг в контексте задачи, на мой взгляд, не имеет смысла.


Что еще можно сделать?

Если у вас много форм в проекте, то вы можете вынести рассчет handleChange в отдельный хук useFieldChange:

Код для копирования
  // hooks/useFieldChange.js
  const useFieldChange = setState => fieldName => fieldValue => {
    setState({
      [fieldName]: fieldValue,
    });
  };
  // LogInForm.js
  const handleChange = useFieldChange(setLogInData);


schudddbgu_ievnmql1tzw1vma0.png

Так как это чистая функция (имеется ввиду при первом вызове, потому что возвращает всегда одинаковую функцию), это не обязательно должен быть хук. Но хук смотрится концептуально более правильным и природным решением для React.

Еще можно добавить поддержку callback на месте fieldValue, чтобы полностью повторить поведение обычного setState из React:

Код для копирования
  const isFunc = (val) => typeof val === "function";

  const useFieldChange = setState => fieldName => fieldValue => {
    setState((state) => ({
      [fieldName]: isFunc(fieldValue) ? fieldValue(state[fieldName]) : fieldValue,
    }));
  };


arrxpohc_99l4vczkc76pqgs2w8.png

Пример использования с нашей формой:

Код для копирования
  const LogInForm = ({ initialData, onSubmit }) => {
    const [logInData, setLogInData] = useState(initialData);
    const handleChange = useFieldChange(setLogInData);
  
    const handleSubmit = e => {
      e.preventDefault();
      onSubmit(logInData);
    };
  
    return (
      
); };


zcjx2ypvx6a_p0chssi0pgeiksi.png

Но если в вашем приложении только одна форма, все это делать не нужно! Потому, что это противоречит принципу YAGNI, следуя которому мы не должны делать то, что нам не нужно для решения конкретной задачи. Если у вас только одна форма, то реальной пользы от таких телодвижений мало. Ведь мы сократили код нашего компонента только на 3 строчки, но ввели дополнительную абстракцию, скрыв определенную логику формы, которую лучше держать на поверхности.


О, нет! Не делайте так, пожалуйста!


Давайте рассмотрим типичные ошибки при разработке форм на React.

Формы из замоканных конфигов


Замоканные конфиги — это структуры из данных, такие как webpack.config.js, которые находятся в кодовой базе и рендерятся в формы кодом проекта.

Лучше на примере, посмотрите на этот код:

Код для копирования
  const Form = () => (
    
);


zrhibhdje2h5c1_xjghdzw4kqt4.png

Некоторым может показаться, что здесь дублируется код, ведь мы же вызываем один и тот же компонент InputField, передавая туда одни и те же параметры label, value и onChange. И они начинают за-DRY-ивать собственный код, чтобы избежать мнимого дублирования.

Часто это делают примерно так:

Код для копирования
const fields = [
  {
    name: 'nickname',
    label: 'Enter your nickname',
  },
  {
    name: 'email',
    label: 'Enter your email',
  },
  {
    name: 'password',
    label: 'Enter your password',
  },
];

const Form = () => (
  
{fields.map(({ name, label }) => ( ))} );


uvp5u1lvr9j5iktwd47rjs6hbzq.png

В итоге с 15 строчек кода получаем 14. Браво! Вот это я понимаю DRY. Если у нас здесь будет 100 таких input-ов, то мы получим 500 и 402 строчки соответсвенно.

Но, как результат, мы получили более сложный код, нарушив принцип KISS. Ведь теперь он состоит из 2-х абстракций: fields и алгоритм (да, алгоритм — это тоже абстракция), который превращает его в дерево React-элементов. При чтении этого кода нам придется постоянно прыгать между этими абстракциями.

Но самая большая проблема этого кода — это его поддержка и расширение.
Представьте, что с ним случится, если:

  • добавится еще несколько типов полей с разными возможными свойствами
  • поля рендерятся или не рендерятся на основе ввода других полей
  • некоторые поля требуют какой-то дополнительной обработки при изменении
  • значения в селектах зависит от предыдущих селектов


Этот список можно продолжать долго…

Для реализации этого всегда придется хранить какие-то функции в вашем конфиге, а код, который рендерит конфиг, постепенно превратится в Франкенштейна, принимая кучу разных пропсов и закидывая их по разным компонентам.

Код, который был написан до этого, основанный на композиции компонентов, будет спокойно расширяться, меняться как угодно, при этом не сильно усложняясь благодаря отсутствию промежуточной абстракции — алгоритма, который строит дерево React-элементов из нашего конфига. Этот код не является дублирующимся. Он просто следует определенному шаблону проектирования, поэтому и выглядит «шаблонным».

Бесполезная оптимизация


После появления хуков в React появилась тенденция оборачивают все обработчики и компоненты без разбора в useCallback и memo. Пожалуйста, не делайте этого! Данные хуки предоставлены разработчиками React не потому, что React медленный и все нужно оптимизировать. Они дают пространство для оптимизации вашему приложению в случае, если вы столкнетесь с проблемами производительности. И даже если вы столкнулись с такими проблемами, не нужно оборачивать весь проект в memo и useCallback. Используйте Profiler для выявления проблем и только потом мемоизацию в нужном месте.

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

Давайте рассмотрим код из реального проекта. Сравните, как выглядит функция с использованием useCallback и без него:

Код для копирования
  const applyFilters = useCallback(() => {
    const newSelectedMetrics = Object.keys(selectedMetricsStatus).filter(
      metric => selectedMetricsStatus[metric],
    );
    onApplyFilterClick(newSelectedMetrics);
  }, [selectedMetricsStatus, onApplyFilterClick]);

  const applyFilters = () => {
    const newSelectedMetrics = Object.keys(selectedMetricsStatus).filter(
      metric => selectedMetricsStatus[metric],
    );
    onApplyFilterClick(newSelectedMetrics);
  };


nhiqr1y0yajlgo101b-dytdcq0u.png

Читабельность кода явно выросла после удаления обертки, ведь идеальный код — это его отсутсвие.

Производительность этого кода от использования useCallback не выросла, ведь эта функция используется так:

Код для копирования
  APPLY


wb-7a33k1c2cjctumjl9wqi7ztu.png

Где RightFooterButton — это просто styled.button из styled-components, который обновится очень быстро. А вот потребление памяти нашим приложением увеличиться, потому что React всегда будет держать в памяти selectedMetricsStatus, onApplyFilterClick и версию функции applyFilters, актуальную для этих зависимостей.

Если этих аргументов вам недостаточно, прочитайте статью, в которой эта тема раскрыта шире.


Выводы


  • Формы в React — это просто. Проблемы с ними возникают из-за самих разработчиков и документации React, в которой эта тема раскрыта недостаточно подробно.
  • Для удобной работы с вашими компонентами держите ввод и вывод aka value и onChange одного типа. Это позволит вам использовать хук useFieldChange, описанный выше, и получить чуть более многословный, но не мение мощный аналог v-model из Vue для комфортной работы.
  • При написании кода в первую очередь следуйте принципам KISS и YAGNI. А затем уже DRY, но осторожно, чтобы случайно не создать плохую абстракцию.
  • Избегайте описывания ваших форм с помощью конфигов, если такой подход не навязывает ваш фреймворк или библиотека, ведь там алгоритм по превращению конфигов в React-дерево скрыт за их абстракцией.
  • Всегда избегайте оптимизаций, если в них нет явной необходимости.



P.S.


Изначально я планировал написать о декларативной валидации сложных вложенных форм. Но, в итоге, решил подготовить аудиторию к этому, чтобы картина была максимально полной.
Следующий туториал будет о валидации простой формы, реализованной в этом туториале.
Огромное спасибо всем, кто дочитал до конца!

Не важно, как вы пишите код или чем занимаетесь, главное — получайте от этого удовольствие.

© Habrahabr.ru