泛型函数中变量和常量行为分析
- 声明与初始化：
- 在泛型函数中，变量和常量的声明与常规函数类似，但由于类型参数的存在，它们的类型在调用时才确定。
- 示例代码：
func genericFunction<T>(_ value: T) {
let constant: T = value
var variable: T = value
variable = value
}
// 调用泛型函数
genericFunction(10)
- 原理：
T是类型参数，在调用genericFunction时，constant和variable的实际类型由传入的参数类型确定。constant一旦初始化就不能再修改，variable可以重新赋值。
- 类型推断：
- 泛型函数中的变量和常量类型由传入的参数类型推断。编译器可以根据函数调用时传入的实参类型自动推断
T的具体类型，从而确定变量和常量的类型。
- 例如在上述代码中，当调用
genericFunction(10)时，编译器推断T为Int，所以constant和variable的类型为Int。
- 生命周期管理：
- 泛型函数中的变量和常量的生命周期与常规函数中的类似，它们在函数执行期间存在，函数结束后被销毁。例如
constant和variable在genericFunction执行期间存活，函数执行完毕后它们占用的内存被释放。
泛型类型中变量和常量行为分析
- 声明与初始化：
- 在泛型类型中，变量和常量的声明要考虑类型参数。它们的初始化要根据泛型类型的实例化情况。
- 示例代码：
struct GenericStruct<T> {
let constant: T
var variable: T
init(_ value: T) {
self.constant = value
self.variable = value
}
}
let genericInstance = GenericStruct(20)
- 原理：
GenericStruct是一个泛型结构体，constant和variable的类型由实例化时传入的类型参数T决定。在初始化GenericStruct实例时，constant和variable被赋予相应的值。constant不可变，variable可变。
- 类型推断：
- 当实例化泛型类型时，编译器根据传入的参数类型推断类型参数
T。如let genericInstance = GenericStruct(20)，编译器推断T为Int，所以genericInstance的constant和variable类型为Int。
- 生命周期管理：
- 泛型类型实例中的变量和常量的生命周期与实例本身相关。当泛型类型实例被创建时，其中的变量和常量被初始化，占用内存；当实例不再被引用（引用计数为0），实例及其内部的变量和常量占用的内存被释放。例如
genericInstance被释放时，constant和variable占用的内存也被释放。
遵循特定协议的情况下变量和常量行为分析
- 声明与初始化：
- 当类型遵循特定协议时，变量和常量的声明要满足协议要求。如果协议定义了属性，实现协议的类型必须提供这些属性的声明和初始化。
- 示例代码：
protocol SomeProtocol {
var variableProperty: Int { get set }
var constantProperty: Int { get }
}
struct ConformingStruct: SomeProtocol {
var variableProperty: Int
let constantProperty: Int
init(_ varValue: Int, _ constValue: Int) {
self.variableProperty = varValue
self.constantProperty = constValue
}
}
let conformingInstance = ConformingStruct(30, 40)
- 原理：
ConformingStruct遵循SomeProtocol，必须实现协议中定义的variableProperty和constantProperty。variableProperty是可变属性，constantProperty是不可变属性，在初始化ConformingStruct实例时进行赋值。
- 类型推断：
- 由于协议定义了属性的类型，在实现协议的类型中，变量和常量的类型由协议规定。如
SomeProtocol规定了variableProperty和constantProperty的类型为Int，所以ConformingStruct中的对应属性类型也是Int。
- 生命周期管理：
- 遵循协议的类型实例中的变量和常量的生命周期与实例本身相关。当实例被创建时，变量和常量初始化并占用内存，当实例不再被引用（引用计数为0），它们占用的内存被释放。例如
conformingInstance被释放时，variableProperty和constantProperty占用的内存也被释放。
