universal references

Posted 2021-05-19 Ultraman_X

避免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