Swift: протокол `static var foo: Self` и перечисления - PullRequest
Новая
       39

Swift: протокол `static var foo: Self` и перечисления

0 голосов
/ 19 февраля 2019

Упрощенный пример

Взгляните на этот простой протокол 

protocol FooOwner {
    static var foo: Self { get }
}

Я бы хотел, чтобы enum соответствовал указанному протоколу, и, на мой взгляд, это должно работать, так как статическийсинтаксис SomeTypeConformingToFooOwner.foo должен приводить к экземпляру SomeTypeConformingToFooOwner и в случае, когда SomeTypeConformingToFooOwner - это перечисление. 

enum Foo: FooOwner { // Type 'Foo' does not conform to protocol FooOwner
    case foo
}

Обходной путь - это уродливая вещь: 

protocol FooOwner {
    static var fooOwner: Self { get }
}

enum Foo: FooOwner {
    case foo
    static var fooOwner: Foo {
        return Foo.foo
    }
}

Есть ли у вас лучший обходной путь для enum, соответствующего протоколам со статическими переменными?

Реальный вариант использования 

protocol StringConvertibleError: Swift.Error {
    static var invalidCharactersError: Self { get }
}

protocol StringConvertibleErrorOwner {
    associatedtype Error: StringConvertibleError
}

protocol StringConvertible {
    var value: String { get }

    /// Calling this with an invalid String will result in runtime crash.
    init(validated: String)

    init(string value: String) throws

    static func validate(_ string: String) throws -> String
}

// MARK: - Default Implementation Constrained
extension StringConvertible where Self: CharacterSetSpecifying, Self: StringConvertibleErrorOwner {
    static func validate(_ string: String) throws -> String {
        guard Self.allowedCharacters.isSuperset(of: CharacterSet(charactersIn: string)) else {
            throw Error.invalidCharactersError
        }
        // Valid
        return string
    }
}

struct HexString: StringConvertible, CharacterSetSpecifying, StringConvertibleErrorOwner {

    static var allowedCharacters = CharacterSet.hexadecimal

    let value: String

    init(validated unvalidated: String) {
        do {
            self.value = try HexString.validate(unvalidated)
        } catch {
            fatalError("Passed unvalid string, error: \(error)")
        }
    }
}

extension HexString {
    enum Error: StringConvertibleError {
        static var invalidCharactersError: Error {
            return Error.invalidCharacters
        }

        case invalidCharacters
    }
}

Так что это последняя часть, которую я хотел бы изменить на: 

extension HexString {
    enum Error: StringConvertibleError {
        case invalidCharacters
    }
}

Поскольку у меня много типов, аналогичных HexString.

Да, конечно, я могу использовать одно общее перечисление Error, но мне хотелось бы иметь одно конкретное перечисление для каждого типа.

...