Often, in C# documentation, you come across a member where the description says something along the lines of \"be sure to call the base method if you override this.\"
<You can call it like this:
public override void MyFunction()
{
// do dome stuff
SomeStuff();
// call the base implementation
base.MyFunction();
}
But if you're asking whether it can be "checked" at compile time - no.
You could probably use a dependency analysis tool such as NDepend to create rules to check this is being done, and have the rules run as part of the compile, but I don't think you can do the enforecement from the compiler itself.
A common pattern for a single level of inheritance is to provide a non-virtual template method with a virtual extension point.
protected virtual void ExtensionPoint () { }
public void TemplateMethod () {
ExtensionPoint();
ThisWillAlwaysGetCalled();
}
If all calls to the operation call the template method, then any override of the extension point will be called, along with the code in the template method which will always get called.
You can't enforce it, but you can do it via a call like base.Foo(bar)
. base
allows you to access members of the class you're inheriting from.
You can kind of enforce this behavior by using the template method pattern. For example, imagine you had this code:
abstract class Animal
{
public virtual void Speak()
{
Console.WriteLine("I'm an animal.");
}
}
class Dog : Animal
{
public override void Speak()
{
base.Speak();
Console.WriteLine("I'm a dog.");
}
}
The trouble here is that any class inheriting from Animal
needs to call base.Speak();
to ensure the base behavior is executed. You can automatically enforce this by taking the following (slightly different) approach:
abstract class Animal
{
public void Speak()
{
Console.WriteLine("I'm an animal.");
DoSpeak();
}
protected abstract void DoSpeak();
}
class Dog : Animal
{
protected override void DoSpeak()
{
Console.WriteLine("I'm a dog.");
}
}
In this case, clients still only see the polymorphic Speak
method, but the Animal.Speak
behavior is guaranteed to execute. The problem is that if you have further inheritence (e.g. class Dachsund : Dog
), you have to create yet another abstract method if you want Dog.Speak
to be guaranteed to execute.