删除const：从std :: shared_ptr＆lt; const t＆gt铸造。到t

Question

有没有一种方法可以从t = std :: shared_ptr＆lt; const a＆gt; to tcv = a请？我使用了以下方式：

template<typename T> struct is_shared_ptr : std::false_type {};
template<typename T> struct is_shared_ptr<std::shared_ptr<T>> : std::true_type {};

template<typename T>
concept is_shared = is_shared_ptr<T>::value;

template<typename T, typename U>
requires is_shared<T> and is_shared<U>
static void operate(const T& x, const U& y)
{
    using TCV = std::remove_cv<typename decltype(T)::element_value>;
    using UCV = std::remove_cv<typename decltype(U)::element_value>;
    forward_operate(const_cast<TCV>(*x), const_cast<UCV>(*y));
};

forward_operate的签名是：

template<typename A, typename B>
forward_operate(A&, B&);

此代码不起作用（OFC），请您提供帮助吗？我也应该这样做（我需要这样做）吗？

Answer 1

从std :: shared_ptr到t

铸造

您无法从（智能）指针铸造到尖头类型。您必须通过指针间接访问指向对象。

根据尝试的代码，看起来您正在尝试做到这一点：

forward_operate(
    const_cast<typename T::element_type&>(*x),
    const_cast<typename U::element_type&>(*y));

请记住，抛弃const是强烈的代码气味。除非您了解它的作用，否则不要这样做。