问题描述
|
众所周知，STL类不在任何地方使用虚拟方法（并且STL也不在任何地方使用继承，并且这两个事实是相互关联的），并且STL并不是唯一的。
假设地球上还存在其他性能怪胎[存在]，这些性能怪胎会为每个类要求自己“我是否需要为此类X使用虚方法？”和“此类X是否可以不任何虚拟机，就像STL类一样，都能获得更好的性能？\“
与“ virtuals”基类相比，缺少任何虚拟方法（包括dtor）都会使多态和子类化更加困难。显然，“非虚拟”类不太适合作为基类。
问题：是否有技术（用于c ++）允许程序员一次性创建两个相同类X的版本，一个“非虚拟”版本Xnv（用于性能）和一个“虚拟”版本Xv，用于子类化？如果不需要，请说明原因。
Post-note
解决方法
问题：是否有技术（用于c ++）允许程序员一次性创建两个相同类X的版本，一个“非虚拟”版本Xnv（用于性能）和一个“虚拟”版本Xv，用于子类化？
当您可以吃蛋糕时也为什么要这样做呢？
使用CRTP，您具有编译时多态性，并且子类具有覆盖行为的能力，而虚拟函数没有任何开销。
或者，您可以使用\“ traits \”类来注入行为。
, 我想你可以...
struct Base
{
virtual ~Base();
virtual void foo();
};
struct Dummy {};
template <bool is_virtual>
struct SelectBase
{
typedef Base type;
};
template <>
struct SelectBase<false>
{
typedef Dummy type;
};
template <bool is_virtual>
struct MyClass : SelectBase<is_virtual>::type
{
~MyClass();
void foo();
};
int main()
{
Base* xv = new MyClass<true>(); // virtual version
MyClass<false>* xnv = new MyClass<false>(); // non-virtual version
xv->foo(); // virtual call
xnv->foo(); // non-virtual call
}
final
template<typename T> class something {
virtual const T& operator*() = 0;
virtual something<T>& operator++() = 0; // This should be only prefix
// etc
};
template<typename Derived,typename T> class something_better : public something<T> {
typename Derived::const_iterator i;
public:
something_better(const Derived& d) {
i = d.begin();
}
const T& operator*() {
return *i;
}
something<T>& operator++() {
++i;
return *this;
}
something<T>& operator--() {
--i;
return *this;
}
};