删除visualstudio标题中的void指针

deleting void pointer in visual studio headers

本文关键字：void 指针 visualstudio 标题 删除      更新时间：2023-10-16

我在visualstudio头文件中发现了一些地方，通过指向void的指针释放内存。

xlocnum文件：

template<class _Elem>
class numpunct
: public locale::facet
{ 
_PROTECTED:
_VIRTUAL __CLR_OR_THIS_CALL ~numpunct()
{       // destroy the object
_Tidy();
}
...
protected:
void __CLR_OR_THIS_CALL _Init(const _Locinfo& _Lobj)
{       // initialize from _Lobj
_Grouping = 0;
_Falsename = 0;
_Truename = 0;
_TRY_BEGIN
_Grouping = _MAKLOCSTR(char, _Ptr->grouping, _Lobj._Getcvt());
_Falsename = _MAKLOCSTR(_Elem, _Lobj._Getfalse(), _Lobj._Getcvt());
_Truename = _MAKLOCSTR(_Elem, _Lobj._Gettrue(), _Lobj._Getcvt());
_CATCH_ALL
_Tidy();
_RERAISE;
_CATCH_END
...
}
...
private:
void __CLR_OR_THIS_CALL _Tidy()
{       // free all storage
_DELETE_CRT_VEC((void *)_Grouping);
_DELETE_CRT_VEC((void *)_Falsename);
_DELETE_CRT_VEC((void *)_Truename);
}
... 
const char *_Grouping;  // grouping string, "" for "C" locale
const _Elem *_Falsename;// name for false, "false" for "C" locale
const _Elem *_Truename; // name for true, "true" for "C" locale
};

或者xlocale中的另一个例子：

template<> class _CRTIMP2_PURE ctype<char>
: public ctype_base
{
public:
explicit __CLR_OR_THIS_CALL ctype(const mask *_Table = 0,
bool _Deletetable = false,
size_t _Refs = 0)
: ctype_base(_Refs)
{       // construct with specified table and delete flag for table
...
if (_Table != 0)
{       // replace existing char to mask table
_Tidy();
_Ctype._Table = _Table;
_Ctype._Delfl = _Deletetable ? -1 : 0;
}
}
protected:
void __CLR_OR_THIS_CALL _Tidy()
{       // free any allocated storage
if (0 < _Ctype._Delfl)
free((void *)_Ctype._Table);
else if (_Ctype._Delfl < 0)
delete[] (void *)_Ctype._Table;
}
}

正如在https://stackoverflow.com/a/941959/1549256通过void指针删除是C++标准未定义的。

为什么在这种情况下释放记忆是正确的？

标准库实现中的代码不必符合语言定义。它可以利用实施方面的知识；这就是它与编译器一起提供的原因。

未定义并不意味着它不会工作，它只是意味着实现可以自由地做任何它想做的事情，包括工作正常

删除强制转换指针的一个可能问题是，可能不会调用析构函数，但如果类型没有在删除时需要反转的构造函数，则这可能不是问题。

相关文章：