[generics] 일반 함수를 명시 적으로 특수화 할 수 없습니다.

다음 코드에 문제가 있습니다.

func generic1<T>(name : String){
}

func generic2<T>(name : String){
     generic1<T>(name)
}

generic1 (이름) 컴파일러 오류에 대한 결과는 “명시 적으로 일반적인 기능을 전문화 할 수 없습니다”

이 오류를 피할 수있는 방법이 있습니까? generic1 함수의 서명을 변경할 수 없으므로 (String)-> Void 여야합니다.



답변

나는 또한이 문제가 있었고 내 사례에 대한 해결 방법을 찾았습니다.

이 기사에서 저자는 동일한 문제가 있습니다.

https://www.iphonelife.com/blog/31369/swift-programming-101-generics-practical-guide

따라서 문제는 컴파일러가 T 유형을 어떻게 든 추론해야한다는 것입니다. 그러나 단순히 generic <type> (params …)을 사용하는 것은 허용되지 않습니다.

일반적으로 컴파일러는 매개 변수 유형을 스캔하여 T 유형을 찾을 수 있습니다. T가 많은 경우에 사용되는 곳이기 때문입니다.

내 경우에는 내 함수의 반환 유형이 T 였기 때문에 조금 달랐습니다. 귀하의 경우에는 함수에서 T를 전혀 사용하지 않은 것 같습니다. 예제 코드를 단순화 한 것 같습니다.

그래서 다음과 같은 기능이 있습니다.

func getProperty<T>( propertyID : String ) -> T

그리고 예를 들어

getProperty<Int>("countProperty")

컴파일러는 나에게 오류를 제공합니다.

일반 함수를 명시 적으로 특수화 할 수 없습니다.

따라서 컴파일러에 T 유형을 추론 할 수있는 또 다른 정보 소스를 제공하려면 반환 값이 저장되는 변수의 유형을 명시 적으로 선언해야합니다.

var value : Int = getProperty("countProperty")

이렇게하면 컴파일러는 T가 정수 여야한다는 것을 알 수 있습니다.

그래서 전반적으로 제네릭 함수를 지정하면 최소한 T를 매개 변수 유형이나 반환 유형에 사용해야한다는 의미라고 생각합니다.


답변

스위프트 5

일반적으로 일반 함수를 정의하는 방법에는 여러 가지가 있습니다. 그러나 , 또는으로 T사용되어야 하는 조건을 기반 parameter으로합니다 return type.

extension UIViewController {
    class func doSomething<T: UIView>() -> T {
        return T()
    }

    class func doSomethingElse<T: UIView>(value: T) {
        // Note: value is a instance of T
    }

    class func doLastThing<T: UIView>(value: T.Type) {
        // Note: value is a MetaType of T
    }
}

그 후에 우리는 부를 T때 제공해야합니다 .

let result = UIViewController.doSomething() as UIImageView // Define `T` by casting, as UIImageView
let result: UILabel = UIViewController.doSomething() // Define `T` with property type, as UILabel
UIViewController.doSomethingElse(value: UIButton()) // Define `T` with parameter type, as UIButton
UIViewController.doLastThing(value: UITextView.self) // Define `T` with parameter type, as UITextView

참고 :

  1. http://austinzheng.com/2015/01/02/swift-generics-pt-1/
  2. https://dispatchswift.com/type-constraints-for-generics-in-swift-d6bf2f0dbbb2


답변

솔루션은 클래스 유형을 매개 변수로 사용합니다 (Java에서와 같이)

컴파일러에게 그가 다루는 유형을 알리려면 클래스를 인수로 전달하십시오.

extension UIViewController {
    func navigate<ControllerType: UIViewController>(_ dump: ControllerType.Type, id: String, before: ((ControllerType) -> Void)?){
        let controller = self.storyboard?.instantiateViewController(withIdentifier: id) as! ControllerType
        before?(controller)
        self.navigationController?.pushViewController(controller, animated: true)
    }
}

전화 :

self.navigate(UserDetailsViewController.self, id: "UserDetailsViewController", before: {
        controller in
        controller.user = self.notification.sender
    })


답변

정적 유형 (매개 변수로 문자열)이 있기 때문에 여기서 제네릭이 필요하지 않지만 제네릭 함수가 다른 함수를 호출하도록하려면 다음을 수행 할 수 있습니다.

일반 방법 사용

func fetchObjectOrCreate<T: NSManagedObject>(type: T.Type) -> T {
    if let existing = fetchExisting(type) {
       return existing
    }
    else {
        return createNew(type)
    }
}

func fetchExisting<T: NSManagedObject>(type: T.Type) -> T {
    let entityName = NSStringFromClass(type)
     // Run query for entiry
}

func createNew<T: NSManagedObject>(type: T.Type) -> T {
     let entityName = NSStringFromClass(type)
     // create entity with name
}

제네릭 클래스 사용 (인스턴스 당 하나의 유형에 대해서만 제네릭을 정의 할 수 있으므로 유연성이 떨어짐)

class Foo<T> {

   func doStuff(text: String) -> T {
      return doOtherStuff(text)
   }

   func doOtherStuff(text: String) -> T {

   }

}

let foo = Foo<Int>()
foo.doStuff("text")


답변

제네릭 함수를 지정할 때 다음과 같이 T 유형의 일부 매개 변수를 지정해야한다고 생각합니다.

func generic1<T>(parameter: T) {
    println("OK")
}

func generic2<T>(parameter: T) {
    generic1(parameter)
}

handle () 메서드를 호출하려면 프로토콜을 작성하고 T에 대한 유형 제약 조건을 지정하여이를 수행 할 수 있습니다.

protocol Example {
    func handle() -> String
}

extension String: Example {
    func handle() -> String {
        return "OK"
    }
}

func generic1<T: Example>(parameter: T) {
    println(parameter.handle())
}

func generic2<T: Example>(parameter: T) {
    generic1(parameter)
}

따라서이 일반 함수를 String으로 호출 할 수 있습니다.

generic2("Some")

그리고 그것은 컴파일됩니다


답변

지금까지 내 개인적인 모범 사례는 @ orkhan-alikhanov의 대답을 사용했습니다. 오늘 SwiftUI를 살펴보고 구현 방법 .modifier()ViewModifier구현 방법을 살펴보면 다른 방법을 찾았습니다 (또는 더 많은 해결 방법입니까?).

두 번째 함수를 struct.

예:

이것이 “일반 기능을 명시 적으로 특수화 할 수 없음”을 제공하는 경우

func generic2<T>(name: String){
     generic1<T>(name)
}

이것은 도움이 될 것입니다. 의 선언을 generic1다음과 같이 래핑합니다 struct.

struct Generic1Struct<T> {
    func generic1(name: String) {## do, whatever it needs with T ##}
}

다음과 같이 호출하십시오.

func generic2<T>(name : String){
     Generic1Struct<T>().generic1(name: name)
}

비고 :

  • 이 오류 메시지가 발생하면 가능한 경우 도움이되는지 모르겠습니다. 나는 이것이 발생했을 때 여러 번 갇혔다는 것을 알고 있습니다. 이 솔루션이 오늘날 오류 메시지가 나타 났을 때 도움이되었음을 알고 있습니다.
  • Swift가 Generics를 처리하는 방식은 여전히 ​​헷갈립니다.
  • 이 예와의 해결 방법 struct이 좋은 예입니다. 여기의 해결 방법은 더 많은 정보가 없지만 컴파일러를 전달합니다. 동일한 정보이지만 다른 결과? 그렇다면 뭔가 잘못되었습니다. 컴파일러 버그 인 경우 수정 될 수 있습니다.


답변

내 일반 클래스 함수와 비슷한 문제가 있습니다 class func retrieveByKey<T: GrandLite>(key: String) -> T?.

let a = retrieveByKey<Categories>(key: "abc")Categories가 GrandLite의 하위 클래스 라고 부를 수 없었 습니다.

let a = Categories.retrieveByKey(key:"abc")Categories가 아닌 GrandLite를 반환했습니다. 일반 함수는 호출하는 클래스를 기반으로 유형을 추론하지 않습니다.

class func retrieveByKey<T: GrandLite>(aType: T, key: String>) -> T?내가 시도했을 때 let a = Categories.retrieveByKey(aType: Categories, key: "abc")Categories.Type이 GrandLite의 하위 클래스 임에도 불구하고 Categories.Type을 GrandLite로 변환 할 수 없다는 오류가 발생했습니다. 하나…

class func retrieveByKey<T: GrandLite>(aType: [T], key: String) -> T? 내가 노력하면 일을 let a = Categories.retrieveByKey(aType: [Categories](), key: "abc")분명히 작동하지 않는 서브 클래스의 명시 적 할당을하지만, 다른 제네릭 형식 (배열)를 사용하여 암시의 할당은 스위프트 3에서 작업을 수행합니다.