为何Swift属性包装器中的属性需要指定类型注解？

首先看Capitalized属性包装器的实现：

@propertyWrapper struct Capitalized {
    var wrappedValue: String {
        didSet { wrappedValue = wrappedValue.capitalized }
    }
    init(wrappedValue: String) {
        self.wrappedValue = wrappedValue.capitalized
    }
}

正确的使用方式需要显式指定属性类型：

struct User {
    @Capitalized var userName: String
}

如果省略类型注解写成@Capitalized var userName，编译器会抛出错误：

模式中缺少类型注解

原因解析 #

这是Swift编译器处理属性包装器的逻辑限制：

• 属性包装器的本质是为属性创建对应的包装器实例，编译器需要先明确被包装属性的类型，才能正确初始化这个包装器实例。
• 虽然Capitalized的wrappedValue是String类型，但Swift的类型推断系统不会自动反向推导——它不会默认把包装器的wrappedValue类型直接当作被包装属性的类型。
• 从设计角度看，属性包装器允许支持多种类型（只要包装器本身实现了对应逻辑），编译器不会假设当前的Capitalized只能处理String类型，必须通过显式类型注解来完成被包装属性和包装器wrappedValue的类型绑定。

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