Только для повышения рейтинга

Question

Мы все знаем, что касты C-стиля считаются злыми на C++. Именно поэтому они заменяются на const_cast<>, static_cast<> и dynamic_cast<>, чтобы обеспечить более персонализированное литье, позволяя программисту разрешать только предполагаемые классы конверсий. Все идет нормально.

Однако, по-видимому, нет встроенного синтаксиса для выполнения явных вентиляционный: Средство для выполнения иначе неявного преобразования в явном виде Base& baseRef = derived, не допуская обратные.

Хотя я знаю, что это довольно маленький угловой случай (в большинстве случаев неявные преобразования работают очень хорошо), мне было интересно, какие методы доступны для реализации такого рода в коде пользователя. Я думал о чем-то вдоль линий

template<class T> 
class upcast { 
    public: 
     template<class U, typename = typename std::enable_if<std::is_convertible<U, T>::value>::type> 
     upcast(U value) : value(value) {} 
     operator T() { return value; } 
    private: 
     T value; 
}; 

Однако, что кажется слишком сложным, чтобы быть хорошими, и так как я не специалист в шаблоне-метапрограммировании, я хотел бы спросить, есть ли другие/лучше/более простые подходы.

Answer 1

std::forward<T&> только позволит сбросов:

struct A {}; 
struct B : A {}; 
A a; 
B b; 
auto& x = std::forward<A&>(b); // OK 
auto& y = std::forward<B&>(a); // fails 
auto* px = std::forward<A*>(&b); // OK 
auto* py = std::forward<B*>(&a); // fails