If Transaction had multiple constructors, each of which had to perform some of the same work, it would be good software engineering to avoid code replication by putting the common initialization code, including the call to logTransaction, into a private nonvirtual initialization function, say, init:
class Transaction { public: Transaction() { init(); } // call to non-virtual... virtual void logTransaction() const = 0; //... private: void init() { //... logTransaction(); // ...that calls a virtual! } };
This code is more insidious, because it will typically compile and link without complaint.In this case, because logTransaction is pure virtual in Transaction, most runtime systems will abort the program when the pure virtual is called (typically issuing a message to that effect). However, if logTransaction were a "normal" virtual function (i.e., not pure virtual) with an implementation in Transaction, that version would be called, and the program would merrily trot along, leaving you to figure out why the wrong version of logTransaction was called when a derived class object was created.
There are different ways to approach this problem. One is to turn logTransaction into a non-virtual function in Transaction, then require that derived class constructors pass the necessary log information to the Transaction constructor. That function can then safely call the nonvirtual logTransaction. Like this:
class Transaction { public: explicit Transaction(const std::string& logInfo); void logTransaction(const std::string& logInfo) const; // now a non-virtual func //... }; Transaction::Transaction(const std::string& logInfo) { //... logTransaction(logInfo); // now a non-virtual call } class BuyTransaction : public Transaction { public: BuyTransaction(parameters) : Transaction(createLogString(parameters)) // pass log info { //... } // to base class constructor // ... private: static std::string createLogString(parameters); };
Things to Remember
- Don't call virtual functions during construction or destruction, because such calls will never go to a more derived class than that of the currently executing constructor or destructor.