《Effective C#》条款8:确保0为值类型的有效状态

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了《Effective C#》条款8:确保0为值类型的有效状态相关的知识,希望对你有一定的参考价值。

.NET系统的默认初始化机制会将所有的对象设置为0[14]。对于值类型来讲,我们无法阻止其他程序员将其所有的成员都初始化为0[15]。因此,我们应该将0作为值类型的默认值。

枚举类型就是一种典型的情况。我们创建的枚举类型决不应该将0视为无效状态。我们知道,所有的枚举类型都继承自System.ValueType。默认的枚举值从0开始,但是我们可以更改这种默认行为。

public enum Planet

{

  // 显式赋值。

  // 否则将默认从0开始。

  Mercury = 1,

  Venus = 2,

  Earth = 3,

  Mars = 4,

  Jupiter = 5,

  Saturn = 6,

  Neptune = 7,

  Uranus = 8,

  Pluto = 9

}

Planet sphere = new Planet();

这里的sphere将为0,显然是一个无效的状态。这样,那些要求“枚举值必须位于预定义集合中”的代码(通常都是这样的情况)就不能正常工作了。因此,当我们创建自己的枚举值时,要确保0为有效的状态。如果我们使用位模式来定义枚举值,那么应该将0定义为“不包括所有其他属性的情况”。

根据目前的情况来看,我们应该强制用户显式初始化枚举值:

Planet sphere = Planet.Mars;

但这将使得这样的枚举类型很难作为值类型的成员:

public struct ObservationData

{

  Planet   _whichPlanet; // 看的是什么呢?

  Double  _magnitude; // 感觉亮度。

}

创建ObservationData对象将得到一个无效的Planet字段:

ObservationData d = new ObservationData();

新创建的ObservationData对象的_magnitude将为0,这是合理的。但_whichPlanet却是无效的。我们需要让0成为有效的状态。如果可能的话,我们最好将0作为默认的值。Planet枚举类型没有一个明显的默认值。当用户没有给出明确的选择时,我们随便设定一个Planet值是没有意义的。如果碰到这种情况,我们可以将0作为一个未初始化值明确表示出来,这样可方便后续再对其更新:

public enum Planet

{

  None = 0,

  Mercury = 1,

  Venus = 2,

  Earth = 3,

  Mars = 4,

  Jupiter = 5,

  Saturn = 6,

  Neptune = 7,

  Uranus = 8,

  Pluto = 9

}

Planet sphere = new Planet();

现在sphere将包含一个None值。将这个未初始化的默认值添加到Planet枚举中,会给ObservationData结构带来一些影响。新创建的ObservationData对象将包含一个值为0的_magnitude和一个值为None的_whichPlanet。这时候,我们应该添加一个显式的构造器,来支持用户显式初始化类型所有的字段:

public struct ObservationData

{

  Planet   _whichPlanet; // 看的是什么呢?

  Double  _magnitude; // 感觉亮度。

  ObservationData( Planet target,

    Double mag )

  {

    _whichPlanet = target;

    _magnitude = mag;

  }

}

但是,要记住ObservationData仍然有一个默认构造器。用户仍可以使用默认的构造器来创建“让系统初始化”的变量,我们无法禁止用户这么做。

在讨论其他值类型之前,我们需要再谈一下枚举类型作为位标记(flag)来应用时的一些特殊规则。使用Flags特性的枚举类型应该总是将None值设为0:

[Flags]

public enum Styles

{

  None = 0,

  Flat = 1,

  Sunken = 2,

  Raised = 4,

}

许多开发人员都在位标记枚举值上使用“按位AND”(bitwise AND)操作符。如果遇到0值,就会出现严重的问题。如果Flat值为0,那么下面的测试将永远为false:

if ( ( flag & Styles.Flat ) != 0 ) // 如果Flat == 0,将永远为false。

  DoFlatThings( );

如果使用Flags,我们要确保0为有效状态,且其意义为“不包括所有其他标记的情况”。

如果值类型中包含有引用类型,会出现另一种常见的初始化问题。包含字符串就是一种常见的情况:

public struct LogMessage

{

  private int _ErrLevel;

  private string _msg;

}

LogMessage MyMessage = new LogMessage( );

MyMessage对象的_msg字段将为一个空引用。我们没有办法强制做其他的初始化,但是我们可以使用属性来将该问题限定在类型内部。我们可以创建一个属性来将_msg值暴露给类型的所有客户,并在属性内部添加逻辑,使其返回一个“内容为空的字符串”,而非一个空引用:

public struct LogMessage

{

  private int _ErrLevel;

  private string _msg;

  public string Message

  {

    get

    {

      return (_msg != null ) ?

        _msg : string.Empty;

    }

    set

    {

      _msg = value;

    }

  }

}

我们应该在类型内部使用这样的属性。这样做可以将空引用检查集中在一个地方。当从我们的程序集中被调用时,Message的访问器方法几乎肯定会被内联。我们在获得高效代码的同时,也将错误降到了最低。

综上所述,系统会将值类型的所有实例初始化为0。我们没有办法阻止用户创建“字段全部为0”的值类型实例。如果可能的话,我们应该将“字段全部为0”作为类型的默认值。作为一种特殊情况,被用做位标记的枚举类型,应该确保0的意义为“不包括所有其他标记的情况”。


以上是关于《Effective C#》条款8:确保0为值类型的有效状态的主要内容,如果未能解决你的问题,请参考以下文章

C++学习:Effective Modern C++条款

C++学习:Effective Modern C++条款

C++学习:Effective Modern C++条款

Effective C++ 条款45

effective c++学习笔记

Effective C++学习笔记