C#关键字之abstract详解

abstract 修饰符指示所修饰的内容缺少实现或未完全实现，可用于类、方法、属性、索引器和事件。一般没有加abstract修饰的即默认为virtual。
一、abstract修饰的类叫抽象类。抽象类中的内容因缺少实现或未完全实现,因此不能生成对象实例,只能用于其他类的基类或做为对象变量声明的类型,且抽象类中的成员则必须通过由该抽象类派生的类来实现,即通过子类继承并覆盖抽象类中的抽象方法。
如下:类Square必须提供Area的实现,因为它派生自ShapesClass

abstract class ShapesClass
{
    abstract public int Area();
}
class Square : ShapesClass
{
    int x, y;

    public override int Area()
    {
        return x * y;
    }
}

抽象类的特性：
1、抽象类不能实例化。
2、抽象类可以包含抽象方法和抽象访问器。
3、不能用 sealed（C# 参考）修饰符修改抽象类，这意味着抽象类不能被继承。
4、从抽象类派生的非抽象类必须包括继承的所有抽象方法和抽象访问器的实实现。

二、abstract修饰的方法即抽象方法。

抽象方法的特性：
1、抽象方法是隐式的虚方法。
2、只允许在抽象类中使用抽象方法声明。
3、因为抽象方法声明不提供实际的实现，所以没有方法体；方法声明只是以一个分号结束，并且在签名后没有大括号 ({ })。例如：

public abstract void MyMethod();  

4、实现由一个重写方法提供，此重写方法是非抽象类的成员。
5、在抽象方法声明中使用 static 或 virtual 修饰符是错误的。

三、abstract修饰的属性即抽象属性。
抽象属性的特性：
1、在静态属性上使用 abstract 修饰符是错误的。
2、在派生类中，通过包括使用 override 修饰符的属性声明，可以重写抽象的继承属性。

四、补充：抽象类必须为所有接口成员提供实现。实现接口的抽象类可以将接口方法映射到抽象方法上。例如：

interface I 
{
    void M();
}
abstract class C: I 
{
    public abstract void M();
}

在下面示例中，DerivedClass 类是从抽象类 BaseClass 派生的。抽象类包含一个抽象方法 AbstractMethod 和两个抽象属性 X 和 Y。

// abstract_keyword.cs
// Abstract Classes
using System;
abstract class BaseClass   // Abstract class
{
    protected int _x = 100;
    protected int _y = 150;
    public abstract void AbstractMethod();   // Abstract method
    public abstract int X    { get; }
    public abstract int Y    { get; }
}

class DerivedClass : BaseClass
{
    public override void AbstractMethod()
    {
        _x++;
        _y++;
    }

    public override int X   // overriding property
    {
        get
        {
            return _x + 10;
        }
    }

    public override int Y   // overriding property
    {
        get
        {
            return _y + 10;
        }
    }

    static void Main()
    {
        DerivedClass o = new DerivedClass();
        o.AbstractMethod();
        Console.WriteLine("x = {0}, y = {1}", o.X, o.Y);
    }
}

输出：x = 111, y = 161

在上面的示例中，如果试图通过使用下面的语句将抽象类实例化：

BaseClass bc = new BaseClass();   // Error

将出现错误，指出编译器无法创建抽象类“BaseClass”的实例。