如何在协议中定义泛型属性，让遵循类型指定数组类型？

嘿，我来帮你搞定这个协议定义数组属性的难题！你提到的两个方案确实都有明显的问题：

• 第一种方案没法正常访问moneyStack属性，等于没实现核心需求；
• 第二种把数组类型设为[Any]虽然能访问属性，但这个数组可以存储任意类型的内容（比如字符串、数字、自定义对象混存），完全没有类型安全可言，后期很容易出bug。

正确的解决方案：使用关联类型（Associated Type） #

在协议里通过关联类型来动态指定数组的元素类型，既能让遵循协议的类型自由决定数组元素是什么，又能保证类型安全，还能正常访问moneyStack属性。

举个Swift的实现例子：

// 定义协议，用关联类型指定数组元素类型
protocol MoneyStackProtocol {
    associatedtype Element
    var moneyStack: [Element] { get set }
}

// 遵循协议的类型，指定Element为Double（表示存储金额）
class CashStack: MoneyStackProtocol {
    var moneyStack: [Double] = [10.0, 20.0, 50.0]
}

// 另一个遵循协议的类型，指定Element为自定义的Coin类型
struct Coin {
    var value: Int
}

class CoinStack: MoneyStackProtocol {
    var moneyStack: [Coin] = [Coin(value: 1), Coin(value: 5), Coin(value: 10)]
}

为什么这个方案更好？ #

• 类型安全：每个遵循协议的类型的moneyStack只能存储指定类型的元素，不会出现混存任意类型的情况；
• 灵活定制：不同的遵循者可以根据需求指定不同的数组元素类型，完全满足“数组类型由遵循协议的类型指定”的需求；
• 可正常访问属性：不管是CashStack还是CoinStack，都能直接访问和操作moneyStack属性，没有访问障碍。

如果之后需要在泛型上下文里使用这个协议，也可以通过泛型约束来限定关联类型，比如：

func printStack<T: MoneyStackProtocol>(stack: T) where T.Element == Double {
    print("金额栈内容：\(stack.moneyStack)")
}

let cash = CashStack()
printStack(stack: cash) // 正常输出：金额栈内容：[10.0, 20.0, 50.0]

内容的提问来源于stack exchange，提问作者avregi