"cv-unqualified" có nghĩa là gì trong C++?

Question

Từ chủ đề. Tôi đã thấy thuật ngữ này trong một câu hỏi mà gần đây tôi đã hỏi, và rõ ràng đó là một thuật ngữ được thiết lập tốt, nhưng tôi không thể tìm thấy bất cứ điều gì trên stackoverflow.

Answer 1

Có các loại cơ bản và loại hợp chất. Loại cơ bản là các loại số học, void và std::nullptr_t. Các loại hợp chất là mảng, hàm, con trỏ, tham chiếu, lớp, công đoàn, liệt kê và con trỏ tới các thành viên không tĩnh.

A cv-unqualified là loại bất kỳ trong số các loại đó.

Đối với bất kỳ loại cv-không đủ tiêu chuẩn, có ba tương ứng cv-trình độ loại:

• const trình độ - với const cv-vòng loại
• biến động có trình độ - với số volatile cv-qualifier
• const-volatile-qualified - với cả hai const và volatile cv-qualifiers

Lưu ý, tuy nhiên, cv-qualifiers áp dụng cho một loại mảng thực sự áp dụng cho các phần tử của nó.

Loại cv-đủ điều kiện và cv không đủ điều kiện là khác biệt. Đó là int là một loại riêng biệt từ const int.

Answer 2

Loại là "cv-unqualified" nếu nó không có bất kỳ vòng loại cv nào. Giá trị cv là const hoặc volatile.

Answer 3

Nói chung nó có nghĩa là "cùng loại, nhưng với bất kỳ loại vòng loại cv nào bị xóa", vì vậy (ví dụ) phiên bản không hợp lệ của void volatile * const x sẽ là void *x.

Lưu ý rằng ở đây, tuy nhiên, tôi đang xóa các vòng loại cv khỏi cả hai con trỏ chính nó và những gì nó trỏ đến. Trong hầu hết các trường hợp, cv-unqualified sẽ chỉ tham chiếu đến một đối tượng tại một thời điểm, do đó, phiên bản cv-unqualified của con trỏ sẽ vẫn là void volatile *x, trong khi phiên bản cv-unqualfied của điểm nó sẽ là void *const x.

Answer 4

cv là viết tắt của const và volatile (và hiếm khi mutable), hai thuộc tính đủ điều kiện cho một loại. Bạn có thể thao tác chúng với std::remove_const và các mục tương tự trong C++ 11.

Các cppreference trang web tuyệt vời gives you more thông tin.

Để trả lời câu hỏi của bạn, một loại cv-không đủ điều kiện hoặc không có hoặc được tước từ cv-vòng loại của nó. Ví dụ: int là phần không đủ tiêu chuẩn của const volatile int.

std::remove_cv<T>::type là phần cv-unqualified T.

Answer 5

cv-không đủ tiêu chuẩn loại là một loại mà chưa được quy định bởi bất kỳ cv-vòng loại. Các giá trị này xác định hai thuộc tính cơ bản của một loại: constness và biến động. Xem C++ 03 3.9.3 CV-vòng loại §1:

Một loại nêu tại 3.9.1 và 3.9.2 là một cv-không đủ tiêu chuẩn loại. Mỗi loại mà là một hoàn chỉnh hoặc không đầy đủ loại đối tượng cv-không đủ tiêu chuẩn hoặc là void (3.9) có ba phiên bản cv có trình độ tương ứng của loại của nó:

• một phiên bản const trình độ,
• một dễ bay hơi -qualified phiên bản và
• a const-volatile-qualified phiên bản.

Loại đối tượng hạn (1.8) bao gồm các ký hiệu vòng loại cv được chỉ định khi đối tượng được tạo.

Sự hiện diện của một specifier const trong một decl-specifier-seq tuyên bố một đối tượng của const đủ tiêu chuẩn loại đối tượng; đối tượng đó được gọi là const object.

Sự hiện diện của một specifier volatile trong một decl-specifier-seq tuyên bố một đối tượng của volatilequalified loại đối tượng; đối tượng đó được gọi là volatile object.

Sự hiện diện của cả cv-vòng loại trong một declspecifier-seq tuyên bố một đối tượng của const-volatile đủ tiêu chuẩn loại đối tượng; đối tượng đó được gọi là const volatile object.