将所有权从 unique_ptr<T,void()(T)> 转移到 unique_ptr<const T,void()(const T)>

【问题标题】：Transfer ownership from unique_ptr<T,void(*)(T*)> to unique_ptr<const T,void(*)(const T*)>将所有权从 unique_ptr<T,void(*)(T*)> 转移到 unique_ptr<const T,void(*)(const T*)>
【发布时间】：2017-02-13 21:39:02
【问题描述】：

reinterpret_cast 会是这样的：

std::unique_ptr< const T , void (*) (const T *) >
to_const ( std::unique_ptr< T , void (*) (T *) > &ptr ) 
{ 
  return { ptr.release() , 
           reinterpret_cast< void (*) (const T *) >( ptr.get_deleter() ) } ; 
}

这里的deleter函数会被object调用，实际上是non-const。
但是有没有更清洁的方法可以在避免 UB 的同时进行这种传输？

【问题讨论】：

您能否更清楚地格式化您的代码？

标签： c++ c++11 unique-ptr

【解决方案1】：

不以void (*)(const T *) 作为删除器类型，不。但我们可以制作自己的删除器：

template <class T>
struct ConstDeleter {
    void (*deleter)(T*);

    void operator()(T const* ptr) {
        deleter(const_cast<T*>(ptr));
    }
};

std::unique_ptr<T const, ConstDeleter<T>>
to_const(std::unique_ptr<T, void (*)(T*)>& ptr)
{ 
  return {ptr.release(), ConstDeleter<T>{ptr.get_deleter()}};
}

这可以推广到任何删除器类型。

【讨论】：

以 const_cast 的名义，我重写了我非常复杂（可怕）的对象分配和构造级联中最可怕的部分。现在我想不出更清洁的方法，谢谢。