Swift 5.9中如何指定泛型T为值类型以消除UnsafeRawPointer警告？

问题根源 #

你碰到的这条警告，是因为泛型参数T没有类型约束——当传入引用类型时，直接把数组转成UnsafeRawPointer会破坏Swift的对象引用管理逻辑，Swift 5.9新增了这个安全检查来规避潜在风险。

约束T为值类型的方法 #

Swift 5.7及后续版本支持用~AnyObject语法来表示非引用类型（即值类型），给泛型添加这个约束，就能限制T只能是结构体、枚举这类值类型，从而消除警告：

func aFunc<T>(values: [T]) -> MTLBuffer where T: ~AnyObject {
    let elementSize = MemoryLayout<T>.stride
    let totalSize = elementSize * values.count
    guard let buffer = makeMTLBuffer(length: totalSize) else {
        // 根据业务需求处理buffer创建失败的情况，比如抛出错误或返回默认值
        fatalError("Failed to create MTLBuffer")
    }
    let bufferPointer = buffer.contents()
    memcpy(bufferPointer, values, totalSize)
    return buffer
}

额外注意事项 #

• 必须正确计算内存大小：用MemoryLayout<T>.stride * values.count，避免因长度错误引发内存越界问题
• 若需兼容Swift 5.7之前的版本，可以结合where T: Sendable做类型限制，但~AnyObject是最直接精准的方式
• 该约束会自动排除所有类类型（引用类型），确保传入的数组元素都是值类型，符合memcpy的安全使用场景

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