«invariants» 태그된 질문

나는 직장 에서 코더를 읽고 있는데 , 거기에는 불변에 대해 많은 이야기가 있습니다. 내가 이해하는 한, 불변은 표현 전후에 유지되는 조건입니다. 논리 코스를 올바르게 기억하면 루프가 올바른지 증명하는 데 유용합니다. 내 설명이 정확합니까, 아니면 무언가를 놓쳤습니까? 당신의 프로그램에서 그것들을 사용한 적이 있습니까? 그렇다면 어떻게 혜택을 얻었습니까?

48 invariants 

이것은 값이 배열에 있는지 확인 하는 가장 보편적 인 방법입니다 . for (int x : array) { if (x == value) return true; } return false; 그러나 Wirth 또는 Dijkstra가 몇 년 전에 읽은 책 에서이 스타일이 더 좋다고 말했습니다 (출구가있는 while 루프와 비교할 때). int i = 0; while …

17 coding-style  search  loops  invariants  structured-programming 

나는 문자 그대로의 '불변'을 이해합니다. 코드를 입력 할 때도 인식합니다. 그러나 나는 컴퓨터 과학의 맥락에서이 용어의 중요성을 이해하지 못한다고 생각합니다. 유명한 프로그래머 \ 컴퓨터 과학자들로부터 언어 디자인에 관한 대화 / 백서를 읽을 때마다 '불변'이라는 용어가 계속 전문 용어로 등장합니다. 그것이 내가 이해하지 못하는 부분입니다. 그것에 대해 특별한 점은 무엇입니까?

16 programming-languages  language-agnostic  invariants 

C ++을 오래 ​​전에 배웠을 때, C ++의 요점 중 하나는 루프에 "루프 불변"이있는 것처럼 클래스에도 객체의 수명과 관련된 불변이 있다는 것입니다. 개체가 살아있는 동안 생성자에 의해 확립되고 메소드에 의해 보존되어야하는 것들. 인 캡슐 레이션 / 액세스 제어는 변하지 않는 것을 적용하는 데 도움이됩니다. RAII는이 아이디어로 할 수있는 일입니다. C …

13 c++  object-oriented-design  c++11  invariants 

나는 불변의 개념이 여러 프로그래밍 패러다임에 존재한다는 것을 알고 있습니다. 예를 들어, 루프 불변량 은 기능 및 절차 적 프로그래밍과 관련이 있습니다. 그러나 OOP에서 발견되는 매우 유용한 종류 중 하나는 특정 유형의 데이터가 변하지 않는 것입니다. 이것이 제목에서 "유형 기반 불변 체"라고 부르는 것입니다. 예를 들어, Fraction유형에 g numerator및 denominatorgcd가 …

9 functional-programming  language-agnostic  paradigms  invariants