답변.

질문의 역사

스위프트는 전통적으로 구문 청결성에 큰 중점을 두며 사용자 정의 연산자(연산자 오버로딩)를 생성할 수 있게 해주고, 새로운 기호와 심지어 키워드를 포함하여 DSL의 가능성을 확장하고 코드를 매우 표현력 있게 만듭니다.

문제

연산자를 선언하는 원칙을 이해하지 않으면 모호하고 읽기 어렵고 유지보수하기 힘든 코드가 생성될 수 있습니다. 잘못 선택된 우선순위 또는 결합성은 예기치 않은 결과를 초래할 수 있습니다. 컴파일러는 제한을 명시하지 않으면 매우 "위험한" 표현을 생성하는 것을 허용합니다.

해결책

새로운 infix, prefix, postfix 연산자를 선언하고 그들의 우선순위 및 적용 범위를 지정할 수 있습니다. 예:

infix operator ~> : AdditionPrecedence

func ~> (lhs: Int, rhs: Int) -> Int {
    return lhs * 10 + rhs
}

let x = 2 ~> 3 // 23

사용자 정의 우선 순위의 경우에는 다음을 선언해야 합니다:

precedencegroup MyPrecedence {
    associativity: left
    higherThan: AdditionPrecedence
}

infix operator *** : MyPrecedence

주요 특징:

모든 것은 파일 수준에서 (전역적으로) 선언됩니다.
우선 순위, 결합성 및 방향성을 세밀하게 조정할 수 있습니다.
의식적으로 사용해야 합니다! 프로덕션 코드에서 사용자 정의 연산자를 남용하는 것은 나쁩니다.

딜레마 질문.

연산자와 해당 함수 둘 다 구현하는 것이 필수인가요?

네, 연산자를 선언했다면 해당 함수를 구현해야 합니다 — 그렇지 않으면 컴파일 오류가 발생합니다. 함수는 연산자와 서명이 일치해야 합니다.

precedencegroup을 올바르게 선택하는 방법과 그룹이 계산 순서에 미치는 영향은 무엇인가요?

precedencegroup은 infix 연산자의 계산 우선순위와 결합성을 설정합니다. 잘못된 그룹 선택은 여러 연산자가 포함된 표현에서 예기치 않은 결과를 초래할 수 있습니다 (예: 곱셈/덧셈과 사용자 정의 연산자).

텍스트 이름으로 사용자 정의 연산자를 선언할 수 있나요?

아니요, 사용자 정의 연산자는 Swift 구문으로 정의된 특별한 기호나 서열을 통해서만 접근할 수 있습니다. 텍스트 표준 이름은 연산자로 선언하는 것이 허용되지 않습니다.

일반적인 오류 및 안티 패턴

평범한 작업에 사용자 정의 연산자를 사용하는 것, 함수가 더 읽기 쉽습니다.
명확하지 않은 동작을 가진 연산자를 정의하는 것.
precedencegroup 선언을 소홀히 하는 것 (예측 불가능한 동작으로 이어짐).
모든 글꼴/IDE에서 지원되지 않는 유니코드 기호를 복사하는 것.

실제 예시

부정적인 케이스

프로젝트에서 이해할 수 없는 수집 변환을 위해 <<<와 >>> 연산자를 선언했으며, 우선순위, 결합성 및 문서화가 없습니다. 새로운 직원들은 그들이 무엇을 하고 있으며, 표현이 어떤 순서로 계산되는지 이해하지 못했습니다.

장점:

간단한 구문

단점:

코드의 지원성과 가독성 감소
복잡한 표현에서의 우선순위 오류

긍정적인 케이스

프로젝트에서 선언적 체인 가능 파이프라인 구성을 위해 명확한 우선순위 및 문서화된 구현을 가진 사용자 정의 연산자 =>를 사용했습니다. 모든 개발자는 자신이 무엇을 하고 있는지, 어떻게 사용되는지를 이해했습니다.