리액트 불변성
불변성이란?
사전적으로 불변성이란 값이나 상태를 변경할 수 없는 것을 의미합니다.
이 의미만 놓고보면, 잘 이해가 되지 않을 수 있습니다. 하지만 프로그래밍에서 불변성의 진짜 의미는
'메모리 영역에서 값이 변하지 않는다' 라는 의미입니다.
왜 리액트에서 불변성을 지켜야하나?
리액트에서 불변성을 지켜주는 이유는 리액트가 상태 업데이트를 하는 원리 때문입니다.
리액트는 상태값을 업데이트 할 때 얕은 비교를 수행합니다.
즉, 배열이나 객체의 속성 하나하나를 비교하는게 아니라, 이전 참조값과 현재 참조값만을 비교하여 상태 변화를 감지합니다. 이런 이유로 배열이나 객체를 업데이트 할 때, setState([...state, newState]) 이런 식으로 새로운 참조값을 가진 배열이나 객체를 생성하는 것입니다.
바로 이 '불변성'을 지킴으로써 리액트는 상태변화를 감지할 수 있습니다.
리액트는 배열이나 객체를 업데이트 할 때, 새로운 참조값을 가진 배열이나 객체를 생성해 상태변화를 감지한다. 새로운 참조값을 가진 배열이나 객체를 생성하므로 원본 데이터의 참조값에 영향을 주지 않기에 불변성을 지킨다는 것이다.
1. 효율적인 상태 업데이트 가능 (얕은 비교 수행)
얕은 비교란 객체의 프로퍼티를 하나하나 다 비교하지 않고, 객체의 참조 주소값만 변경되었는지 확인합니다. 얕은 비교는 계산 리소스를 줄여주기 때문에 리액트는 효율적으로 상태를 업데이트 할 수 있습니다.
2. 사이드 이펙트 방지 및 프로그래밍 구조의 단순성
원시타입은 애시당초 불변성 특징을 가지고 있지만 참조타입인 객체나 배열의 경우 값을 변경할 때 원본데이터가 변경될 여지가 있습니다. (불변성이 지켜지지 않을 수 있습니다.) 이렇게 원본 데이터가 변경될 경우, 이 원본데이터를 참조하고 있는 다른 객체에서 예상치 못한 오류가 발생할 수 있습니다.
프로그래밍의 복잡도도 올라갑니다. 따라서 불변성을 지켜주면 사이드 이펙트를 방지하고 프로그래밍의 구조를 단순하게 유지할 수 있습니다.
어떻게 불변성을 지키는가?
spread operator, map, filer, slice, reduce 등 새로운 배열을 반환하는 메소드들을 활용하면 됩니다.
- splice는 원본데이터를 변경함
setState를 이용할 때 원시타입 경우에는 값을 바로 넣어주어도 되지만, 참조타입인 경우에는 새로운 객체나 배열을 생성한 후 값을 넣어주어야 합니다.
// 원시타입
const [number, setNumber] = userState(0);
setState(3);
// 참조타입
const [person, setPerson] = useState({name: '', age: 26})
setState({...person, name: 'kim'})
정리
-
불변성이란 메모리 영역의 값을 변경할 수 없는 것이다.
-
리액트는 불변성을 지켜줌으로써 효율적인 상태 업데이트를 한다.
-
리액트는 불변성을 지켜줌으로써 사이드 이펙트를 사전 방지하고 프로그래밍의 구조를 단순하게 유지한다.
-
불변성을 가진 원시타입과 달리 참조타입의 경우에는 의도적으로 불변성을 지켜주어야 한다. 이 때 새로운 주소 값을 가진 객체를 생성하여 상태를 업데이트 해준다.
-
spread operator, map, filter, slice, reduce 메소드들을 활용한다.
ref.
