避免overloading on universal references
std::multiset<std::string> names;
void logAndAdd(const std::string&name)
{
auto now = std::chrono::system_clock::now();
log(now,"logAndAdd");
names.emplace(name);
}
std::string petName("Darla");
logAndAdd(petName); //pass lavlue
logAndAdd(std::string("Persephone")); //pass rvalue
logAndAdd("Patty Dog"); //pass string literal
如果另外需要一个通过索引查找名称的函数:
std::string nameFromIdx(int id);
void logAndAdd (int idx)
{
auto now = std::chrono::system_clock::now();
log(now,"logAndAdd");
names.emplace(nameFromIdx(idx));
}
std::string petName("Darla");
logAndAdd(petName); //pass lavlue
logAndAdd(std::string("Persephone")); //pass rvalue
logAndAdd("Patty Dog"); //pass string literal
logAndAdd(22);
但是如果我们:
short nameIdx;
...
logAndAdd(nameIdx); //error
因为有logAndAdd的重载版本,对与universal reference版本,T->short,这样会匹配,但是没有int到string的构造函数,造成失败。
这个是因为universal reference是贪婪的。
下一个例子:
class Person{
public:
template<typename T>
explicit Person(T&& n):name(std::forward<T>(n)){}
explicit Person(int idx):name(nameFromIdx(idx)) {}
...
private:
std::string name;
}
在有些情况,c++会生成复制和move构造函数,这样上面类会像这样:
class Person
{
public:
template<typename T>
explicit Person(T&&n):name(std::forward<T>(n)) {} //perfect forwarding ctor
explicit Person(int idx); //int ctor
Person (const Person&rhs); //copy ctor (compiler-generated)
Person(Person&& rhs); //move ctro (compiler-generated)
}
调用下面:
Person p("Nancy");
auto cloneOfP(p); //wont' compile
因为cloneOfP(p)会调用forwarding ctor而不是复制构造函数。除非如下调用:
const Person cp("Nancy"); //object is now const
auto cloneOfP(cp); //calls copy ctor