[已解决]重载解析,为什么优先匹配非const版本?

wwwsq

Moon_Bird 发表于 2012-06-04 16:59
回复 3# wwwsq
有时候使用const修饰成员函数是必须得吧,
如果函数的参数为const reference传参的话，

Func(const A& a)就不是一种好的写法。这是典型的为了解决一个问题，不得不增加N个限制，然后引入2*N个问题。

等const遇到template那才叫热闹。当我看到那些稀奇古怪的规定的时候，当时就震惊了。

作为对照，可以看看java、c#、php、python的语法。

donet8

bruceteen 发表于 2012-06-04 16:57
回复 8# donet8

你的代码我看不懂呀， c_str()是个const成员，即const对象是可以调用它的

嗯，你说的对，能调用函数的不一定是左值，左值是有名称的，可以取地址。(s1+s2)="123";就编译不过。

donet8

Moon_Bird 发表于 2012-06-04 16:59
回复 3# wwwsq
有时候使用const修饰成员函数是必须得吧,
如果函数的参数为const reference传参的话，

哦，可是我觉得你的说法似乎的出的结论是应该优先匹配const版本啊。

如果优先匹配const版本的函数，那么就相当于限定了函数体里面只能调用const版本的函数，这是个更加严格的限定。
然后再匹配非const版本，限定更加宽松。

shanehan

wwwsq 发表于 2012-06-04 17:19
Func(const A& a)就不是一种好的写法。这是典型的为了解决一个问题，不得不增加N个限制，然后引入2*N ...

不好体现在哪里？可否具体地说说

wwwsq

shanehan 发表于 2012-06-04 17:56
不好体现在哪里？可否具体地说说

呃。。。这个帖子顶楼的问题就算一个。。。。要是不用const，不就没这个问题么？

另外，const遇到template也会出各种奇怪的问题。

xue-feng

1. struct FOO{
   
2. 
   
3.         int a;
   
4.         void test() { a = 3; cout << "no const" << endl;  
   
5. };
   
6. 
   
7. int main()
   
8. {
   
9.         FOO().test();
   
10.            return 0;
    
11. }

复制代码

临时对象 ，不是常量。应该优先是用 non const 。 楼主的问题是 cast 操作符函数，相当于调用成员函数。不是引用临时量。引用临时量是不允许的。

donet8

xue-feng 发表于 2012-06-04 22:30
临时对象 ，不是常量。应该优先是用 non const 。 楼主的问题是 cast 操作符函数，相当于调用成员函数。不是 ...

可是我把test函数声明改成了用const&，传入一个非临时的变量，也还是不行啊:

1. 
   
2. struct s;
   
3. struct s1{
   
4.     const s* m_s;
   
5. };
   
6. struct s2 : s1{};
   
7. struct s{
   
8.     operator s1()const{
   
9.         cout << "operator s1() const" << endl;
   
10.         return s1();
    
11.     }
    
12.     operator s2(){
    
13.         cout << "operator s2()" << endl;
    
14.         return s2();
    
15.     }
    
16. };
    
17. void test(const s1& obj){}
    
18. int main(void){
    
19.     s obj;
    
20.     test(obj);
    
21.     return 0;
    
22. }
    

复制代码

输出operator s2()

kaisanapolun

是的，优先匹配非const函数。可以换种表达：非const对象调用非const函数，而const对象调用const函数。
函数名是相同的，假设优先匹配const函数，const对象和非const对象都调用const函数，那么非const函数永远不会被调用。

w_anthony

wwwsq 发表于 2012-06-04 17:19
Func(const A& a)就不是一种好的写法。这是典型的为了解决一个问题，不得不增加N个限制，然后引入2*N ...

如果什么限制都没有，那么写的人是爽了，但是读的人就郁闷了，着眼点太多……

清爽之梦

支持一下活动！