Mô tả của std::is_voidtiểu bang rằng:
Cung cấp giá trị hằng số thành viên bằng true, nếu T là kiểu void, const void, portable void, hoặc const variable void.
Sau đó, những gì có thể được const void, hoặc một volatile void?
Câu trả lời này nói rằng const voidkiểu trả về sẽ không hợp lệ (tuy nhiên được biên dịch trên VC ++ 2015)
const void foo() { }
Nếu theo tiêu chuẩn, const voidlà không hợp lệ (VC bị sai) - thì là const voidgì?
void
Câu trả lời:
const voidlà một kiểu mà bạn có thể tạo một con trỏ tới. Nó tương tự như một con trỏ void thông thường, nhưng các chuyển đổi hoạt động khác. Ví dụ, a const int*không thể được chuyển đổi hoàn toàn thành a void*, nhưng nó có thể được chuyển đổi hoàn toàn thành a const void*. Tương tự như vậy, nếu bạn có một const void*bạn không thể static_castnó đến một int*, nhưng bạn có thể static_castnó vào một const int*.
const int i = 10;
void* vp = &i; // error
const void* cvp = &i; // ok
auto ip = static_cast<int*>(cvp); // error
auto cip = static_cast<const int*>(cvp); // ok
const void, nhưng nó xoay quanh các con trỏ void và non-void [with (non-) const-ness].
const void*là lý do duy nhất bạn từng thấy const void. Nó có thể được chuyển xung quanh như một đối số mẫu, nhưng loại đối số đó sẽ chỉ được khởi tạo bằng một ký tự *ở cuối nó.
const voidtrong câu hỏi của luật sư ngôn ngữ
const voidlà tất cả các kiểu trong C ++ đều có thể được thực hiện const. Nó "tồn tại" trong cùng một cách voidtồn tại. Câu trả lời của @Benjamin Lindley giải thích nó là gì thông qua thời điểm bạn nhìn thấy nó và cách bạn sử dụng nó.
As void, const voidlà một kiểu trống. Tuy nhiên, nếu const voidlà kiểu trả về thì kiểu constnày là vô nghĩa (mặc dù hợp pháp!), Bởi vì [expr] / 6 :
Nếu một giá trị prvalue ban đầu có kiểu “ cv
T”, trong đóTlà kiểu không phải lớp, không phải mảng, không đủ tiêu chuẩn cv, thì kiểu của biểu thức được điều chỉnh thànhTtrước khi phân tích thêm.
Tuy nhiên, bản thân nó là một kiểu hợp lệ và xuất hiện trong các hàm thư viện chuẩn C, ví dụ , nó được sử dụng để đảm bảo tính đúng hằng của con trỏ đối số: int const*không thể chuyển đổi thành void*, nhưng void const*.
const voidnhư kiểu trả về ảnh hưởng đến kiểu hàm, vì vậy nó không hoàn toàn vô nghĩa.
Các loại có thể là kết quả của các mẫu; một mẫu có thể nêu const T, và được khởi tạo với Tnhư void.
Câu trả lời được liên kết bị đánh lừa, hay nói đúng hơn là bị hạn chế về quan điểm ở chỗ nó liên quan đến trường hợp đặc biệt của loại không phải mẫu và thậm chí sau đó const voidcó thể vô nghĩa , nhưng nó là mã hợp lệ .
voidnếu không cóconst".