Làm thế nào để sử dụng std :: is_volatile?

Question

Tôi đang cố gắng không cho phép một hoạt động cụ thể trên các loại biến động. Để thực hiện điều này tôi đang cố gắng sử dụng std::is_volatile, nhưng mã bên dưới được biên dịch mà không có lỗi, mà không phải là những gì tôi muốn.

Tại sao is_volatile::valuesai trong trường hợp dưới đây?

#include <type_traits> 

template<typename T> 
inline void DoStuff(T val) { 
    static_assert(!std::is_volatile<T>::value, "No volatile types plz"); 
    //... 
} 

int main() { 
    volatile char sometext[261]; 
    DoStuff(sometext); 
} 

Answer 1

Vấn đề là T không phải là một loại volatile ở tất cả. Đó là volatile char*. Chờ một phút, bạn nói, tôi thấy volatile ngay tại đó. Đúng, nhưng hãy xem xét điều này: char* volatile là một loại dễ bay hơi. volatile char* thì không. Đó là một con trỏ không bay hơi đến một mảng char dễ bay hơi.

Giải pháp: std::is_volatile<typename std::remove_pointer<T>::type>

Answer 2

Bởi vì các hàm chấp nhận đối số của nó theo giá trị, cv-qualification của đối số gốc bị mất.

Chấp nhận nó bằng cách tham khảo:

void DoStuff(T& val) 

Answer 3

Khi cố gắng để vượt qua mảng bằng giá trị, nó phân rã thành một con trỏ đến phần tử đầu tiên của nó.

Điều này có nghĩa là val thực sự là một int volatile *. Như vậy, nó trỏ đến một biến động int, nhưng bản thân nó không dễ bay hơi. Do đó, std::is_volatile trả về sai.

Bạn có thể thử tham gia mảng theo tham chiếu hoặc sử dụng std::remove_pointer.