변하기 쉬운 세계 상태는 여러 가지 이유로 악하다 :

• 변경 가능한 전역 상태의 버그 -많은 까다로운 버그는 변경 가능성으로 인해 발생합니다. 프로그램의 어느 곳에서나 돌연변이로 인해 발생할 수있는 버그는 더 까다로울 수 있습니다. 정확한 원인을 찾기가 어렵습니다.
• 불량한 테스트 가능성 -변경 가능한 글로벌 상태 인 경우 작성하는 모든 테스트에 대해 상태를 구성해야합니다. 이로 인해 테스트가 더 어려워집니다 (따라서 사람들이 사람들이 할 가능성이 적습니다!). 예를 들어 응용 프로그램 전체 데이터베이스 자격 증명의 경우 한 테스트에서 다른 테스트 데이터베이스와 다른 특정 테스트 데이터베이스에 액세스해야하는 경우에는 어떻게됩니까?
• 비 유연성 -코드의 한 부분에 전역 상태에서 하나의 값이 필요하지만 다른 부분에 다른 값이 필요한 경우 (예 : 트랜잭션 중 임시 값)? 갑자기 손에 리팩토링이 심하게 있습니다
• 함수 불순물 – “순수한”함수 (즉, 결과가 입력 매개 변수에만 의존하고 부작용이없는 함수)는 더 큰 프로그램을 추론하고 구성하기가 훨씬 쉽습니다. 변경 가능한 전역 상태를 읽거나 조작하는 기능은 본질적으로 불완전합니다.
• 코드 이해 -많은 가변 글로벌 변수에 의존하는 코드 동작은 이해하기가 훨씬 어렵습니다. 코드 동작에 대해 추론하기 전에 글로벌 변수와의 가능한 상호 작용 범위를 이해해야합니다. 경우에 따라이 문제는 다루기 어려워 질 수 있습니다.
• 동시성 문제 -변경 가능한 전역 상태는 일반적으로 동시 상황에서 사용될 때 어떤 형태의 잠금이 필요합니다. 이것은 올바르게 작성하기가 어렵고 (버그의 원인이 됨) 코드에 훨씬 더 복잡한 작업을 추가합니다 (유지하기가 어렵고 비용이 많이 듭니다).
• 성능 -동일한 전역 상태에서 여러 스레드가 지속적으로 bash를 수행하면 캐시 경합이 발생하여 시스템 전체의 속도가 느려집니다.

변경 가능한 전역 상태의 대안 :

• 함수 매개 변수 -간과 되기는하지만 전역 상태를 피하는 가장 좋은 방법은 함수를 더 잘 매개 변수화하는 것입니다. 중요한 개념적 질문을 해결하도록 강요합니다.이 기능이 작동하려면 어떤 정보가 필요합니까? “컨텍스트”라는 데이터 구조를 가지고 모든 관련 정보를 마무리하는 일련의 함수로 전달 될 수 있습니다.
• 의존성 주입 -함수 매개 변수와 동일하며 조금 더 일찍 수행되었습니다 (함수 호출이 아닌 객체 구성에서). 의존성이 변경 가능한 객체 인 경우 조심하십시오. 이로 인해 변경 가능한 전역 상태와 동일한 문제가 빠르게 발생할 수 있습니다 …..
• 불변의 글로벌 상태 는 대부분 무해합니다. 사실상 일정합니다. 그러나 이것이 실제로 일정하고 나중에 변경 가능한 전역 상태로 전환하려는 유혹을받지 않도록하십시오!
• 불변의 싱글 톤 -불변의 전역 상태와 거의 동일하지만 필요할 때까지 인스턴스화를 연기 할 수 있다는 점이 다릅니다. 고가의 일회성 사전 계산이 필요한 대규모 고정 데이터 구조에 유용합니다. 가변 싱글 톤은 물론 가변 글로벌 상태와 동등하므로 악의적이다 🙂
• 동적 바인딩 -Common Lisp / Clojure와 같은 일부 언어에서만 사용 가능하지만 다른 스레드에는 영향을 미치지 않는 제어 된 범위 (일반적으로 스레드 로컬 기준) 내에서 값을 효과적으로 바인딩 할 수 있습니다. 현재 실행 스레드 만 영향을 받는다는 것을 알기 때문에 이것은 전역 변수와 동일한 효과를 얻는 “안전한”방법입니다. 예를 들어 독립적 인 트랜잭션을 처리하는 스레드가 여러 개인 경우에 특히 유용합니다.

답변