Enum kỳ lạ trong hàm hủy

Hiện tại, tôi đang đọc mã nguồn của Protocol Buffervà tôi tìm thấy một enummã lạ được xác định ở đây

  ~scoped_ptr() {
    enum { type_must_be_complete = sizeof(C) };
    delete ptr_;
  }

  void reset(C* p = NULL) {
    if (p != ptr_) {
      enum { type_must_be_complete = sizeof(C) };
      delete ptr_;
      ptr_ = p;
    }
  }

Tại sao cái enum { type_must_be_complete = sizeof(C) };được định nghĩa ở đây? Cái này được dùng để làm gì?

Thủ thuật này tránh UB bằng cách đảm bảo rằng định nghĩa của C có sẵn khi trình hủy này được biên dịch. Nếu không, quá trình biên dịch sẽ không thành công vì sizeofkhông thể xác định kiểu không hoàn chỉnh (kiểu khai báo chuyển tiếp) nhưng con trỏ có thể được sử dụng.

Trong hệ nhị phân đã biên dịch, mã này sẽ được tối ưu hóa và sẽ không có hiệu lực.

Lưu ý rằng: Xóa loại không hoàn chỉnh có thể là hành vi không xác định từ 5.3.5 / 5 :.

nếu đối tượng bị xóa có loại lớp không hoàn chỉnh tại điểm xóa và lớp hoàn chỉnh có hàm hủy không tầm thường hoặc hàm phân bổ, thì hành vi là không xác định .

g++ thậm chí đưa ra cảnh báo sau:

cảnh báo: vấn đề có thể được phát hiện trong lệnh gọi của toán tử xóa:
cảnh báo: 'p' có
cảnh báo loại không đầy đủ : khai báo chuyển tiếp của 'struct C'

sizeof(C)sẽ không thành công tại thời điểm biên dịch nếu Ckhông phải là một loại hoàn chỉnh. Đặt phạm vi cục bộ enumcho nó làm cho câu lệnh trở nên lành tính trong thời gian chạy.

Đó là một cách để lập trình viên tự bảo vệ mình khỏi chính họ: hành vi của một tiếp theo delete ptr_trên một kiểu không hoàn chỉnh là không xác định nếu nó có một trình hủy không tầm thường.

Để hiểu enum, hãy bắt đầu với việc xem xét hàm hủy mà không có nó:

~scoped_ptr() {
    delete ptr_;
}

ở đâu ptr_a C*. Nếu loại Clà không đầy đủ vào thời điểm này, tức là tất cả những gì trình biên dịch biết là struct C;, sau đó ⁽¹⁾ một mặc định tạo làm-gì destructor được sử dụng cho các trường hợp C chỉ vào. Đó không phải là điều đúng đắn để làm đối với một đối tượng được quản lý bởi một con trỏ thông minh.

Nếu việc xóa thông qua con trỏ đến kiểu không hoàn chỉnh luôn có Hành vi không xác định, thì tiêu chuẩn có thể chỉ yêu cầu trình biên dịch chẩn đoán và không thành công. Nhưng nó được xác định rõ ràng khi trình hủy thực sự là tầm thường: kiến ​​thức mà lập trình viên có thể có, nhưng trình biên dịch không có. Tại sao ngôn ngữ định nghĩa và cho phép điều này là ngoài tôi, nhưng C ++ hỗ trợ nhiều phương pháp mà ngày nay không được coi là phương pháp tốt nhất.

Một kiểu hoàn chỉnh có kích thước đã biết và do đó, sizeof(C)sẽ biên dịch nếu và chỉ khi Clà một kiểu hoàn chỉnh - với hàm hủy đã biết. Vì vậy, nó có thể được sử dụng như một người bảo vệ. Một cách sẽ đơn giản là

(void) sizeof(C);  // Type must be complete

Tôi đoán rằng với một số trình biên dịch và các tùy chọn, trình biên dịch sẽ tối ưu hóa nó trước khi nó có thể nhận thấy rằng nó không nên biên dịch và đó enumlà một cách để tránh hành vi trình biên dịch không phù hợp như vậy:

enum { type_must_be_complete = sizeof(C) };

Một lời giải thích thay thế cho sự lựa chọn enumthay vì chỉ là một biểu thức bị loại bỏ, chỉ đơn giản là sở thích cá nhân.

Hoặc như James T. Hugget đề xuất trong một nhận xét cho câu trả lời này, "enum có thể là một cách tạo ra một thông báo lỗi giả di động tại thời điểm biên dịch".

^{(1) Bộ hủy không làm gì được tạo mặc định cho kiểu không hoàn chỉnh là một vấn đề với cũ std::auto_ptr. Nó xảo quyệt đến mức nó được đưa vào mục GOTW về thành ngữ PIMPL , được viết bởi chủ tịch hội đồng tiêu chuẩn hóa C ++ quốc tế Herb Sutter. Tất nhiên, ngày nay điều đó std::auto_ptrkhông còn được dùng nữa, thay vào đó người ta sẽ sử dụng một số cơ chế khác.}

Có thể một thủ thuật để chắc chắn Cđược xác định.