函数参数为基类指针的引用，为何不能传子类的指针给它？

csoapy

代码：

1. #include <list>
   
2. 
   
3. class ICommand{};
   
4. class CSession : public ICommand{};
   
5. 
   
6. void Test(ICommand * & pCommand){}
   
7. 
   
8. int main(int argc, char *argv[])
   
9. {
   
10.        std::list<ICommand*> commands;
    
11.        std::list<CSession*> sessions;
    
12. 
    
13.        Test(*commands.begin());
    
14.        Test(*sessions.begin());
    
15.        
    
16.        return 0;
    
17. }
    

复制代码

Test(*sessions.begin())一行：error C2664: 'Test' : cannot convert parameter 1 from 'CSession *' to 'ICommand *&'

bruceteen

很显然的
如果这是允许的……，还是用代码来说吧

1. struct base {};
   
2. struct foo : base {};
   
3. 
   
4. int main()
   
5. {
   
6.         foo* p = new foo;
   
7. 
   
8.         base*& pb = p;
   
9. 
   
10.         pb = new base;
    
11. 
    
12.         return 0;
    
13. }

复制代码

如果此语法能通过的话，此后（就是pb = p以后），p的静态类型为foo，但动态类型将变为base
所以你这个问题等同于为什么不能 foo* p = new base 一样

starwing83

回复 2# bruceteen


    动态类型是根本不会变的啦。

根本原因是，B是D的基类，然而B*不是D*的基类，你可以试试：

foo *p = new foo();
base **pb = &p;

看看是啥结果。

csoapy

谢谢楼上两位，总算明白了原因。
就是D is a kind of B, but a pointer to D is not a kind of a pointer  to B.
也就是，指针就是指针，无继承关系。不能说一种指针是另一种指针，即使它们指向的类是继承关系。

Test()的原意是，操作ICommand * & pCommand，然后再把pCommand值空。所以要传引用，或者二级指针，但是都通不过。一时还没想出来该怎么办，只想在Test()中delete 该指针，然后值空。作了如下修改，但仍旧通不过。还是cannot convert parameter 1 from 'ICommand *' to 'ICommand *&'，也许是我还是没明白？

1. 
   
2. #include <list>
   
3. 
   
4. class ICommand{};
   
5. class CSession : public ICommand{};
   
6. 
   
7. void Test(ICommand * & pCommand){delete pCommand; pCommand = NULL;}
   
8. 
   
9. int main(int argc, char *argv[])
   
10. {
    
11.         ICommand * pCommand = new ICommand();
    
12.         CSession * pSession = new CSession();
    
13. 
    
14.         std::list<ICommand*> commands;        commands.push_back(pCommand);
    
15.         std::list<CSession*> sessions;        sessions.push_back(pSession);
    
16. 
    
17.         Test(*commands.begin());
    
18. 
    
19.         ICommand *p = dynamic_cast<ICommand*>(*sessions.begin());
    
20.         Test(p);
    
21. 
    
22.         sessions.push_back(new CSession());
    
23. 
    
24.         Test(dynamic_cast<ICommand*>(*sessions.begin())); // cannot convert parameter 1 from 'ICommand *' to 'ICommand *&'
    
25. 
    
26.         return 0;
    
27. }
    

复制代码

csoapy

唉，在编译时刻要保证引用必须指向一个对象，Test(dynamic_cast<ICommand*>(*sessions.begin())); 要求使用引用，但sessions.begin()返回的是临时的、运行时的，编译器不知道该把引用指向哪，所以报错

x5miao

回复 5# csoapy


    这就如同使用变量可以绑定该变量的类型的引用，但却不允许引用的引用来绑定引用是一个道理。