Что происходит когда передается в функцию базового класса аргумент с типом производного класса?

    sterfrac():sterling(0,0,0){}
    sterfrac(sterling st):sterling(st){}           //конструкторы производного класса
    sterfrac(double d):sterling(d){}
    sterfrac(long p, int sh, int pe):sterling(p,sh,pe){}
 
..............
 
sterfrac operator+(sterfrac s2){           //метод производного класса передает свой 
                                                  //аргумент методу базового класса "sterling" 
    return sterling::operator+(s2);       // и при этом возвращает свой тип
 
   }
 
..........
 
 
//конструкторы базового класса "sterling"
sterling():pounds(0),shilling(0),pens(0){}
    sterling(double d){
        pounds=static_cast<long>(d);
        shilling=static_cast<int>((d - pounds)*20);
        pens=static_cast<int>((((d - pounds)*20)-shilling )*12);
 
    }
    sterling(long p, int sh, int pe):pounds(p),shilling(sh),pens(pe){
 
 
 
    }
 
//метод базового класса "sterling" которому передается аргумент производного класса "sterfrac"  
//но базовый класс должен принимать "sterling" ???
    sterling operator+(sterling s2){ 
 
 
          return sterling(double(sterling(pounds,shilling,pens))+double (s2));
      }
 
 
//метод базового класса "sterling"
      operator double(){ 
 
 
          return static_cast<double>(((((pounds*20)+shilling)*12)+pens)/2.4/100);
      }

 sterfrac(sterling st):sterling(st){}

sterfrac operator+(sterfrac s2){
    return sterfrac(sterling::operator+(static_cast<sterling>(s2)));
   }

sterfrac(sterling st):sterling(st){}