Swift - взять Nil в качестве аргумента в общей функции с необязательным аргументом

Я считаю, что вы слишком усложнили проблему, потребовав возможность передавать нетипизированный nil (которого на самом деле не существует; даже nil имеет тип). Хотя подход в вашем ответе, кажется, работает, он позволяет создавать типы ?? из-за необязательного продвижения. Вам часто везет, и это работает, но я видел, как это взрывалось очень разочаровывающим образом, и вызывалась неправильная функция. Проблема в том, что String можно неявно повысить до String?, а String? можно неявно повысить до String??. Когда ?? проявляется неявно, почти всегда следует путаница.

Как указывает MartinR, ваш подход не очень интуитивен в отношении того, какая версия вызывается. UnsafePointer тоже NilLiteralConvertible. Так что сложно рассуждать о том, какая функция будет вызываться. «Сложно рассуждать» делает его вероятным источником запутанных ошибок.

Единственный раз, когда ваша проблема существует, это когда вы передаете литерал nil. Как отмечает @Valentin, если вы передаете переменную, которая оказывается be nil, проблем нет; вам не нужен особый случай. Зачем заставлять вызывающую сторону передавать нетипизированный nil? Просто пусть вызывающий ничего не передает.

Я предполагаю, что somethingGeneric делает что-то действительно интересное в случае передачи nil. Если это не так; если код, который вы показываете, указывает на реальную функцию (т. е. все завершается проверкой if (input != nil)), то это не проблема. Только не звони somethingGeneric(nil); это доказуемый отказ от операции. Просто удалите строку кода. Но я предполагаю, что есть какая-то "другая работа".

func somethingGeneric<T>(input: T?) {
    somethingGeneric() // Call the base form
    if (input != nil) {
        print(input!);
    }
}

func somethingGeneric() {
   // Things you do either way
}

somethingGeneric("Hello, World!") // Hello, World!
somethingGeneric() // Nothing

Я предполагаю, что компилятор не может понять, что такое T только из nil.

Например, следующее работает отлично:

somethingGeneric(Optional<String>.None)

Хороший вопрос и ответ. У меня есть обновление Swift 4, которое я могу внести:

var str: String? = "Hello, playground"
var list: Array<String>? = ["Hello", "Coder256"]

func somethingGeneric<T>(_ input: T?) {
  if (input != nil) {
    print(input!);
  }
}

func somethingGeneric(_ input: ExpressibleByNilLiteral?) {}


somethingGeneric("Hello, World!")    // Hello, World!
somethingGeneric(nil)                // *nothing printed*
somethingGeneric(nil as String?)     // *nothing printed*
somethingGeneric(str)                // Hello, playground
str = nil
somethingGeneric(str)                // *nothing printed*
somethingGeneric(list)               // ["Hello", "Coder256"]
list = nil
somethingGeneric(list)               // *nothing printed*

Я понял:

func somethingGeneric<T>(input: T?) {
    if (input != nil) {
        print(input!);
    }
}

func somethingGeneric(input: NilLiteralConvertible?) {}


somethingGeneric("Hello, World!") // Hello, World!
somethingGeneric(nil) // *nothing printed*
somethingGeneric(nil as String?) // *nothing printed*

Я думаю, что вы никогда не будете вызывать somethingGeneric(nil), а в основном somethingGeneric(value) или somethingGeneric(function()), для которых у компилятора достаточно информации, чтобы не застревать, пытаясь угадать тип:

func somethingGeneric<T>(input: T?) {
    if let input = input {
        print(input);
    }
}

func neverString() -> String? {
    return nil
}

let a: String? = nil

somethingGeneric("Hello, World!") // Hello, World!
somethingGeneric(a) // Nothing and no error
somethingGeneric(neverString()) // Nothing and no error

Кроме того, я бы использовал синтаксис if let вместо if(value != nil).

Вот решение, которое я придумал, которое компилируется на Swift 5, так как многие решения здесь не скомпилировались для меня. Это может считаться хакерским, поскольку я использую хранимую переменную, чтобы помочь делу. Мне не удалось придумать версию параметров nil для Swift 5, которые разрешают тип T.

class MyClass {
    func somethingGeneric<T>(input: T?) {
        if let input = input {
            print(input)
        }
    }

    func somethingGeneric() {
        somethingGeneric(Object.Nil)
    }

}

final class Object {
    static var Nil: Object? //this should never be set
}