我可以通过复制功能定义不变性吗？

Question

如果对于某些类型的复制函数是一个标识函数，那么该类型是不可变的吗？