完成圆的抽象数据类型形式定义和实现

完成一个圆的抽象数据类型(ADT)的形式定义通常包括以下几个步骤：

1. **接口或抽象类**：
首先，我们需要定义一个抽象类或接口`Circle`，它包含一些基本操作，如创建圆、获取半径、计算面积和周长等。

// 使用接口
interface Circle {
    double getRadius();
    double getArea();
    double getCircumference();
}

// 或者使用抽象类
abstract class Circle {
    private double radius;

    // 构造函数
    protected Circle(double radius) {
        this.radius = radius;
    }

    // 抽象方法
    abstract double getArea();
    abstract double getCircumference();

    // 实现方法
    public double getRadius() {
        return radius;
    }
}

2. **具体实现**：
对于每个具体的圆形，比如圆心在原点的普通圆，我们可以创建一个继承自`Circle`的子类并提供具体的操作实现。

class RegularCircle extends Circle {
    public RegularCircle(double radius) {
        super(radius);
    }

    @Override
    double getArea() {
        return Math.PI * Math.pow(getRadius(), 2);
    }

    @Override
    double getCircumference() {
        return 2 * Math.PI * getRadius();
    }
}

3. **客户端代码**：
客户端可以使用`Circle`接口或抽象类来处理所有类型的圆，而不需要关心具体实现细节。

public class Client {
    public static void main(String[] args) {
        Circle circle = new RegularCircle(5); // 创建一个直径为10的圆
        System.out.println("Area: " + circle.getArea());
        System.out.println("Circumference: " + circle.getCircumference());
    }
}