为什么const_cast远离volatile只能用于指针

Question

// OK!
volatile CString* a0;
CString* a1 = const_cast<CString *>(a0);

// error C2440: 'const_cast' : cannot convert from 'volatile CString' to 'CString'
volatile CString b0;
CString b1 = const_cast<CString>(b0);

我在想,为什么const_cast只为指针工作？如何编译第二个案例？

Answer 1

const_cast作用于指针和引用,删除const和volatile限定符.使用它来转换为对象类型是没有意义的,因为那样你就可以创建一个副本,无论如何都不需要与原始版本具有相同的cv限定符.

如果您转换为非易失性引用,您的第二个示例将编译:

volatile CString b0;
CString & b1 = const_cast<CString &>(b0);

但是,使用该引用会给出未定义的行为,因为底层对象本身就是如此volatile.const_cast当您知道基础对象不具备这些资格时(或者在删除时const,当您知道结果不会用于修改对象时)时,您应该仅用于删除资格.

如果对象允许复制易失性对象(可能是复制构造函数采用参考易失性或易失性限定函数或转换运算符),则只能获得副本.如果CString不提供任何这些,则无法安全地复制volatile该类型的对象.