public protocol PredicateExpression<Output> {
    associatedtype Output   
    func evaluate(_ bindings: PredicateBindings) throws -> Output
}

<aside> 💡 predicate을 구성하는 표현식이 준수해야 하는 요구사항의 명세.

</aside>

해당 프로토콜은 기본 predicate 타입이 매크로에서 expression tree를 형성하기 위해 구현해야 하는 필수 메소드를 명세한다. 해당 메소드를 점진적으로 호출해서 하위 표현식을 순회하며 predicate 자료구조로 변환하는 과정을 tree walking이라고 칭하는데, 위 프로토콜과 유사하게 tree walking을 수행하는 프로토콜을 작성하고, 각 표현식에 익스텐션을 추가해 해당 프로토콜을 채택하면 predicate 매크로로부터 Predicate 타입 이외에 원하는 포맷의 결과값을 얻어낼 수 있다. SQL 쿼리 string, 기타 DB 쿼리 객체 형태를 얻어내고자 하는 경우 유용할 수 있다.

<aside> 💡 tree walking할 표현식에서 변수값(입력값 포함)을 전달받고 사용해야 할 경우, 위 evaluate(_:) 메소드처럼 [PredicateBindings](<https://doldamul.notion.site/PredicateBindings-b00582ac55b54546ae3fc882ae0def33>) 타입을 전파한다. 자세한 설명은 해당 페이지에서.

</aside>

예를 들어, 다음과 같은 프로토콜이 있다고 하자:

protocol ProsePredicateExpression {
    func proseQuery() -> String
}

해당 프로토콜을 채택하는 표현식의 extension 코드를 다음과 같이 작성할 수 있다:

extension PredicateExpressions.Equal: ProsePredicateExpression 
        where LHS: ProsePredicateExpression, RHS: ProsePredicateExpression {
    func proseQuery() -> String {
        return lhs.proseQuery() + " is equal to " + rhs.proseQuery()
    }
}

Predicate 타입에 해당 tree walking 메소드의 최상위 레벨 메소드를 추가한다:

extension Predicate  {
    func proseQuery() -> String? {
        guard let expression = expression as? ProsePredicateExpression else { return nil }
        return expression.proseQuery()
    }
}

더 나아간다면, 해당 유사 프로토콜을 채택하는 커스텀 Predicate 타입을 정의할 수도 있을 것이다. 이렇게 할 경우 지원하지 않는 표현식은 사용될 수 없도록 차단한다는 장점이 있으나, 커스텀 Predicate 타입을 정의하는 방법 및 관련 API까지는 아직 proposal이 올라오지 않았다.

struct ProsePredicate<Input...> {
	let expression: any ProsePredicateExpression<Bool>
	    
	// ...
	    
	func convertToProseQuery() -> String {
		return expression.proseQuery()
	}
}

참고자료

• developer.apple.com: PredicateExpression