サブクラス 'プロパティから基本クラス'コンストラクタにアクセス

Question

私は、動作するとは思っていない、実際に動作する、奇妙なものを発見しました。私は、コンストラクタ基底クラスから（一定の）プロパティサブクラスにアクセスすることができる：

public abstract class Parent { 

    public Parent() { 
    var constName = ConstName;   // <-- surprisingly, this works 
    var randomName = RandomName;   // <-- surprisingly, this works 
    } 

    public abstract string ConstName { get; } 

    public abstract string RandomName { get; } 

} 


public class Child : Parent { 

    public override string ConstName { get { return "Mike"; } } 

    public override string RandomName { get { return new Random().Next().ToString(); } } 

} 

Name非静的性なくフィールドです。私はいつもタイプのイニシャライザ（staticとconstフィールド）が実行され、次にその基本クラスのもの、次にベースのctor、次にサブクラスのctorが実行されたと考えました。 これは、子プロセスが親プロセス中に完全に構​​築されていないことを意味します。

は、すべての状況下で動作します。この「法的な」C＃のですか？なぜこれは機能しますか？

編集：

いいえ、デュープの質問ではありません。私の質問にはクラススキーマはありません。

Answer 1

あなたは、サブタイプの抽象/仮想メンバーにアクセスすることができます。プロパティgetterは最後のメソッドです。

しかし。あなたが言ったように

、サブクラスのコンストラクタは、まだ実行されていませんでした。したがって、副作用がある可能性があります。だからあなたはFxCopから警告を受ける。

public abstract class Parent 
{ 
    public Parent() 
    { 
    // NullReferenceException here: 
    var nameLength = Name.Length; 
    } 

    public abstract string Name { get; } 

} 

public class Child : Parent 
{ 
    private string name; 

    public Child() 
    { 
    name = "My Name"; 
    } 

    public override string Name { get { return name; } } 
} 

さらに悪い：

public class Child : Parent 
{ 
    private string name; 

    public Child() 
    { 
    name = "My Name"; 
    } 

    public override string Name 
    { 
    get 
    { 
     // NullReferenceException here. 
     // You didn't expect that this code is executed before 
     // the constructor was, did you? 
     return name.Substring(0, name.Length - 1); 
    } 
    } 
} 

ので、それが行うことは推奨されません。

Answer 2

親が、抽象プロパティParent.Nameを持っています。抽象的であるため、Parentの（サブクラス）インスタンスがプロパティNameを実装することを約束します。もしそうでなければ、そのオブジェクトを作成することはできません。インスタンスを作成することができません。私が言う

注意。サブクラスがプロパティNameを実装していない場合、クラスは存在する可能性がありますが、インスタンス化することはできません。

クラスParentはプロパティNameを実装していないため、Parentをインスタンス化できません。

クラスChildは名前を実装するため、インスタンス化することができます。また、クラスParentのすべてのオブジェクト（=インスタンス化）にNameプロパティがあると約束したので、あなたが知っていることはすべてParent 、あなたはまたそれが名前を持っていることを知っています。

これは Wikipedia about polymorphism

をサブタイピングにそれはあなたがサブクラス化したい主な理由であるかもしれない多型の基本原理です。