C++ hiện đại và cách làm tương ứng trong C

Đa hình và function-table dispatch

Dynamic polymorphism cho client gọi operation chung còn concrete type cung cấp behavior.

Đa hình và function-table dispatch là gì?

Dynamic polymorphism cho client gọi operation chung còn concrete type cung cấp behavior.

Chọn behavior qua interface chung.

Điểm quan trọng

  • Hiểu cơ chế trong C trước khi học abstraction của C++.
  • Dùng RAII và value semantics để diễn đạt ownership.
  • Ưu tiên abstraction type-safe hơn macro và cast.

Code ví dụ bằng C và C++

C
Chạy code →
main.c
#include <stdio.h>

typedef struct Shape Shape;
struct Shape {
    double value;
    double (*area)(const Shape *shape);
};

double square_area(const Shape *shape) {
    return shape->value * shape->value;
}

int main(void) {
    Shape square = {4.0, square_area};
    printf("area=%.1f\n", square.area(&square));
}
Output dự kiến
area=16.0
C++
Chạy code →
main.cpp
#include <iostream>

struct Shape {
    virtual double area() const = 0;
    virtual ~Shape() = default;
};

struct Square : Shape {
    double side;

    explicit Square(double value) : side(value) {}
    double area() const override { return side * side; }
};

int main() {
    Square square(4);
    const Shape& shape = square;
    std::cout << "area=" << shape.area() << '\n';
}
Output dự kiến
area=16

So sánh C và C++

C tạo object pointer cùng function table rõ ràng; virtual function C++ sinh dispatch tương tự và virtual destructor giúp xóa an toàn.

C

C dùng naming convention, callback, macro và context struct.

C++

Tính năng ngôn ngữ cung cấp abstraction có scope, type-safe và thường zero-overhead.

Bài tập mở rộng

Chạy cả hai phiên bản rồi thay đổi để quan sát khác biệt về bảo đảm của từng ngôn ngữ.

  • Viết cơ chế bằng C trước abstraction C++.
  • Loại bỏ manual cleanup bằng RAII.
  • Kiểm tra allocation hoặc virtual dispatch phát sinh.