运算符重载的继承多态性如何实现 ？

scum2006

为什么使用重载的+的时候，TransactionAccount的 Balance没有被传递？



===============================
问题已解决，把父类的operator+ 作为virtual的，两个子类中分别override，就可以实现运算符重载的多态性了



父类：

1.   BankAccount(float);
   
2.   virtual float operator+(BankAccount&);
   
3. 
   
4. float BankAccount::operator+( BankAccount &acountIn )
   
5. {
   
6.         cout << "balance after  \"+\" is  " << acountIn.getBalance()  << endl;
   
7.         cout << "balance before \"+\" is  " << getBalance()  << endl;
   
8.         return getBalance() + acountIn.getBalance();
   
9. }
   
10.   

复制代码

两个子类，

1. SavingsAccount(float);
   
2.   float operator+( SavingsAccount & );
   
3.   float operator+( BankAccount & );
   
4. 
   
5. float SavingsAccount::operator+( SavingsAccount &acountIn )
   
6. {
   
7.         cout << "balance after  \"+\" is  " << acountIn.getBalance()  << endl;
   
8.         cout << "balance before \"+\" is  " << getBalance()  << endl;
   
9.         return getBalance() + acountIn.getBalance();
   
10. }
    
11. 
    
12. float SavingsAccount::operator+( BankAccount &acountIn )
    
13. {
    
14.         cout << "balance after  \"+\" is  " << acountIn.getBalance()  << endl;
    
15.         cout << "balance before \"+\" is  " << getBalance()  << endl;
    
16.         return getBalance() + acountIn.getBalance();
    
17. }

复制代码

1. 
   
2. TransactionAccount(float);
   
3.   float operator+( TransactionAccount & );
   
4.    float operator+( BankAccount & );
   
5. float TransactionAccount::operator+( TransactionAccount &acountIn )
   
6. {
   
7.         cout << "balance after  \"+\" is  " << acountIn.getBalance()  << endl;
   
8.         cout << "balance before \"+\" is  " << getBalance()  << endl;
   
9.         return getBalance() + acountIn.getBalance();
   
10. }
    
11. 
    
12. float TransactionAccount::operator+( BankAccount &acountIn )
    
13. {
    
14.         cout << "balance after  \"+\" is  " << acountIn.getBalance()  << endl;
    
15.         cout << "balance before \"+\" is  " << getBalance()  << endl;
    
16.         return getBalance() + acountIn.getBalance();
    
17. }

复制代码

这样子就两个子类想怎么加就怎么加了

1.         TransactionAccount * TA2 = new TransactionAccount(800);
   
2.         SavingsAccount * SA2 = new SavingsAccount(200);
   
3. 
   
4.         float tmp = *TA2 + *TA2;
   
5.         cout << "TransactionAccount + TransactionAccount = " << tmp << endl;
   
6.         cout << "==========================================" << endl;
   
7.         tmp = *SA2 + *SA2;
   
8.         cout << "SavingsAccount + SavingsAccount = " << tmp << endl;
   
9.         cout << "==========================================" << endl;
   
10.         tmp = *SA2 + *TA2;
    
11.         cout << "SavingsAccount + TransactionAccount = " << tmp << endl;
    
12.         cout << "==========================================" << endl;
    
13.         tmp = *TA2 + *SA2;
    
14.         cout << "TransactionAccount + SavingsAccount = " << tmp << endl;
    

复制代码

folklore

多态性是对指针而言的。

scum2006

folklore 发表于 2014-05-24 08:30
多态性是对指针而言的。

所以问题出在我没有传递指针

幻の上帝

**交换律小心被坑……

windoze

凡是打算在operator上实验多态性的童鞋，多半最后要掉进一个大坑里。

Herowinter

回复 5# windoze
不明真相的路过，大神能简单解释下潜在的问题吗？

   

windoze

回复 6# Herowinter

有两个类
class A{...};
class B : public A{...}

如果有A a; B b;
那么a+b的类型是？

如果有A a; B b=a;
那么a==b吗？

…………

如果你没想清上面这些问题的答案“应该”是什么，那坑已经在你脚下了

Herowinter

回复 7# windoze
多谢耐心解答，我的水平还真不是很确定答案，
我琢磨下再回答你。


   

windoze

回复 8# Herowinter

这些问题不是语法问题，而是“你该怎么做”的问题。

如果operator+是一个成员函数，A:: operator+(const A& )的返回类型按照惯例应该是一个右值，而且是一个值类型，在这里你唯一的选择就是A（话说此时你正在写A，还没有B呢）
但如果它返回A，那么a+b的返回的就是一个A的实例，也就是说，a+b会先把b“切片”成一个A类型的对象，再进行运算。

如果operator+是全局函数，对于类型A和B，你必须定义：
A operator+(const &A, const &A );
B operator+(const &A, const &B );
如果要满足交换律，你还得有：
B operator+(const &B, const &A );
B operator+(const &B, const &B );
如果B再有个子类C，上述的函数个数就要翻倍，如果C再有个子类D……

到这里，才只解决了一个加号而已，嗯，不说好了还有四则运算相等不等大于小于吗~~~~~~~~~~~~~

Herowinter

回复 9# windoze
这是个陨石坑啊。。。