Swift: использование `var` приводит к предупреждению компилятора, использование` let` приводит к ошибкам компилятора? - PullRequest
0 голосов
/ 03 февраля 2019

Я определил протокол CanStack со связанным типом с именем Item:

CanStack.swift

// protocol definition
protocol CanStack: 
  ExpressibleByArrayLiteral, CustomStringConvertible
{
  associatedtype Item
  var items:[Item] { get }
  init()
  mutating func push(_ items: [Item])
  mutating func pop() -> Item?
}

// protocol extension (default behavior)
extension CanStack {

  public var isEmpty: Bool { return items.isEmpty }

  // init by array
  public init(_ items:[Item]) {
    self.init()
    self.push(items)
  }

  // init by variadic parameter
  public init(_ items:Item...){
    self.init()
    self.push(items)
  }

  // push items by variadic parameter
  public mutating func push(_ items:Item...){
    self.push(items)
  }

}

// conform to ExpressibleByArrayLiteral 
extension CanStack {
  public init(arrayLiteral items:Item...){
    self.init()
    self.push(items)
  }
}

// conform to CustomStringConvertible
extension CanStack {
  public var description: String {
    return "["
      + items.map{"\($0)"}.joined(separator:", ")
      + " ⇄ in/out"
  }
}

и определил структуру StackStruct, соответствующую этому протоколу,эта универсальная структура имеет параметр типа Item (точно такое же имя, что и у ассоциированного типа выше):

StackStruct.swift

public struct StackStruct<Item> {

    public private(set) var items = [Item]()
    public init() { }

    mutating public func push(_ items:[Item]) {
        self.items += items
    }

    @discardableResult
    mutating public func pop() -> Item? {
        return items.popLast()
    }

}

// adopt CanStack protocol
extension StackStruct: CanStack { }

, а затем я определил другой класс Stack confomingк протоколу тоже:

Stack.swift

public class Stack<Item> {

    public private(set) var items = [Item]()
    public required init() {}

    public func push(_ newItems:[Item]) {
        items += newItems
    }

    @discardableResult
    public func pop() -> Item? {
        return items.popLast()
    }

}

// adopt CanStack protocol
extension Stack: CanStack { }

, и у меня есть 3 теста:

TestCases.swift


func testStackStruct() {
    // init
    var s1: StackStruct = [1,2,3] // expressible by array literal
    var s2 = StackStruct([4,5,6]) // init by array
    var s3 = StackStruct(7, 8, 9) // init by variadic parameter

    // push
    s1.push([4,5])    // array
    s2.push(10, 11)   // variadic
    s3.push(20)       // variadic

    // pop
    for _ in 1...4 { s1.pop() }
    s2.pop()
    s3.pop()

    // print these stacks
    example("stack struct", items:[s1,s2,s3])
}

func testStackClass_Var() {
    // init
    var s4: Stack = [1,2,3] // ⚠️ warning: s4 was never mutated; consider changing to let ...
    var s5 = Stack([4,5,6]) // init by array
    var s6 = Stack(7, 8, 9) // init by variadic parameter

    // push
    s4.push([4,5])    // array
    s5.push(10, 11)   // variadic
    s6.push(20)       // variadic

    // pop
    for _ in 1...4 { s4.pop() }

    // print these stacks
    example("stack class", items: [s4,s5,s6])
}

func testStackClass_Let() {
    // init
    let s7: Stack = [1,2,3] // expressible by array literal
    let s8 = Stack([4,5,6]) // init by array
    let s9 = Stack(7, 8, 9) // init by variadic parameter

    // push
    s7.push([4,5])    // array
    s8.push(10, 11)   // ⛔ Error: Extra argument in call
    s9.push(20)       // ⛔ Error: Cannot convert value of type 'Int' to expected argument type '[Int]'

    // pop
    for _ in 1...4 { s7.pop() }

    // print these stacks
    example("stack class", items: [s7,s8,s9])
}

и яможет без проблем запустить первый тестовый случай testStackStruct():

вывод testStackStruct()

[1 ⇄ in/out
[4, 5, 6, 10 ⇄ in/out
[7, 8, 9 ⇄ in/out

и запустить случай testStackClass_Var() только с предупреждением компилятора:

⚠️ warning: s4 was never mutated; consider changing to let ...

вывод testStackClass_Var()

[1 ⇄ in/out
[4, 5, 6, 10, 11 ⇄ in/out
[7, 8, 9, 20 ⇄ in/out

, но случай testStackClass_Let() не может даже успешно скомпилироваться, я получил две ошибки компилятора:

s8.push(10, 11)  // ⛔ Error: Extra argument in call
s9.push(20)      // ⛔ Error: Cannot convert value of type 'Int' to expected argument type '[Int]'

Единственная разницамежду случаем testStackClass_Var() и testStackClass_Let() указывается, использовал ли я var или let для объявления этих экземпляров стека.

Я не могу понять,t где или что я делаю не так, может кто-нибудь помочь?спасибо.

ps

моя маленькая вспомогательная функция:

example.swift

import Foundation   // string.padding() needs this

// print example
// usage:
//    example("test something", items: [a,b,c]) {
//      // example code here ...
//    }
public func example<T>(
    _ title: String,         // example title
    length: Int      = 30,   // title length
    items: [T]?      = nil,  // items to print
    run: (()->Void)? = nil   // example code (optional)
){
    // print example title
    print(
        ("----- [ " + title + " ] ")
            .padding(toLength: length, withPad: "-", startingAt: 0)
    )

    // run example
    if let run = run { run() }

    // print items if provided
    if let items = items {
        items.forEach{ print($0) }
    }

    // new line
    print()
}

Ответы [ 2 ]

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

но случай testStackClass_Let () не может даже успешно скомпилироваться, я получил две ошибки компилятора:

 s8.push(10, 11)  // ⛔ Error: Extra argument in call
s9.push(20)      // ⛔ Error: Cannot convert value of type 'Int' to expected argument    type '[Int]'

Единственная разница между случаем testStackClass_Var () иВ случае testStackClass_Let () я использовал var или let для объявления этих экземпляров стека.

Все дело в использовании мутирующих функций в структурах Swift.Вот подробный ответ: Спасибо Наташе Робот

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

Ваш

 public func push(_ newItems:[Item]) {

- это метод public class Stack<Item>, который является ссылочным типом, поэтому вы можете вызывать его для константы:

let s4: Stack = [1,2,3]
s4.push([4,5])

С другой стороны,метод variadic

public mutating func push(_ items:Item...)

является методом расширения protocol CanStack, который также может быть принят структурами, поэтому он требует переменной.Вот почему

let s8 = Stack([4,5,6]) // init by array
s8.push(10, 11)   // Error: Extra argument in call

не компилируется.

Вот более короткий пример, демонстрирующий проблему:

protocol P {
    mutating func foo()
    mutating func bar()
}

extension P {
    mutating func bar() {}
}

class C: P {
    func foo() {}
}

let c = C()
c.foo()
c.bar() // Cannot use mutating member on immutable value: 'c' is a 'let' constant

Основная причина (как я понимаю изисточники, перечисленные ниже), заключается в том, что mutating func, вызываемый для ссылочного типа, может не только изменять свойства self, но и заменять self новым значением.

Компилируется, если P объявлен как протокол класса вместо этого (и ключевое слово mutating удалено):

protocol P: class {
    func foo()
    func bar()
}

extension P {
    func bar() {}
}

Связанные ресурсы:

...