Использование операторов неявного преобразования не рекомендуется.В C ++ 11 вы можете добавить ключевое слово explicit
не только в конструкторы с одним аргументом, но и в операторы преобразования.Для кода C ++ 03 вы могли бы использовать явно преобразованную функцию преобразования, такую как self()
или down_cast()
.
Кроме того, вы, кажется, используете класс Base
для CRTP, то есть для включения статическогополиморфизм.Это означает, что вы должны знать во время компиляции , какой именно Derived
класс вы вызываете.Поэтому вам не нужно использовать ссылки const Base&
в любом открытом коде, кроме как для реализации интерфейса CRTP.
В моих проектах у меня есть шаблон класса enable_crtp
:
#include <type_traits>
#include <boost/static_assert.hpp>
template
<
typename Derived
>
class enable_crtp
{
public:
const Derived& self() const
{
return down_cast(*this);
}
Derived& self()
{
return down_cast(*this);
}
protected:
// disable deletion of Derived* through Base*
// enable deletion of Base* through Derived*
~enable_crtp()
{
// no-op
}
private:
// typedefs
typedef enable_crtp Base;
// cast a Base& to a Derived& (i.e. "down" the class hierarchy)
const Derived& down_cast(const Base& other) const
{
BOOST_STATIC_ASSERT((std::is_base_of<Base, Derived>::value));
return static_cast<const Derived&>(other);
}
// cast a Base& to a Derived& (i.e. "down" the class hierarchy)
Derived& down_cast(Base& other)
{
// write the non-const version in terms of the const version
// Effective C++ 3rd ed., Item 3 (p. 24-25)
return const_cast<Derived&>(down_cast(static_cast<const Base&>(other)));
}
};
Этот класс является частным производным от любого базового класса CRTP ISomeClass, например:
template<typename Impl>
class ISomeClass
:
private enable_crtp<Impl>
{
public:
// interface to be implemented by derived class Impl
void fun1() const
{
self().do_fun1();
}
void fun2()
{
self().do_fun2()
}
protected:
~ISomeClass()
{}
};
Различные производные классы могут реализовывать этот интерфейс по-своему, например:
class SomeImpl
:
public ISomeClass<SomeImpl>
{
public:
// structors etc.
private:
// implementation of interface ISomeClass
friend class ISomeClass<SomeImpl>;
void do_fun1() const
{
// whatever
}
void do_fun2()
{
// whatever
}
// data representation
// ...
};
* 1022Вызов * внешнего кода
fun1
из
class SomeImpl
будет делегирован соответствующей константной или неконстантной версии
self()
в
class enable_crtp
, и после down_casting будет вызвана реализация
do_fun1
.При наличии достойного компилятора все косвенности должны быть полностью оптимизированы.
ПРИМЕЧАНИЕ: защищенные деструкторы ISomeClass
и enable_crtp
делают код безопасным для пользователей, которые пытаются удалить объекты SomeImpl*
через базовые указатели.