从模板函数内部的类型中删除常数

问题描述

|

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)));
}

公认很丑陋。