string::size_type find_char(const string &s, char c,string::size_type &occurs)
{
auto ret = s.size();
occurs = 0;
for (decltype(ret)i = 0; i != s.size(); i++){
if (s[i] == c){
if (ret == s.size())
ret = i;
++occurs;
}
}
return ret;
}
以上为书上原代码,首先string::size_type保存的是string或vector的长度, 由auto ret = s.size();可知ret的类型是string::size_type,因为s.size()类型即为string::size_type,所以函数返回类型为string::size_type,由于 i != s.size(); 可知i与ret的类型一样,所以decltype(ret)i = 0。至于occurs,我个人认为类型不一定要为string::size_type,我改动代码,将occurs类型改成double,结果证明也行,代码如下:
string::size_type find_char(const string &s, char c,double &occurs)
{
auto ret = s.size();
occurs = 0.7;
for (decltype(ret)i = 0; i != s.size(); i++){
if (s[i] == c){
if (ret == s.size())
ret = i;
occurs=occurs+1.2;
}
}
return ret;
}
至于为什么函数第一个形参要是const string &s而不是 string &s,是因为如果是 string &s,在调用函数如auto index = find_char(“hello world”, ‘v’, ctr);会报错,这是因为”hello world”是字符串常量,而形参不是常量。当形参不是常量的时候,只能传引用非常量的string,但是当形参为常量的时候,是可以传引用常量或者非常量的。
再有就是为什么occurs是引用,因为occurs是引用,所以可以直接通过改变occurs的值来改变实参的值,但是occurs不能是常量引用,如果是的话,++occurs会报错。