Khai báo một đối tượng const trong C ++ đòi hỏi một hàm tạo mặc định do người dùng định nghĩa. Nếu tôi có một biến thành viên có thể thay đổi, tại sao không?

Trong C ++, để khai báo một đối tượng của một lớp có biến thành viên là const, chúng ta phải có một hàm tạo mặc định do người dùng định nghĩa. Các mã sau đây minh họa điều này.

class Some {
    int value;
};

int main() {
    // error: default initialization of an object of const type 'const Some'
    //        without a user-provided default constructor
    const Some some;

    return 0;
}

Tuy nhiên, nếu một biến thành viên thuộc sở hữu của một lớp đủ điều kiện là có thể thay đổi, trình biên dịch sẽ không báo cáo bất kỳ lỗi nào. Để tham khảo, tôi biên dịch bằng cách sử dụng lệnh clang++ -std=c++17 -stdlib=libc++ helloworld.cpp -o helloworld.out --debug. Tôi tự hỏi nếu kết quả này là do lỗi trong trình biên dịch hoặc theo cú pháp được xác định trong ngôn ngữ C ++.

class Some {
    mutable int value;
};

int main() {
    const Some some;

    return 0;
}

Viết lại nhận xét của tôi như một câu trả lời, hy vọng nó có thể giúp được ai đó.

Không có nghĩa gì khi khai báo một đối tượng const nếu nó không được khởi tạo ở một số dạng.
Hãy xem xét các mã sau đây:

    const int x;

clang nói : error: default initialization of an object of const type 'const int'.
gcc sẽ nói:error: uninitialized const ‘x’ [-fpermissive]

Logic đằng sau điều này là không có ý nghĩa trong loại khai báo này.
Giá trị của xkhông bao giờ có thể thay đổi, và do đó mã này sẽ không thể đoán trước được như xđược ánh xạ tới bộ nhớ chưa được khởi tạo.
Trong ví dụ của bạn, việc thêm từ khóa mutablevào valuecó nghĩa là mặc dù Somethể hiện là hằng số khi được khai báo là:

    const Some some;

Vẫn có thể thay đổi valuesau đó.
Ví dụ:

    some.value = 8;

Điều này có nghĩa là có thể sử dụng mã này theo cách có thể dự đoán được, vì valuecó thể được đặt sau và không có hằng số chưa được khởi tạo.