为啥有些语言即有 struct 也有 class，区别是什么？

在许多编程语言中，struct（结构体）和class（类）都是用于定义自定义数据类型的关键构造。然而，这两者在不同语言中的设计目的和功能特性各不相同。本文将详细介绍哪些编程语言既支持struct又支持class，解释为何这些语言选择同时设计这两种构造，以及它们之间的主要区别。

1. 支持 struct 和 class 的编程语言

以下是一些主要支持struct和class的编程语言：

• C++
• C#
• Swift
• Objective-C
• D语言
• Rust（虽主要有struct，但通过枚举和其他特性实现类似于类的功能）
• Go（仅有struct，无class，但通过方法集实现类似功能）
• Visual Basic（支持结构体和类）
• Eiffel
• Kotlin（支持类和数据类，但不直接有struct）

需要注意的是，不是所有语言都以相同的方式实现和区分类与结构体。例如，Rust 和 Go 虽然支持struct，但对class的支持并不直接或传统。

2. 为什么设计 struct 和 class

在支持这两者的语言中，设计struct和class主要是为了满足不同的编程需求和性能优化。以下是一些主要原因：

2.1. 内存管理和性能

• 值类型 vs 引用类型：在许多语言中，struct通常被设计为值类型，而class被设计为引用类型。这意味着结构体在传递时会复制整个数据，而类则传递引用。这在性能和内存管理上有显著区别。

  • C#：
  • struct 是值类型，存储在栈上，适合小型数据结构，避免堆分配的开销。

  • class 是引用类型，存储在堆上，适合需要继承和多态的复杂对象。

  • Swift：
  • struct 是值类型，具有复制语义，适用于不需要继承的轻量级数据结构。
  • class 是引用类型，支持继承和类型转换，适用于需要复杂行为的对象。

2.2. 面向对象特性

• 继承与多态：class 通常支持继承、多态和其他面向对象的特性，而struct则更倾向于简单的数据封装。

  • C++：
  • struct 和 class 在语法上几乎相同，唯一区别是默认的访问控制（struct 默认公有，class 默认私有）。

  • 两者都支持继承和多态，但在实践中，struct通常用于简单的数据结构，class用于更复杂的对象。

  • C# 和 Swift：
  • struct 通常不支持继承，只能实现接口或协议。
  • class 支持继承和多态，适用于需要复杂行为和对象关系的场景。

2.3. 语义和用途

• 语义上的区别：struct 和 class 在语义上有不同的用途和意图，帮助开发者更清晰地表达代码设计。

  • struct 适用于表示简单的数据实体，如几何形状、点、矩形等。
  • class 适用于表示具有复杂行为和生命周期的对象，如用户、订单、控制器等。

3. struct 和 class 的主要区别

以下是一些主要编程语言中struct和class的区别：

3.1. C++

在C++中，struct和class几乎是等价的，主要区别在于默认的访问控制：

• 默认访问权限：

  • struct 中的成员默认是 public。
  • class 中的成员默认是 private。
• 继承：
  • struct 默认继承是 public。
  • class 默认继承是 private。

示例：

struct Point {
    int x; // 默认 public
    int y;
};

class Rectangle {
    int width; // 默认 private
    int height;
public:
    void setDimensions(int w, int h) {
        width = w;
        height = h;
    }
};

3.2. C

在C#中，struct和class有显著的区别，主要体现在值类型与引用类型上：

• 类型类别：

  • struct 是值类型，存储在栈上（或内嵌在其他对象中）。
  • class 是引用类型，存储在堆上，变量存储对象的引用。

• 继承：

  • struct 不支持继承（只能实现接口）。
  • class 支持继承和多态。
• 默认构造函数：
  • struct 自动提供无参数构造函数，不能显式定义无参数构造函数。
  • class 可以定义多个构造函数，包括无参数构造函数。

示例：

struct Point {
    public int X;
    public int Y;
}

class Rectangle {
    public int Width { get; set; }
    public int Height { get; set; }
}

3.3. Swift

Swift 中的struct和class也有明显的区别：

• 值类型 vs 引用类型：

  • struct 是值类型，具有复制语义。
  • class 是引用类型，具有引用语义。

• 继承：

  • struct 不支持继承。
  • class 支持继承和类型转换。
• 初始化：
  • struct 自动生成成员逐一构造器。
  • class 可以定义自定义初始化器，支持继承初始化器。

示例：

struct Point {
    var x: Int
    var y: Int
}

class Rectangle {
    var width: Int
    var height: Int

    init(width: Int, height: Int) {
        self.width = width
        self.height = height
    }
}

3.4. Objective-C

Objective-C 主要使用class，但也支持struct，通常用于C语言兼容的数据结构：

• 用途：
  • struct 用于C语言数据结构，如CGPoint、CGSize等。
  • class 用于面向对象的编程。

示例：

struct Point {
    int x;
    int y;
};

@interface Rectangle : NSObject
@property (nonatomic, assign) int width;
@property (nonatomic, assign) int height;
@end

3.5. Rust

Rust 中主要使用struct，但通过枚举和其他特性实现类似于类的功能：

• struct：

  • 用于定义自定义数据类型，支持关联函数和方法。
• enum：
  • 支持定义复杂的数据类型和行为。

示例：

struct Point {
    x: i32,
    y: i32,
}

impl Point {
    fn new(x: i32, y: i32) -> Self {
        Point { x, y }
    }
}

Rust 不直接支持class，但通过组合struct和enum，以及Trait（类似于接口），实现了面向对象编程的一些特性。

3.6. Go

Go 仅支持struct，但通过方法集实现类似于类的功能：

• struct：

  • 用于定义自定义数据类型。
• 方法集：
  • 可以为struct定义方法，实现面向对象的行为。

示例：

type Point struct {
    X int
    Y int
}

func (p *Point) Move(dx, dy int) {
    p.X += dx
    p.Y += dy
}

Go 通过这种方式，实现了封装和方法调用，但不支持继承。

4. 设计 struct 和 class 的理由

4.1. 语义清晰

通过区分struct和class，开发者可以更清晰地表达数据类型的意图和用途。例如，使用struct表示简单的数据结构，使用class表示复杂的对象。

4.2. 性能优化

struct作为值类型，适合用于轻量级、高频率的对象，避免堆分配和垃圾回收的开销。class作为引用类型，适合用于需要共享、继承和多态的复杂对象。

4.3. 内存管理

值类型和引用类型在内存中的分配和管理方式不同。通过区分struct和class，语言设计者可以提供更灵活的内存管理策略，满足不同场景的需求。

4.4. 功能特性

不同构造体和类在功能特性上有差异，如继承、接口实现、方法定义等。通过区分struct和class，语言可以提供更丰富的功能，同时保持语法和语义的清晰。

5. 总结

struct和class在许多编程语言中同时存在，主要是为了满足不同的数据封装需求、性能优化和面向对象编程的特性。它们之间的区别在不同语言中有所不同，但通常体现在值类型与引用类型、继承支持、内存管理和语义用途上。

关键要点总结：

• 支持语言：C++、C#、Swift、Objective-C、D语言、Rust（主要通过struct和enum）、Go（仅struct，通过方法集实现类功能）、Visual Basic 等。
• 设计理由：
  • 提供语义清晰的数据封装方式。
  • 优化性能和内存管理。
  • 支持不同层次的面向对象特性。
• 主要区别：
  • 类型类别：值类型 vs 引用类型。
  • 继承与多态：class通常支持，struct不支持或有限支持。
  • 内存分配：栈上 vs 堆上。
  • 用途：简单数据结构 vs 复杂对象行为。

理解struct和class的区别及其在不同语言中的具体实现，有助于开发者在设计程序时做出更合适的选择，编写高效、可维护的代码。

如果您有更多关于struct和class的具体问题或需要进一步的示例和解释，欢迎随时提问！