Как создать общий класс, который связан с структурами?

Question

Как Swift Language Guide баллов из общих типов может быть сдерживающим фактором для классов или протоколов, как это:

public class MyGenericClass<T:Equatable> { 
    func printEquality(a:T, b:T) { 
     if a == b { 
      print("equal") 
     } else { 
      print("not equal") 
     } 
    } 
} 

Могу ли я каким-то образом ограничить T быть struct?

Мой пример использования - это класс наблюдателя для типов значений, которые должны использоваться только структурами.

В качестве примечания стороны: Я знаю, что есть, например, только для классов, которые реализуются только классами. Это на самом деле не связано, но показывает, что иногда есть особый способ достижения цели.

protocol SomeClassOnlyProtocol: class, SomeInheritedProtocol { 
    // class-only protocol definition goes here 
} 

Answer 1

Вы не можете (начиная с Swift 2.2).

Это просто невозможно. Существует struct версия AnyObject, то есть протокол AnyValue (автоматически реализуется для всех типов значений).

Я сам столкнулся с этой проблемой, и я сожалею, что нет другого решения, кроме как строго соблюдать неофициальный протокол. Вот в надежде, что Swift 3 решит это.

Answer 2

Другой ответ отвечает на это хорошо (то есть: вы не можете (еще?)).

Я думал, что добавлю, что вы можете, однако, имитировать хотя бы поведение этого, используя интроспекцию времени выполнения и неудачные инициализаторы; так что инициализация вашего универсального класса будет успешной только в том случае, если T является структурой (соответствующей Equatable).

public class MyGenericClass<T: Equatable> { 
    var foo: T 

    init?(bar: T) { 
     foo = bar 

     if Mirror(reflecting: foo).displayStyle != .Struct { 
      return nil 
     } 
    } 
} 

struct Foo : Equatable { 
    let foo = 1 
} 
func ==(lhs: Foo, rhs: Foo) -> Bool { return lhs.foo == rhs.foo } 

/* Example */ 
if let _ = MyGenericClass<Int>(bar: 1) { 
    print("Integer") 
} 
if let _ = MyGenericClass<Foo>(bar: Foo()) { 
    print("Foo-Struct") 
} 
// prints only "Foo-Struct" 

Вы могли бы интерпретировать не удались инициализацию, как несоответствие вашего общего T к «только позволяет T быть структурами», и, возможно, использовать опциональное связывание (/ ...), чтобы использовать это с классом наблюдателя на практике.