为什么扔在构造结果异常的空引用？(Why throwing exception in constru

为什么扔在构造结果异常的空引用？例如，如果我们运行下面老师的值的代码为空，而st.teacher不是（创建教师对象）。为什么？

using System;

namespace ConsoleApplication1
{
  class Program
  {
    static void Main( string[] args )
    {
      Test();
    }

    private static void Test()
    {
      Teacher teacher = null;
      Student st = new Student();
      try
      {
        teacher = new Teacher( "", st );
      }
      catch ( Exception e )
      {
        Console.WriteLine( e.Message );
      }
      Console.WriteLine( ( teacher == null ) );  // output True
      Console.WriteLine( ( st.teacher == null ) );  // output False
    }
  }

  class Teacher
  {
    public string name;
    public Teacher( string name, Student student )
    {
      student.teacher = this;
      if ( name.Length < 5 )
        throw new ArgumentException( "Name must be at least 5 characters long." );
    }
  }

  class Student
  {
    public Teacher teacher;
  }

}

Answer 1:

构造函数永远不会完成，因此分配不会发生。这并不是说空从构造函数返回（或者说有一个“空对象” - 有没有这样的概念）。这只是你从来没有分配一个新的价值teacher ，所以它保留了其原来的值。

例如，如果你使用：

Teacher teacher = new Teacher("This is valid", new Student());
Student st = new Student();
try
{
    teacher = new Teacher("", st);
}
catch (... etc ...)

...那么你仍然有“这是有效的”老师。该name变量仍然不会被分配在一个价值Teacher虽然对象，你的Teacher构造缺少行如：

this.name = name;

Answer 2:

因为你正在检查的referencies。

  try
  {
    teacher = new Teacher( "", st ); //this line raises an exception 
                                     // so teacher REMAINS NULL. 
                                     // it's NOT ASSIGNED to NULL, 
                                     // but just NOT initialized. That is.
  }
  catch ( Exception e )
  {
    Console.WriteLine( e.Message );
  }

但

public Teacher( string name, Student student )
{
  student.teacher = this;  //st.Teacher is assigned BEFORE exception raised.
  if ( name.Length < 5 )
    throw new ArgumentException( "Name must be at least 5 characters long." );
}

Answer 3:

当你在构造函数抛出一个异常，你打破对象的构造。所以它永远不会结束，因此，没有对象返回。事实上，赋值运算符（ teacher = new Teacher( "", st ); ）永远不会执行，因为异常打破了调用堆栈。

和教师的构造还是写入自身的引用（正在建设中的对象）到Student对象的属性。但你永远不应该尝试使用这个老师事后对象，因为它并没有被构建。这可能会导致不确定的行为。

Answer 4:

如果Foo是引用类型，则该语句Foo = new FooType(); 将构建一个对象，然后， 在构造完成后 ，存储参考成Foo 。如果构造函数抛出异常，这将存储参考到代码中Foo将不被跳过Foo已经被写入。

在以下情况：

像上述语句的内发生try / catch块
该声明可以在没有达到Foo已被预先写入。
Foo在围绕一个上下文中定义的局部变量catch块。
这是可能的执行开始在catch达到其内容的声明Foo而不之后它已经写在catch 。

编译器将假设后者试图读取Foo可能不被执行Foo已经被写入，并会在这种情况下拒绝编译。编译器将允许Foo而没有被写来读，但是，如果：

Foo是一类字段，或者被存储在一个类域一个结构的一个字段中，存储在存储在一个类域一个结构的一个字段一个结构的一个字段中，等
Foo作为一个传递out参数的方法（用C＃以外的语言），不存储任何东西给它，并把读到的声明foo只会是可达的，如果该方法已经正常地返回，而不是通过例外。

在前一种情况下， Foo将有一个定义的值null 。在后一种情况下，值Foo将可能是无效它的方法的执行期间产生的第一时间; 在循环中，如果重新创建的，它可能包含null或最后一个值来创建它的最后一次后写入的; 标准不具体说明在这种情况下会发生什么。

请注意，如果FooType有任何类似正常构造， Foo = new FooType(); 会不会导致 Foo成为空，如果它之前不是。如果语句正常完成， Foo将坚持确切类型的实例的引用FooType到没有提及此前在宇宙中任何地方存在的; 如果它抛出一个异常，也不会影响Foo以任何方式。