Я определил протокол 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()
}