如何解决从模板函数内部的类型中删除常数
|void foo (void *p); // library function; can\'t edit
template<typename T>
void Remove (T *p)
{
// main code
foo(p); // Can we remove const ness of T here ?
}
我有多个功能,例如Remove()
,也可以用const T*
调用,而与ѭ3not不匹配。如果不超载/专门化overload1ѭ,我可以去除remove6ѭ的const
度吗? ...用法:
const int *p;
Remove(p); // error related to `foo()`
解决方法
如果您确实需要它,可以使用boost / C ++ 0x元函数:
template<typename T>
void Remove (T *p)
{
foo( const_cast< typename std::remove_const<T>::type *> (p) );
}
测试:https://ideone.com/L6urU
,怎么样:
template <typename T>
struct nonconst {
static T& value(T& value) { return value; }
};
template <typename T>
struct nonconst<T const> {
static T& value(T const& value) { return const_cast<T&>(value); }
};
如下使用它:
template<typename T>
void Remove (T* p) {
foo(&nonconst<T>::value(*p));
}
(或者进一步针对(非)const指针专门化模板。)
,那实际上是获取指向常量对象的指针,并删除常量,从而使常量(ѭ11able)能够使对象发生突变。这将与实际的公开接口不一致,这意味着它在任何类型上均能(并预期)工作。
不仅如此,它还允许您使用实际const对象的地址来调用它,这将是未定义的行为。
相反,如果绝对需要(并确保对象不是const),则应在调用模板函数之前删除constness,以使其按预期工作(而不是更改const类型)。
const A *p;
Remove(const_cast<A*>(p)); // error for `foo()`
,您也可以先对const void *
做static_cast
,然后对void *
做const_cast
:
template<typename T>
void Remove (T *p)
{
foo(const_cast<void*> (static_cast <const void*> (p)));
}
公认很丑陋。