Java의 리히터 대체 원리 소개

이 글은 주로 리히터의 치환 원리 관련 정보를 자세히 소개하고 있으며, 관심 있는 친구들이 참고할 수 있습니다.

리히터의 치환 원리에 대해 이야기해 보겠습니다.

정의 1: T1 유형의 모든 객체 o1에 대해 T2 유형의 객체 o2가 있으므로 T1으로 정의된 모든 프로그램 P는 모든 객체 o1이 o2로 대체될 때 프로그램 P를 갖게 됩니다. 동작상 T2 유형은 T1 유형의 하위 유형입니다.

정의 2: 기본 클래스를 참조하는 모든 장소는 해당 하위 클래스의 개체를 투명하게 사용할 수 있어야 합니다.

문제의 원인: 클래스 A가 완성한 P1 함수가 있습니다. 이제 함수 P1을 확장해야 하며 확장된 함수는 P입니다. 여기서 P는 원래 함수 P1과 새 함수 P2로 구성됩니다. 새로운 기능 P는 카테고리 A의 하위 카테고리 B에 의해 구현됩니다. 하위 카테고리 B는 새로운 기능 P2를 완성하는 동안 원래 기능 P1이 오작동할 수 있습니다.

해결책: 상속을 사용할 때는 Liskov 대체 원칙을 따르세요. 클래스 B가 클래스 A를 상속하는 경우 새 함수 P2를 완성하기 위해 새 메서드를 추가하는 것을 제외하고는 부모 클래스 A의 메서드를 재정의하지 말고 부모 클래스 A의 메서드를 오버로드하지 않도록 노력하십시오. ㅋㅋㅋ 다음과 함께 상속 의미: 상위 클래스에서 구현된 모든 메서드(추상 메서드와 반대)는 실제로 일련의 사양과 계약을 설정하지만 모든 하위 클래스에 필수는 아닙니다. 그러나 하위 클래스가 이러한 비추상 메서드를 임의로 수정하면 전체 상속 시스템에 손상을 줄 수 있습니다. Liskov 대체 원리는 이러한 의미를 표현합니다. ㅋㅋㅋ                                                                                              객체지향의 세 가지 주요 특징 중 하나인 상속은 프로그래밍에 큰 편리함을 가져다주지만 단점. 예를 들어, 상속을 사용하면 프로그램에 대한 침입이 발생하고 프로그램의 이식성이 감소하며 객체 간의 결합이 증가합니다. 클래스가 다른 클래스에 상속된 경우 이 클래스를 수정해야 할 때 모든 하위 클래스를 고려해야 합니다. . 클래스이며 상위 클래스가 수정된 후에는 하위 클래스와 관련된 모든 기능이 제대로 작동하지 않을 수 있습니다.

상속 위험의 예를 들기 위해서는 클래스 A에서 처리하는 두 숫자를 빼는 함수를 완성해야 합니다.

class A{ 
 public int func1(int a, int b){ 
  return a-b; 
 } 
} 

public class Client{ 
 public static void main(String[] args){ 
  A a = new A(); 
  System.out.println("100-50="+a.func1(100, 50)); 
  System.out.println("100-80="+a.func1(100, 80)); 
 } 
}

실행 결과:

100-50=50

나중에 새로운 기능을 추가해야 합니다. 두 숫자의 추가를 완료한 다음 추가합니다. 100까지, 클래스 B가 담당합니다. 즉, 클래스 B는 두 가지 기능을 완료해야 합니다.

두 숫자를 더한 다음 100을 더하세요.

클래스 A가 이미 첫 번째 기능을 구현했기 때문에 클래스 B가 클래스 A를 상속한 후에는 두 번째 기능만 완료하면 됩니다. 코드는 다음과 같습니다.

class B extends A{ 
 public int func1(int a, int b){ 

  return a+b; 
 } 
  
 public int func2(int a, int b){ 
  return func1(a,b)+100; 
 } 
} 
 
public class Client{ 
 public static void main(String[] args){ 
  B b = new B(); 
  System.out.println("100-50="+b.func1(100, 50)); 
  System.out.println("100-80="+b.func1(100, 80)); 
  System.out.println("100+20+100="+b.func2(100, 20)); 
 } 
}

클래스 B가 완료된 후, 실행 결과:

100-50=150

100+20+100=220

원래 정상적으로 실행되던 뺄셈 함수에서 오류가 발생한 것을 발견했습니다. 그 이유는 클래스 B가 메서드 이름을 지을 때 실수로 부모 클래스의 메서드를 다시 작성하게 되어 빼기 함수를 실행하는 모든 코드가 클래스 B의 다시 작성된 메서드를 호출하게 되어 원래 정상적으로 실행되던 함수에 오류가 발생하기 때문입니다. 이 예에서는 기본 클래스 A가 완성한 함수를 참조하고 이를 하위 클래스 B로 대체한 후 예외가 발생했습니다. 실제 프로그래밍에서는 부모 클래스 메소드를 다시 작성하여 새로운 기능을 완성하는 경우가 많습니다. 작성하기는 쉽지만 전체 상속 시스템의 재사용성은 상대적으로 낮습니다. 특히 다형성을 자주 사용하는 경우 프로그램 실행 오류가 발생할 가능성이 높습니다. 매우 높습니다. 부모 클래스의 메서드를 다시 작성해야 하는 경우 더 일반적인 접근 방식은 원래 부모 클래스와 하위 클래스가 모두 더 널리 사용되는 기본 클래스를 상속하고 원래 상속 관계를 제거하고 대신 종속성, 집계, 조합 및 기타 관계를 사용하는 것입니다. 대체 원칙의 측면에서 Syli는 다음과 같습니다. 하위 클래스는 상위 클래스의 기능을 확장할 수 있지만 상위 클래스의 원래 기능을 변경할 수는 없습니다.
다음 4가지 의미 수준을 포함합니다.

하위 클래스는 상위 클래스의 추상 메서드를 구현할 수 있지만 상위 클래스의 비추상 메서드를 재정의할 수는 없습니다.

서브클래스에 고유한 메서드를 추가할 수 있습니다.

하위 클래스의 메서드가 상위 클래스의 메서드를 재정의하는 경우 메서드의 전제 조건(즉, 메서드의 형식 매개 변수)은 상위 클래스 메서드의 입력 매개 변수보다 느슨합니다.
하위 클래스의 메서드가 상위 클래스의 추상 메서드를 구현할 때 메서드의 사후 조건(즉, 메서드의 반환 값)은 상위 클래스의 사후 조건보다 더 엄격합니다.
• 우리 프로그래밍에서 Liskov 대체 원칙을 자주 위반하는 것을 발견하기 때문에 믿을 수 없을 것 같지만 프로그램은 여전히 ​​잘 실행됩니다. 그래서 모든 사람은 이 질문을 할 것입니다. 내가 Liskov 대체 원칙을 따르지 않는다고 주장하면 결과는 어떻게 될까요?

결과는 다음과 같습니다.
• 작성한 코드에 문제가 발생할 확률이 크게 높아집니다.

  
  

위 내용은 Java의 리히터 대체 원리 소개의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!