template中的const的问题。谢谢各位大哥了

[sevown]

#include<iostream>
#include<string>
using namespace std;

template<typename elemtype>
elemtype* find(const elemtype* first,const elemtype* last,const elemtype &value)
{
if(!first||!last)
return 0;
for(;first!=last;++first)
if(*first==value)
return first;
return 0;
}

int main()
{
int a[8]={1,1,2,3,5,8,13,21};
double da[]={1.5,2.0,2.5,3.0,3.5,4.0};
string sa[]={"pooh","piglet","eeyore","tigger"};

int* pi=find(a,a+8,a[3]);
double* pd=find(da,da+6,da[3]);
string* ps=find(sa,sa+4,sa[3]);

cout<<&a[3]<<" a sequence:"<<pi<<" "<<&pi<<endl;
cout<<&da[3]<<" da sequence:"<<pd<<" "<<&pd<<endl;
cout<<&sa[3]<<" sa sequence:"<<ps<<" "<<&ps<<endl;

return 0;
}
若去掉参数中的const，应怎么办呢？

[fierygnu]

去掉就去掉了。

[noirchloe]

被强制转型了......
你这样做会产生一些问题，当你使用一些iterator的时候会有warning，不过代码还是能跑的

[binjuny]

还是不要去了，用const好

[sevencat]

模板中的const有时候是假的.
虽然写了const但有的编译器还可以让你改.

[jeckyz]

不该去掉 const,应该尽可能多地使用它，大师们如是说的。上面给的那个 find 算法是符合逻辑的，那么为什么传一个非 const 参数给它又可以编译呢？分析一下就理解了：const 意味着是不可以更改的，不是吗？传一个非 const 参数给它，意味着这个参数在运算过程中是不改变的，这当然符合逻辑；但反过来，把一个 const 传给一个非 const又会是怎样的呢？意味着，一个不可以改来的“常量”有可能会在运算中修改，这当然是不符合语言规则的，编译能检测这般隐含的（当然是不符合逻辑的）错误，是件大好事才对！

嘿嘿，涂鸭的这些好像是从哪背出来的 :)

[agilecoder]

up

[Andy84920]

elemtype* find(const elemtype* first,const elemtype* last,const elemtype &value)
{
if(!first||!last)
return 0;
for(;first!=last;++first)
if(*first==value)
return first;
return 0;
}

为什么返回的是first,它是一个const elemtype*, 而函数返回的是elemtype *
不是会有一个const 转换??

看EG:
int* find(const int* first,const int* last,const int &value)
{
if(!first||!last)
return 0;
for(;first!=last;++first)
if(*first==value)
return first;
return 0;
}
编译如下:const.C:7: invalid conversion from `const int*' to `int*'


为什么楼主的程序没问题呢?

[Andy84920]

是不是模板在作怪?不会吧!