原则32:避免 ICloneable
By D.S.Qiu
尊重他人的劳动,支持原创,转载请注明出处:http://dsqiu.iteye.com
IConeable 听起来是一个很不错的想法:你类型实现了 IConeable 接口然后就支持复制。如果你不想要支持复制,你就不需要实现它。但是你的类型不能在真空中存在。你支持 IConeable 的决定会影响它的子类。一旦一个类型支持 ICloneable ,它的所有子类也都必须支持 ICloneable 。它的所有成员的类型都必须支持 ICloneable 或者有其他机制去复制。最后,如果支持深度复制并且当你类型包含 web 对象就会很有问题。 ICloneable 的官方定义就给出了这个问题:它支持深复杂或浅复制。浅复制创建一个新对象包含所有成员变量的复制。如果这些成员变量是引用类型的,新对象引用和原来对象是同一个对象。深复制创建新对象同样包含所有成员变量的复制。所有的引用类型都会被嵌套复制。对于内置变量,例如整数,深复制和浅复制产生的结果是一样的。类型支持哪一个?这就依赖于具体的类型。但是在同一个对象混合深复制和浅复制会引起相当不一致的表现。当你去趟了 ICloneable 的浑水,这就再说难免了。大多数情况下,避免使用 ICloneable 使得类更简单。它很容易使用,并且很容易实现。
任何只包含内置类的成员变量的值类型不需要支持 ICloneable ;简单的赋值复制 struct 的所有值比 Clone() 更高效。Clone() 会对返回值进行封箱,以至于强制转换为 System.Object 的引用。调用者必须进行强制类型转换才能从箱中提取值。这样做已经够了。不要重写 Clone() 函数来进行赋值复制。
如果值类型包含引用类型会怎么样?最常见的例子是值类型包含一个 string :
public struct ErrorMessage
{
private int errCode;
private int details;
private string msg;
// details elided
}
string 是一个特殊例子因为它是不可变的类。如果你赋值一个 ErrorMessage 对象,两个 ErrorMessage 对象会引用相同一个字符串。它不会引起一般引用类型的可能会出现的错误。如果你通过任何一个引用改变 msg 变量,会创建一个 string 对象(查看原则16)。
普遍的例子是创建一个包含任意引用变量的 struct 会更复杂。这也很少见。struct 内置的赋值创建浅复制,两个 struct 会引用相同的对象。为了创建深复制,你需要克隆包含的引用类型对象,而且你需要知道这个引用类型通过 Clone() 方法来支持深复制。这样,要做的工作如果包含的引用类型支持 ICloneable ,并且它的 Clone() 方法创建深复制。
下面我们开始讨论引用类型。引用类型支持 ICloneable 接口说明它们支持浅复制或深复制。你应该谨慎支持 ICloneable 因为这样就必须让这个类的所有子类也支持 ICloneable 。考虑下面的简单的继承结构:
class BaseType : ICloneable
{
private string label = "class name";
private int[] values = new int[10];
public object Clone()
{
BaseType rVal = new BaseType();
rVal.label = label;
for (int i = 0; i < values.Length; i++)
rVal.values[i] = values[i];
return rVal;
}
}
class Derived : BaseType
{
private double[] dValues = new double[10];
static void Main(string[] args)
{
Derived d = new Derived();
Derived d2 = d.Clone() as Derived;
if (d2 == null)
Console.WriteLine("null");
}
}
如果你运行这个程序,你会发现 d2 的值是 null 。Derived 类从基类 BaseType 继承 ICloneable.Clone() ,但是实现却对子类是不正确的:它只是克隆基类 BaseType.Clone() 创建基类对象,而不是子类对象。这就是测试程序中为什么 d2 为 null —— 它不是 Derived 对象。然而,即使你克服了这个问题, BaseType.Clone() 不能复制定义在 Derived 的 dValues 数组。所以当你实现 ICloneable ,你必须强制所有子类也都实现。实际上,你可以提供一个钩子函数让所有子类能有自己的实现(查看原则23)。为了支持克隆,子类只能添加实现了 ICloneable 的值类型或引用类型的成员变量。这是对于子类是非常严格的限制。在基类支持 ICloneable 增加了子类的负担,所以你应该在非封闭的类避免实现 ICloneable 。
如果整个类的继承结构都必须实现 ICloneable ,你可以差un感觉一个 abstract Clone() 方法,强制子类实现它。在这些例子,你还需要定义子类复制基类成员的方法。可以定义一个 protected 的复制构造函数:
class BaseType
{
private string label;
private int[] values;
protected BaseType()
{
label = "class name";
values = new int[10];
}
// Used by devived values to clone
protected BaseType(BaseType right)
{
label = right.label;
values = right.values.Clone() as int[];
}
}
sealed class Derived : BaseType, ICloneable
{
private double[] dValues = new double[10];
public Derived()
{
dValues = new double[10];
}
// Construct a copy
// using the base class copy ctor
private Derived(Derived right) : base(right)
{
dValues = right.dValues.Clone() as double[];
}
public object Clone()
{
Derived rVal = new Derived(this);
return rVal;
}
}
基类没有实现 ICloneable ;提供了 protected 的复制构造函数,让子类能拿复制基类的部分。叶节点的类都是封闭的,当有必要的时候实现 ICloneable 。基类不会强制所有子类实现 ICloneable ,但是必须提供子类因支持 ICloneable 而需要的方法。
ICloneable 仍有它的用处,但是这是一个例外而不是指导规则。 .NET 框架更新支持泛型时,而没有添加 ICloneable<T> 的支持是非常有意义的。你不应该对值类型添加 ICloneable 的支持;而是使用赋值操作。当复制操作对叶借点封闭类很重要,你就应该添加 ICloneable 支持。当基类支持 ICloneable 你就为此创建 protected 复制够函数。对于其他的所有情况,避免使用 ICloneable 。
小结:
这个原则其实强调的重点是不管是值类型还是引用类型如果实现了 ICloneable 接口,这个类的成员变量和继承结构也要实现 ICloneable ,才能做到深复制和浅复制的一致性。这点其实跟 Java 是一样的!
欢迎各种不爽,各种喷,写这个纯属个人爱好,秉持”分享“之德!
有关本书的其他章节翻译请点击查看,转载请注明出处,尊重原创!
如果您对D.S.Qiu有任何建议或意见可以在文章后面评论,或者发邮件([email protected])交流,您的鼓励和支持是我前进的动力,希望能有更多更好的分享。
转载请在文首注明出处:http://dsqiu.iteye.com/blog/2087490
更多精彩请关注D.S.Qiu的博客和微博(ID:静水逐风)