일류 함수가 전략 패턴을 대체합니까?


15

전략 디자인 패턴은 종종 부족 언어로 일류 기능을위한 대용품으로 간주됩니다.

예를 들어 기능을 객체에 전달하고 싶다고 가정 해보십시오. Java에서는 원하는 동작을 캡슐화하는 다른 객체를 객체에 전달해야합니다. Ruby와 같은 언어에서는 기능 자체를 익명 함수 형태로 전달하면됩니다.

그러나 나는 그것에 대해 생각하고 있었고 전략은 단순한 익명의 기능보다 더 많은 것을 제공하기로 결정했습니다.

객체가 메소드가 실행되는 기간과 독립적으로 존재하는 상태를 유지할 수 있기 때문입니다. 그러나 익명 함수 자체는 함수 실행이 완료되는 순간 존재하지 않는 상태 만 유지할 수 있습니다.

일류 함수를 지원하는 객체 지향 언어에서 전략 패턴은 함수를 사용하는 것보다 이점이 있습니까?


10
"익명 함수 자체는 함수 실행이 완료되는 순간 존재하지 않는 상태 만 유지할 수 있습니다."
Giorgio

"그러나 익명 함수 자체는 함수 실행이 완료되는 순간 존재하지 않는 상태 만 유지할 수 있습니다." : 최소한 전역 변수와 정적 변수를 잊지 마십시오.
gbjbaanb

답변:


13

언어가 함수에 대한 참조를 지원할 때 ( Java는 버전 8 이후 ) 전략을 대체하는 좋은 대안이 될 수 있습니다. 일반적으로 구문이 적은 동일한 것을 표현하기 때문입니다. 그러나 실제 객체가 유용 할 수있는 경우가 있습니다.

전략 인터페이스에는 여러 가지 방법이있을 수 있습니다. RouteFindingStragegy서로 다른 경로 찾기 알고리즘을 캡슐화 하는 인터페이스 를 예로 들어 봅시다 . 다음과 같은 메소드를 선언 할 수 있습니다.

  • Route findShortestRoute(Node start, Node destination)
  • boolean doesRouteExist(Node start, Node destination)
  • Route[] findAllPossibleRoutes(Node start, Node destination)
  • Route findShortestRouteToClosestDestination(Node start, Node[] destinations)
  • Route findTravelingSalesmanRoute(Node[] stations)

그런 다음 전략으로 모두 구현됩니다. 일부 경로 찾기 알고리즘은 이러한 사용 사례 중 일부에 대한 내부 최적화를 허용 할 수도 있고 그렇지 않을 수도 있으므로 구현자가 이러한 각 메소드를 구현하는 방법을 결정할 수 있습니다.

또 다른 경우는 전략에 내부 상태가있는 경우입니다. 물론 일부 언어에서는 클로저에 내부 상태가있을 수 있지만이 내부 상태가 매우 복잡해지면 클로저를 본격적인 클래스로 승격시키는 것이 더 우아해 지기도합니다.


2
"이 내면의 상태가 매우 복잡해지면, 본격적인 계급으로의 폐쇄를 촉진하는 것이 종종 유용해진다": 왜? 내부 상태가 복잡해지면 클로저 안에 저장된 객체 / 레코드에 넣을 수도 있습니다.
Giorgio

1
@Giorgio 그러나 유지 관리해야 할 두 개의 구문 엔터티-클로저와 내부 상태를 관리하는 클래스가 있습니다. 따라서 클로저를 해당 클래스로 이동하여 코드를 단순화 할 수 있습니다. 이것은 더 좋을 수도 있고 그렇지 않을 수도 있습니다. 정확한 사용 사례, 프로그래밍 언어 및 개인 취향에 따라 다릅니다.
Philipp

나에게 합리적인 견해 인 것 같습니다.
Giorgio

5

익명 함수가 함수 실행이 완료되면 존재하지 않는 상태 만 유지할 수 있다는 것은 사실이 아닙니다.

Common Lisp에서 다음 예제를 보자.

(defun number-strings (ss)
  (let ((counter 0))
    (mapcar #'(lambda (s) (format nil "~a: ~a" (incf counter) s)) ss)))

이 함수는 문자열 목록을 가져 와서 목록의 각 요소 앞에 카운터를 추가합니다. 예를 들어, 호출

(number-strings '("a" "b" "c"))

준다

("1: a" "2: b" "3: c")

이 함수는 number-strings내부적으로 함수를 counter호출 할 때마다 재사용되는 상태 (카운터의 현재 값)를 유지 하는 변수와 함께 익명 함수를 사용합니다 .

일반적으로 클로저는 한 가지 방법으로 만 객체로 생각할 수 있습니다. 또는 객체는 동일한 닫힌 변수를 공유하는 클로저 모음입니다. 따라서 클로저 대신 객체를 사용해야하는 경우가 있는지 확실하지 않습니다. 두 가지가 다른 관점에서 동일한 패턴을 보는 방법이라고 주장합니다.

특히 전략 패턴에는 메소드가 하나만있는 오브젝트가 필요하므로 클로저가 작업을 수행해야합니다. 그러나 필립이 대답에서 관찰 한 바와 같이 상황 (복잡한 상태) 및 프로그래밍 언어에 따라 객체를 사용하여 더 우아한 솔루션을 얻을 수 있습니다.


따라서 퍼스트 클래스 함수를 클로저로 지원하는 언어에서 여전히 '전통적인'전략을 사용 하시겠습니까?
Aviv Cohn

1
나는 필립에 동의하는 경향이있다. 그것은 언어와 개인적 선호에 달려있다. 나는 항상 표기법을 가능한 한 간단하게 만드는 접근법을 선택할 것입니다. 예를 들어 Lisp에서는 상태를 a를 통해 변수 목록으로 let정의한 다음 그 안에 클로저를 정의 할 수 있습니다. 기본적으로 한 가지 방법으로 객체를 즉시 정의했을 것입니다. 다른 언어 (예 : Java)에서는 상태를 유지하기 위해 적절한 객체를 정의하는 것이 더 편리 할 수 ​​있습니다 (구문 적으로 더 간단 할 수 있음). 그래서 나는 경우에 따라 결정합니다.
Giorgio

1

두 디자인이 동일한 문제를 해결할 수 있다고해서 서로를 직접 대체한다는 의미는 아닙니다.

함수형 프로그램에서 상태를 추적해야하는 경우 언어에서 허용하더라도 닫힌 변수를 변경하지 않습니다. 하나의 상태를 인수로 사용하고 새 상태를 반환 값으로 반환하는 함수를 호출 할 수 있습니다.

아키텍처는 매우 다르게 보일 것이지만 동일한 목표를 달성 할 수 있습니다. 한 패러다임의 패턴을 다른 패러다임에 직접 적용하려고하지 마십시오.


"기능적 프로그램에서 상태를 추적해야하는 경우 언어가 허용하는 경우에도 폐쇄 형 변수를 변경하지 않습니다.": 순전히 기능적인 스타일의 팬이며 조언에 동의합니다. 다른 한편으로, 폐쇄는 기능적 구조 일뿐만 아니라 순수하게 기능적이다. 어휘 적 맥락에서 변수를 닫는 아이디어는 참조 투명성 / 불변성과 직교합니다.
Giorgio

죄송하지만 귀하의 주장을 따를 수 없습니다. 순전히 기능적인 프로그래밍에서 상태 처리는 현재의 질문과 어떤 관련이 있습니까?
Philipp

1
요점은 퍼스트 클래스 함수와 같이 기능적 패러다임의 한 부분을 사용하는 경우 패러다임의 다른 부분을 끌어 당겨 원활하게 작동해야하는 경우 놀라지 마십시오.
Karl Bielefeldt

1

전략은 반복되는 특정 문제를 해결하기위한 유용한 방법 인 개념 입니다. 언어 구성이 아니며 구현 형태에 관한 것도 아닙니다 . 클로저를 사용하여 전략을 언젠가 구현하고 다음 날 옵저버를 구현할 수 있습니다.

용어 전략은 간결하게 당신의 의도를 표현하는 다른 프로그래머들과의 대화에서 주로 유용합니다. 마법은 없습니다.


2
질문은 구체적 으로 특정 클래스 구조를 갖는 전략 설계 패턴 을 언급합니다 . 특정 목표를 달성하기위한 행동 계획 으로서 "전략"의 다른 의미는 이 맥락에서 부정확하다.

@Snowman에 동의하는 경향이 있습니다. 전략 패턴 에 대해 이야기하고 있습니까?
Rowan Freeman

1
@ Snownow, 당신이 링크 한 페이지 조차도이 패턴이 어떻게 구현되어야하는지 정확하게 설명하지는 않지만 특정 언어로 예제를 제공하지만 UML 다이어그램에는 C ++ 상속, Java 인터페이스 또는 Ruby 블록을 사용해야한다고 말하는 것은 없습니다 . 그래서 나는 당신의 분석에 친절하게 동의합니다.
idoby
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.