Trình biên dịch có thể đặt việc thực hiện một hàm hủy ảo được khai báo ngầm trong một đơn vị dịch riêng biệt không?

Đoạn mã sau sẽ biên dịch và liên kết với Visual Studio(cả 2017 và 2019 với /permissive-), nhưng không biên dịch với một trong hai gcchoặc clang.

foo.h

#include <memory>

struct Base {
    virtual ~Base() = default; // (1)
};

struct Foo : public Base {
    Foo();                     // (2)
    struct Bar;
    std::unique_ptr<Bar> bar_;
};

foo.cpp

#include "foo.h"

struct Foo::Bar {};            // (3)
Foo::Foo() = default;

main.cpp

#include "foo.h"

int main() {
    auto foo = std::make_unique<Foo>();
}

Sự hiểu biết của tôi là, trong main.cpp, Foo::Barphải là một loại hoàn chỉnh, bởi vì việc xóa nó được cố gắng ~Foo(), được khai báo ngầm và do đó được định nghĩa ngầm trong mọi đơn vị dịch thuật truy cập nó.

Tuy nhiên, Visual Studiokhông đồng ý và chấp nhận mã này. Ngoài ra, tôi thấy rằng các thay đổi sau đây sẽ Visual Studiotừ chối mã:

• Làm cho (1)không ảo
• Xác định (2)nội tuyến - tức là Foo() = default;hoặcFoo(){};
• Đang gỡ bỏ (3)

Nó trông như thể Visual Studiotôi không định nghĩa một hàm hủy ngầm ẩn ở mọi nơi nó được sử dụng theo các điều kiện sau:

• Hàm hủy ngầm định là ảo
• Lớp này có một hàm tạo được định nghĩa trong một đơn vị dịch khác

Thay vào đó, nó dường như chỉ định nghĩa hàm hủy trong đơn vị dịch cũng chứa định nghĩa cho hàm tạo trong điều kiện thứ hai.

Vì vậy, bây giờ tôi đang tự hỏi:

• Điều này có được phép không?
• Nó được chỉ định ở bất cứ đâu, hoặc ít nhất được biết, đó là Visual Studiođiều này?

Cập nhật: Tôi đã gửi báo cáo lỗi https://developercommunity.visualstudio.com/content/probols/790224/implictly-declared-virtual-destructor-does-not-app.html . Hãy xem những gì các chuyên gia làm về điều này.

Tôi tin rằng đây là một lỗi trong MSVC. Đối với std::default_delete::operator(), Tiêu chuẩn nói rằng [unique.ptr.dltr.dflt / 4] :

Lưu ý: Nếu T là loại không hoàn chỉnh, chương trình không được định dạng đúng .

Vì không có mệnh đề "không cần chẩn đoán" , nên trình biên dịch C ++ tuân thủ được yêu cầu để đưa ra chẩn đoán [intro.compliance / 2.2] :

Nếu một chương trình có vi phạm bất kỳ quy tắc có thể chẩn đoán nào hoặc ..., việc triển khai tuân thủ sẽ đưa ra ít nhất một thông báo chẩn đoán .

cùng với [giới thiệu / tuân thủ / 1] :

Tập hợp các quy tắc có thể chẩn đoán bao gồm tất cả các quy tắc cú pháp và ngữ nghĩa trong tài liệu này ngoại trừ các quy tắc có chứa một ký hiệu rõ ràng rằng không có chẩn đoán nào được yêu cầu, hoặc được mô tả là dẫn đến hành vi không xác định được.

GCC sử dụng static_assertđể chẩn đoán tính đầy đủ của loại. MSVC dường như không thực hiện kiểm tra như vậy. Nếu nó âm thầm truyền tham số std::default_delete::operator()đến delete, thì điều này gây ra hành vi không xác định . Mà có thể tương ứng với quan sát của bạn. Nó có thể hoạt động, nhưng cho đến khi nó được đảm bảo bởi tài liệu (như một phần mở rộng C ++ không chuẩn), tôi sẽ không sử dụng nó.