Skip to main content

Using Virtual Base Classes to Avoid Ambiguity

Let’s start this with the following example program:


  // this program contains errors
  #include<iostream.h>

  // base class
  class base
  {
  public:
    int a;
  };

  // derived class (1)
  class derived1:public base
  {
  public:
    int b;
  };

  // derived class (2)
  class derived2:public base
  {
  public:
    int c;
  };

  // derived class (3)
  class derived3:public derived1, public derived2
  {
  public:
    int d;
  };

  // main
  void main()
  {
    derived3 ob;

    // this is ambiguous
    // since two copies of
    // base is present in
    // the class derived3
    // one from derived1 &
    // the other from derived2
    ob.a=10;
  }

The program above contains an error (as stated) in the following line:

ob.a=10;

Since the base class is inherited by the two classes (derived1 and derived2), which are again inherited (both together) by another class derived3, there are two copies of the base class (and hence two copies of variable ‘a’ too).

Therefore when we refer to the variable ‘a’ with respect to the derived3 class then as there are two copies of it, it becomes ambiguous or confusing for the compiler to select one from the two and hence it is reported as an ERROR.

This is very common error which creeps in when you write long and complex program consisting of classes some of which are hierarchically inherited.

So how can we prevent this from happening?

Actually, we can prevent this by using the scope resolution operator but this is not a permanent solution besides having other flaws. Then what else can we do?

Yeah, you guessed it right; Virtual Base Class is he answer.

Now, have a look at the same program with slight modification (as to apply the virtual base class method), now it’s perfectly all right!


  // Virtual base classes
  #include<iostream.h>

  // base class
  class base
  {
  public:
    int a;
  };

  // derived class (1)
  // notice the use of virtual keyword
  class derived1:virtual public base
  {
  public:
    int b;
  };

  // derived class (2)
  // notice the use of virtual keyword
  class derived2:virtual public base
  {
  public:
    int c;
  };

  // derived class (3)
  class derived3:public derived1, public derived2
  {
  public:
    int d;
  };

  // main
  void main()
  {
    derived3 ob;

    // now it's O. K.
    ob.a=10;
  }

As you can see, we’re using virtual keyword to derive the classes (derived1 and derived2) from the base class.

This prevents other inheriting classes (which inherits more than one such derived classes) to have only one copy of the base class and hence ruling out chances of ambiguity.

Please note that the derived classes (derived1 and derived2 individually) still contains one-one copy of base class, it is only when they are inherited is the virtual nature comes into action.

We conclude this article with the following example program to illustrate all that we have discussed so far in this article.


  // Virtual base classes
  #include<iostream.h>

  // base class
  class base
  {
  public:
    int a;
  };

  // derived class (1)
  // notice the use of virtual keyword
  class derived1:virtual public base
  {
  public:
    int b;
  };

  // derived class (2)
  // notice the use of virtual keyword
  class derived2:virtual public base
  {
  public:
    int c;
  };

  // derived class (3)
  class derived3:public derived1, public derived2
  {
  public:
    int d;
  };

  // main
  void main()
  {
    derived1 ob1;
    derived2 ob2;
    derived3 ob3;

    // derived classes still
    // contain one-one copy 
    // of the base class
    ob1.a=10;
    ob2.a=20;

    // but the class derived
    // form the classes of 
    // the above two objects
    // contains only one copy
    // of the base class
    ob3.a=100;
  }

Related Articles:

Popular posts from this blog

Fix For Toshiba Satellite "RTC Battery is Low" Error (with Pictures)

RTC Battery is Low Error on a Toshiba Satellite laptop "RTC Battery is Low..." An error message flashing while you try to boot your laptop is enough to panic many people. But worry not! "RTC Battery" stands for Real-Time Clock battery which almost all laptops and PCs have on their motherboard to power the clock and sometimes to also keep the CMOS settings from getting erased while the system is switched off.  It is not uncommon for these batteries to last for years before requiring a replacement as the clock consumes very less power. And contrary to what some people tell you - they are not rechargeable or getting charged while your computer or laptop is running. In this article, we'll learn everything about RTC batteries and how to fix the error on your Toshiba Satellite laptop. What is an RTC Battery? RTC or CMOS batteries are small coin-shaped lithium batteries with a 3-volts output. Most laptops use

The Best Way(s) to Comment out PHP/HTML Code

PHP supports various styles of comments. Please check the following example: <?php // Single line comment code (); # Single line Comment code2 (); /* Multi Line comment code(); The code inside doesn't run */ // /* This doesn NOT start a multi-line comment block /* Multi line comment block The following line still ends the multi-line comment block //*/ The " # " comment style, though, is rarely used. Do note, in the example, that anything (even a multi-block comment /* ) after a " // " or " # " is a comment, and /* */ around any single-line comment overrides it. This information will come in handy when we learn about some neat tricks next. Comment out PHP Code Blocks Check the following code <?php //* Toggle line if ( 1 ) {      // } else {      // } //*/ //* Toggle line if ( 2 ) {      // } else {      // } //*/ Now see how easy it is to toggle a part of PHP code by just removing or adding a single " / " from th

Introduction to Operator Overloading in C++

a1 = a2 + a3; The above operation is valid, as you know if a1, a2 and a3 are instances of in-built Data Types . But what if those are, say objects of a Class ; is the operation valid? Yes, it is, if you overload the ‘+’ Operator in the class, to which a1, a2 and a3 belong. Operator overloading is used to give special meaning to the commonly used operators (such as +, -, * etc.) with respect to a class. By overloading operators, we can control or define how an operator should operate on data with respect to a class. Operators are overloaded in C++ by creating operator functions either as a member or a s a Friend Function of a class. Since creating member operator functions are easier, we’ll be using that method in this article. As I said operator functions are declared using the following general form: ret-type operator#(arg-list); and then defining it as a normal member function. Here, ret-type is commonly the name of the class itself as the ope