Question

在C ++中，我有一个只需要对数组进行只读访问但是被错误地声明为接收非const指针的函数：

size_t countZeroes( int* array, size_t count )
{
    size_t result = 0;        
    for( size_t i = 0; i < count; i++ ) {
       if( array[i] == 0 ) {
           ++result;
       }
    }
    return result;
}

我需要为const数组调用它：

static const int Array[] = { 10, 20, 0, 2};

countZeroes( const_cast<int*>( Array ), sizeof( Array ) / sizeof( Array[0] ) );

这会是未定义的行为吗？如果是这样 - 程序什么时候运行到UB-进行const_cast并调用functon或访问数组时？

Answer 1

是的，允许（如果危险！）。它是对const对象的实际写入，它引发了未定义的行为，而不是转换本身（7.1.5.1/4 [dcl.type.cv]）。

正如5.2.11 / 7 [expr.const.cast]中的标准注释，根据对象的类型，尝试通过抛弃const的结果写入指针可能会产生未定义行为。

Answer 2

由于您的代码没有修改数组，并且您告诉编译器您使用const_cast知道自己在做什么，所以实际上您可以。但是，我相信你在技术上调用了未定义的行为。最好修复函数声明，或者编写，声明和使用它的const安全版本。

Answer 3

是的，你可以这样做。不，只要该函数没有尝试写入数组，它就不是未定义的行为。

Answer 4

const_cast的问题总是一样的 - 它允许你“违反规则”，就像在void*之间进行投射一样 - 确定你可以这样做，但问题是你为什么要？

在这种情况下，它当然可以，但您应该问问自己为什么不首先声明size_t countZeroes( const int* array, size_t count )？

作为关于const_cast的一般规则：

可能很难找到错误
你正在抛弃与编译器的const协议
基本上你将语言转变为较低级别的语言。

Answer 5

在最初定义为const_cast的对象上使用const是UB，因此未定义的行为会在您调用const_cast时立即出现。

是否使用const_cast对只允许的const对象进行只读访问？

5 个答案: