LSP는 일부 코드가이 유형의 메소드를 호출 생각하는 경우 필요 T하고, 무의식적 유형의 메소드를 호출 할 수있다 S, S extends T(즉, S상속, 도출에서, 또는 상위 유형의 하위 유형입니다 T).

예를 들어, 이것은 type의 입력 매개 변수를 가진 함수가 type T의 인수 값으로 호출되는 경우에 발생합니다 S. 또는 유형 식별자에 유형 T값이 할당됩니다 S.

val id : T = new S() // id thinks it's a T, but is a S

LSP는 유형의 방법에 대한 기대 (즉, 불변)가 필요합니다 T(예를 들어 Rectangle), 유형의 방법 경우에 위반되지 않습니다 S(예 :가 Square) 대신이라고합니다.

val rect : Rectangle = new Square(5) // thinks it's a Rectangle, but is a Square
val rect2 : Rectangle = rect.setWidth(10) // height is 10, LSP violation

불변의 필드를 가진 유형조차도 불변성을 가지고 있습니다. 예를 들어 불변의 사각형 세터는 치수가 독립적으로 수정 될 것으로 예상하지만 불변의 사각형 세터는 이러한 기대를 위반합니다.

class Rectangle( val width : Int, val height : Int )
{
   def setWidth( w : Int ) = new Rectangle(w, height)
   def setHeight( h : Int ) = new Rectangle(width, h)
}

class Square( val side : Int ) extends Rectangle(side, side)
{
   override def setWidth( s : Int ) = new Square(s)
   override def setHeight( s : Int ) = new Square(s)
}

LSP를 사용하려면 S부속 유형의 각 방법에 공변량 입력 매개 변수와 공변량 출력이 있어야합니다.

분산은 상속의 방향에 반대되는 Contravariant 수단은, 유형, 즉 Si, 서브 타입들 각각에있어서의 각 입력 변수의 S동일 또는이어야 수퍼 타입의 Ti수퍼 타입의 대응에있어서의 대응하는 입력 파라미터 T.

공분산은 분산이 상속의 동일한 방향에 있음을 의미합니다. 즉, So하위 유형의 각 방법 출력의 유형 은 수퍼 유형의 해당 방법의 해당 출력 유형 과 S동일하거나 하위 유형 이어야합니다 .ToT

호출자가 타입을 가지고 T있다고 생각하고 메소드를 호출한다고 생각하면 타입의 T인수를 제공 Ti하고 출력을 타입 에 할당하기 때문이다 To. 실제로의 해당 메소드를 호출하는 S경우 각 Ti입력 인수가 Si입력 매개 변수에 So지정되고 출력이 유형에 지정됩니다 To. 따라서에 Si반 변형이 아닌 경우 Ti하위 유형 Xi이 아닌 하위 유형 을에 Si할당 할 수 있습니다 Ti.

또한 유형 다형성 매개 변수 (예 : 제네릭)에 대한 정의 사이트 분산 주석이있는 언어 (예 : 스칼라 또는 실론)의 경우, 유형의 각 유형 매개 변수에 대한 분산 주석의 동일 또는 반대 방향은 반대 방향이거나 동일한 방향 T이어야합니다. 유형 매개 변수 유형이있는 모든 입력 매개 변수 또는 출력 (의 모든 메소드 중 ) 에 각각T

또한 기능 유형이있는 각 입력 매개 변수 또는 출력에 대해 필요한 분산 방향이 반대입니다. 이 규칙은 재귀 적으로 적용됩니다.

불변량을 열거 할 수있는 경우 서브 타이핑이 적합 합니다.

불변량을 모델링하는 방법에 대한 많은 연구가 진행되어 컴파일러에 의해 시행됩니다.

Typestate (3 페이지 참조)는 type에 직교하는 상태 불변을 선언하고 시행합니다. 또는 어설 션을 유형 으로 변환하여 변형을 적용 할 수 있습니다 . 예를 들어 파일을 닫기 전에 파일이 열려 있다고 확인하기 위해 File.open ()은 File에서 사용할 수없는 close () 메서드가 포함 된 OpenFile 형식을 반환 할 수 있습니다. 틱택 토 API는 컴파일시 불변을 적용 할 입력을 사용하는 또 다른 예가 될 수있다. 타입 시스템은 심지어 튜링 완료 (예 : Scala) 일 수도 있습니다 . 의존적으로 타이핑 된 언어와 정리는 고차 타이핑 모델을 공식화합니다.

확장을 통해 의미론을 추상화 해야 할 필요가 있기 때문에 , 불변량을 모델링하기 위해 타이핑을 사용하는 것, 즉 통합 고차원의 의미 론적 의미론이 Typestate보다 우수 할 것으로 예상합니다. ‘확장’은 조정되지 않은 모듈 식 개발의 무한한 순열 구성을 의미합니다. 통일의 반설이자 자유도 인 것처럼 보이므로 공유 의미론을 표현하기 위해 서로 의존하는 두 가지 모델 (예 : 유형 및 유형 상태)을 갖는 것은 확장 가능한 구성을 위해 서로 통합 할 수 없습니다. . 예를 들어, 서브 타이핑, 함수 오버로딩 및 파라 메트릭 타이핑 도메인에서 Expression Problem 유사 확장이 통합되었습니다.

저의 이론적 입장은 지식이 존재 하기 위해 ( “중앙화는 맹목적이고 부적합합니다”섹션을 참조하십시오), 튜링-완전 컴퓨터 언어로 모든 가능한 불변량을 100 % 적용 할 수있는 일반적인 모델 은 결코 없을 것 입니다. 지식이 존재하기 위해서는 예상치 못한 가능성, 즉 무질서와 엔트로피가 항상 증가해야합니다. 이것은 엔트로피 힘입니다. 잠재적 인 확장의 가능한 모든 계산을 증명하려면 가능한 모든 확장을 우선적으로 계산해야합니다.

이것이 Halting Theorem이 존재하는 이유입니다. 즉 Turing-complete 프로그래밍 언어에서 가능한 모든 프로그램이 종료되는지 여부를 결정할 수 없습니다. 일부 특정 프로그램 (모든 가능성이 정의되고 계산 된 프로그램)이 종료되었음을 증명할 수 있습니다. 그러나 해당 프로그램의 확장 가능성이 완전하지 않은 경우 (예 : 의존형 입력을 통해)가 아니라면 해당 프로그램의 가능한 모든 확장이 종료되었음을 증명할 수 없습니다. Turing-completeness의 기본 요구 사항은 무한 재귀 이므로 Gödel의 불완전 성 이론과 Russell의 역설이 확장에 어떻게 적용되는지 이해하는 것이 직관적입니다.

이 정리에 대한 해석은 엔트로피 힘에 대한 일반화 된 개념 이해에 이들을 통합합니다.

• 고델의 불완전 성 이론 : 모든 산술적 진실이 입증 될 수있는 공식적인 이론은 일관성이 없다.
• Russell의 역설 : 세트를 포함 할 수있는 세트의 모든 멤버십 규칙은 각 멤버의 특정 유형을 열거하거나 자체를 포함합니다. 따라서 세트를 확장 할 수 없거나 무한한 재귀입니다. 예를 들어, 찻 주전자가 아닌 모든 것이 포함됩니다. 따라서 규칙이 집합을 포함하고 특정 유형을 열거하지 않고 (즉, 모든 지정되지 않은 유형을 허용 함) 무제한 확장을 허용하지 않는 경우 규칙이 일치하지 않습니다. 이것은 자신의 구성원이 아닌 세트의 집합입니다. 가능한 모든 확장에 대해 일관되고 완전하게 열거 할 수없는 이러한 고델의 불완전 성 이론은 고델의 불완전 성 이론이다.
• Liskov Substition Principle : 일반적으로 어떤 집합이 다른 집합의 부분 집합인지, 즉 상속이 일반적으로 결정 불가능한지는 결정 불가능한 문제입니다.
• Linsky Referencing : 무언가의 계산이 묘사되거나 인식 될 때, 즉 지각 (실제)이 절대적인 참조 지점을 갖지 않는 것은 무엇인지 계산할 수 없습니다.
• Coase ‘s 정리 : 외부 기준점이 없기 때문에 무한한 외부 가능성에 대한 장벽은 실패합니다.
• 열역학 제 2 법칙 : 전체 우주 (폐쇄 된 시스템, 즉 모든 것)는 최대 장애, 즉 최대 독립 가능성으로 경향이있다.

답변

<?php

interface Database
{
    public function selectQuery(string $sql): array;
}

class SQLiteDatabase implements Database
{
    public function selectQuery(string $sql): array
    {
        // sqlite specific code

        return $result;
    }
}

class MySQLDatabase implements Database
{
    public function selectQuery(string $sql): array
    {
        // mysql specific code

        return $result;
    }
}

<?php

interface Database
{
    public function selectQuery(string $sql): array;
}

class SQLiteDatabase implements Database
{
    public function selectQuery(string $sql): array
    {
        // sqlite specific code

        return $result;
    }
}

class MySQLDatabase implements Database
{
    public function selectQuery(string $sql): array
    {
        // mysql specific code

        return ['result' => $result]; // This violates LSP !
    }
}