一般来说,对于重载函数来说,由于顶层const不影响传入函数的对象,所有两个函数只是顶层const的区别的话,两个函数是等价的,定义为重载函数是非法的。
但是,另一方面,对于指针和引用来说,可以通过区分形参指向的是常量还是非常量来实现函数重载。此时的const是底层的。
Example:
Record lookup(Account&); //函数作用于Account的引用
Record lookup(const Account&); //新函数,作用于常量引用
可是 const引用对虽然忽略了对象的常量特性,但是参数的返回有时候却不能忽略。
Example:
const string &shorterString(const string &s1, const string &s2)
{
qDebug() << "the const functiong is added" << endl;
return s1.size() <= s2.size() ? s1 : s2;
}
假如对象是非常量引用,可是结果却是常量应用,这个往往不是我们所意愿的,这是时候可以用const_cast改变底层const特性来实现
const string &shorterString(const string &s1, const string &s2)
{
qDebug() << "the const functiong is added" << endl;
return s1.size() <= s2.size() ? s1 : s2;
}
string &shorterString(string &s1, string &s2)
{
qDebug() << "the ordinary functiong is added" <<endl;
auto &r = shorterString(const_cast<const string&>(s1),
const_cast<const string&>(s2));
return const_cast<string&>(r);
}