c++ - 如何使用 std::is_volatile？

Question

我试图禁止对 volatile 类型的特定操作。为此，我尝试使用 std::is_volatile，但下面的代码编译时没有错误，这不是我想要的。

为什么is_volatile::value false在下面的情况下？

#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

问题是 T 不是 volatile类型。它是 volatile char* .等一下，你说，我看到了volatile在那里。没错，但请考虑一下:char* volatile是易失的类型。 volatile char*不是。它是一个指向 volatile char 的非 volatile 指针数组。

解决方案:std::is_volatile<typename std::remove_pointer<T>::type>