По умолчанию init в Swift перечисление игнорируется

Question

Я пытаюсь переопределить Optional в Swift. Я называю это Maybe. У меня есть 2 inits, чтобы создать пустую или нулевую версию и один держит общий тип:

enum Maybe<T>{ 
    case Nothing 
    case Something(T) 

    init(){ 
     self = .Nothing 
    } 

    init(_ something: T){ 
     self = .Something(something) 
    } 

} 

Однако, когда я пытаюсь создать пустой Maybe, то init() инициализатор не называется. Вместо этого другой init(_ something: T) вызывается с T =().

Что происходит? Почему инициализация без параметров игнорируется?

var z = Maybe() // this calls init(_ something: T) with T =() 

Answer 1

Свифт компилятор необходим контекст определить тип T, например

var foo = Maybe<Int>() 
var bar : Maybe<String> = Maybe() 

Та же проблема будет с

let x = Optional() 
switch x { 
case .None: 
    println("None") 
case .Some(let y): 
    println("Some \(y)") 
} 

, который печатает Some() и вызывает предупреждение компилятора

warning: variable 'x' inferred to have type 'Optional<()>', which may be unexpected