Re: Static polymorphism and the LSP principle

I am trying to do Static polymorphism with templates while mainting
the OOP philosophy (for those cases where a virtual method dispatch is
too expensive).

template<class DERIVED_>
struct IAlgorithm {
   void calc() {
     static_cast<DERIVED_*>(this)->calc();
   };
};

struct SimpleAlg : public IAlgorithm<SimpleAlg> {
   void calc() {
   }
};

struct ComplexAlg : public IAlgorithm<ComplexAlg> {
   void calc() {
   };
};

I would like to store f.e. an vector<boost::any> list of instances of
classes that conform to the IAlgorithm interface- i.e. that contain
both SimpleAlgs and ComplexAlg - and the list should be completely
run-time alterable with regard to the order of items. Of course I
want clients only to use the IAlgorithm<> interface contract (LSP
principle).