Swift中ScreenFlags协议两种实现的细微差异与常量约束方案

首先给出协议定义：

public protocol ScreenFlags {
    var cornerRadius: CGFloat { get }
}

两种实现方式：

方式一：计算属性实现 #

struct ScreenFlagsImpl: ScreenFlags {
    var cornerRadius: CGFloat { return 0 }
}

方式二：存储常量属性实现 #

struct ScreenFlagsImpl: ScreenFlags {
    let cornerRadius: CGFloat = 0
}

一、两种实现的细微差异与潜在风险 #

• 内存与性能：计算属性每次访问都会执行return 0的逻辑（虽然这里是简单返回常量，编译器大概率会优化，但如果后续改成复杂逻辑就会有运行时开销）；存储常量属性是在实例初始化时就分配内存存好值，访问时直接读取，性能更稳定。
• 语义表达：计算属性的var会让外部感知这个属性可能动态变化，哪怕当前返回固定值；而let存储常量明确告诉阅读者，这个值实例创建后永远不会变，语义更精准。
• 修改风险：如果后续改计算属性的实现，不小心加入依赖其他变量的逻辑，可能会意外引入状态变化；存储常量从根本上杜绝了这个属性被修改的可能，更安全。

二、值永远不变时，哪种代码更精简整洁？ #

如果确定cornerRadius永远不会变，**方式二（let存储常量）**更优：

• 代码更短，直接赋值= 0，不需要写计算属性的闭包逻辑；
• 一眼就能看出是固定常量，可读性更强；
• 编译器能做更多编译期优化，减少运行时的不必要操作。

三、如何强制cornerRadius为常量而非变量？ #

Swift协议里的{ get }允许用存储属性（let/var）或计算属性实现，要强制实现者用不可变常量，有几种方式：

1. 协议文档明确约定+代码审查：直接在协议注释里说明必须用let存储常量，配合团队代码检查确保执行。
2. 改用静态属性：如果这个值不需要绑定到实例，是类型级别的固定值，可以修改协议为静态属性：

public protocol ScreenFlags {
    static var cornerRadius: CGFloat { get }
}

// 实现时只能用静态常量，彻底无法修改
struct ScreenFlagsImpl: ScreenFlags {
    static let cornerRadius: CGFloat = 0
}

这种方式下，cornerRadius是类型专属的常量，完全不存在被修改的可能，彻底满足强制常量的需求。

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