《Effective Modern C++》条款26:不要和万能引用一起重载

本章节主要讲述关于万能引用重载的一些问题，指出重载的可能问题；

关于万能引用可能解决问题的前瞻性讨论：

例如，考虑下列函数：

vector<string> names;

void logAndAdd(const string& name) {
    auto now = chrono::system_clock::now();
    //log(now, "log and add");
    names.emplace_back(name);
}

int main() {
    string s1("A");
    logAndAdd(s1);
    logAndAdd(string("B"));
    logAndAdd("C");
    system("pause");
    return 0;
}

考虑上述，由于接受的形参为const string&类型，因此无论传入的值为多少，内部肯定是一个左值；

因此在采用names.emplace_back(name);时，必定会采用左值的复制传入names中，而非右值引用赋值；

因此，如果像避免传入数组的时候进行多次复制，则要保证内部必须采用右值传递；

因此，可以使用模板型别推导，万能引用+forward形式，采用必要时候的右值传递；

template<typename T>
void logandadd(T&& name) {
    auto now = chrono::system_clock::now();
    names.emplace_back(std::forward<T>(name));
}

采用上列形式，如果传入为左值，则内部为T&左值引用，从而在加入names的时候，采用复制构造；如果传入的是右值，内部会将右值引用重新从左值形式转换为右值，此时调用的为names的移动构造函数，避免拷贝开销；

外部也可以直接采用move来进行移动构造形式；

万能引用重载问题：

如果同时堆上述的logandadd进行重载，来定义不同的功能：

vector<string> names;

template<typename T>
void logandadd(T&& name) {
    auto now = chrono::system_clock::now();
    names.emplace_back(std::forward<T>(name));
}

void logandadd(int name) {
    //do sth. else
}

那么传参的时候可能会出现类型转换的错误；

例如，如果想调用非模板的logandadd，如果传入的并非int，而是size_t或者其他型别，则会优先调用模板类型的函数；

此时T型别推导为size_t，从而出现预期之外的错误；

原因是：
由于万能引用可以有效精准匹配到所有的参数，因此对于相同参数个数，如果不是非模板类型的指定形参，则优先考虑万能引用形式

完美转发构造函数：

针对于上述问题，本章节给出了另一个示例，称之为完美转发构造函数，但是没看出来和logandadd重载问题有什么必然的含义和联系；

考虑如下代码：

class Person {
public:
    template<typename T>
    explicit Person(T&& n) :name(forward<T>(n)) {}
    explicit Person(int idx);
    Person(const Person& rhs);
    Person(Person&& rhs);
private:
    string name;
};

Person p("nacy");
auto copyofp(p);

则会发现上述代码编译不通过，最主要的是初始胡copyofp的时候；

直觉可能会觉得调用的应该是复制构造函数；

但是其实是模板特例化，强行进行Person到string name赋值；

原因和之前的类似，除非参数列表完美适配，仍然会导致完美转发的调用优先于类型转化；

如果p采用const Person形式，则会调用赋值构造函数；

并且如果在继承条件下，也会有该种情况发生：

class SpcialPerson :public Person {
public:
    SpcialPerson(const SpcialPerson& rhs) :Person(rhs) {};
    SpcialPerson(SpcialPerson&& rhs) :Person(std::move(rhs)) {};
};

如果采用SpcialPerson的构造函数，则也会出错，问题也是当Person构造函数采用SpcialPerson时，会出现模板实例化，优先调用完美转发构造函数类型；

因此，换句话说，该模板完美转发，劫持了基类和子类的构造初始化；