我有一个Abstract类和一个Derived类。抽象类定义了一个名为Message的抽象属性。在派生类中,通过重写abstract属性来实现该属性。派生类的构造函数采用字符串参数并将其分配给其Message属性。在Resharper中,此赋值会导致警告“构造函数中的虚拟成员调用”。
AbstractClass有这个定义:
public abstract class AbstractClass {
public abstract string Message { get; set; }
protected AbstractClass() {}
public abstract void PrintMessage();
}
DerivedClass如下:
using System;
public class DerivedClass : AbstractClass {
private string _message;
public override string Message {
get { return _message; }
set { _message = value; }
}
public DerivedClass(string message) {
Message = message; // Warning: Virtual member call in a constructor
}
public DerivedClass() : this("Default DerivedClass message") {}
public override void PrintMessage() {
Console.WriteLine("DerivedClass PrintMessage(): " + Message);
}
}
我确实发现了有关此警告的其他一些问题,但在这些情况下,实际上会调用某个方法。例如,在this question中,Matt Howels的答案包含一些示例代码。我在这里重复一遍以便于参考。
class Parent {
public Parent() {
DoSomething();
}
protected virtual void DoSomething() {};
}
class Child : Parent {
private string foo;
public Child() { foo = "HELLO"; }
protected override void DoSomething() {
Console.WriteLine(foo.ToLower());
}
}
Matt没有描述警告会出现什么错误,但我假设它将在Parent构造函数中调用DoSomething。在这个例子中,我理解被调用的虚拟成员的含义。成员调用发生在基类中,其中只存在虚方法。
但在我的情况下,我不明白为什么为Message
分配值会调用虚拟成员。 Message属性的调用和实现都在派生类中定义。
虽然我可以通过制作我的派生类sealed
来摆脱错误,但我想了解为什么这种情况会导致警告。
更新 根据Brett的回答,我尽力创建一个派生自DerivedClass的ChildClass,最终会导致异常。这就是我想出的:
using System;
public class ChildClass : DerivedClass {
private readonly string _foo;
public ChildClass() : base("Default ChildClass Message") {
_foo = "ChildClass foo";
}
public override string Message {
get { return base.Message; }
set {
base.Message = value;
Console.WriteLine(_foo.ToUpper() + " received " + value);
}
}
}
当然,在Message setter中使用_foo
有点傻,但重点是ReSharper没有看到这个类有什么问题。
但是,如果您尝试在这样的程序中使用ChildClass:
internal class Program {
private static void Main() {
var childClass = new ChildClass();
childClass.PrintMessage();
}
}
创建ChildClass对象时会出现NullReferenceException。 ChildClass尝试使用_foo.ToUpper()
时会抛出异常,因为_foo
尚未初始化。
答案 0 :(得分:6)
这是因为class ChildClass : DerivedClass
可以覆盖您的Message属性 - 此时可以从ChildClass
中的ctor和DerivedClass
调用ChildClass
上的消息中的代码。实例可能没有完全初始化。
这就是为什么让DerivedClass
密封解决问题 - 它不能被继承。