关于 slice，正确的是？

1. A.slice 是纯值类型，赋值或传参后两个 slice 各自持有一份独立的底层数组拷贝，修改互不影响
2. B.append 永远不会分配新数组
3. C.底层引用同一数组，子切片修改可能影响原 slice；超容量 append 才分配新数组
4. D.slice 的长度和容量永远相等