C++Primer(5th)第六章page190代码详解

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会报错。