Функции, определенные после расширения протокола?

Question

Когда я смотрел 2 WWDC 2015 лекции, они отметили следующий код:

func == (lhs: Polygon, rhs: Polygon) -> Bool { 
    return lhs.corners == rhs.corners 
} 
extension Polygon : Equatable {} 
func == (lhs: Circle, rhs: Circle) -> Bool { 
    return lhs.center == rhs.center 
    && lhs.radius == rhs.radius 
} 
extension Circle : Equatable {} 

не Должен equatable объявления функций идет внутри расширений? Прямо сейчас, они снаружи и существуют где? Другими словами, разве это не должно выглядеть так?

extension Polygon : Equatable { 
    func == (lhs: Polygon, rhs: Polygon) -> Bool { 
     return lhs.corners == rhs.corners 
    } 
} 

extension Circle : Equatable { 
    func == (lhs: Circle, rhs: Circle) -> Bool { 
     return lhs.center == rhs.center 
     && lhs.radius == rhs.radius 
    } 
} 

Answer 1

Две проблемы, когда вы пытаетесь второй вариант:

1. Операторы позволяют только в глобальном масштабе
2. Расширение не отвечает требованиям к Equatable из 1.

В другом слова. Нет, вы не можете сделать это в зависимости от объема декларации оператора.

Answer 2

Нет. Операторские функции всегда находятся в глобальном пространстве, а не внутри класса или расширения.