C++20之函数重载决议

函数重载分为3个阶段

1.名称查找

- 1.1 obj.method(), obj_ptr->method()的调用，是在obj的类里找method
-  1.2 ns::method 限定名字空间调用，是在名字空间ns中找对应的method
- 1.3 非限定调用，在全局名字空间，或者已经using的名字空间，或者在参数所在名字空间中找:Arugment Depend Lookup(ADL)
-  此阶段不会选出函数特化版本

2.模板函数处理

- 对于名称method的模板，推导并替换模板参数。 如果替换后有编译失败，就忽略这个函数(SFINAE)

3.重载决议(m个实参)

- 3.1 只有m个形参的函数
- 3.2 少于m个形参，但是最后一个形参数不确定个数参数
- 3.3 多于m个形参，但是从m+1个形参数开始有默认值
- 3.4 C++20起如果有约束，得符合约束
- 3.5 参数类型要通过隐式转换能对上

上述只是找出候选集，规则不分优先级。然后继续找最优：

- 1.最少参数隐形转换优先
- 2.非模板函数优于模板函数,特化优于非特化
- 3.同时模板函数，参数具体的优先： method(T*a); method(T a);  method(a_ptr); method(T*a)更具体
- 上述3条有优先级。

namespace animal {
    struct Cat {
        void feed(){}
    };
    void feed(Cat * foo, int a) {
        LOG(INFO) << "animal feed cat..";
    }
}
struct CatLike{
    CatLike(animal::Cat *){

    }
};
void feed(CatLike *) {

}
template<typename T>
void feed(T *obj, double d){
    LOG(INFO) << "out tmp feed: " << d;
}
template<>
void feed(animal::Cat *obj, double d) {
    LOG(INFO) << "out spec feed: " << d;
}
template<typename ...Args>
void foo1(int a, int b, Args... args){
    LOG(INFO) << "... foo1";
}
void foo1(int a, double b, int c = 0){
    LOG(INFO) << "c foo1";
}
int main(int argc, char *argv[]) {
    //函数调用的三种方式
    animal::Cat cat;
    animal::Cat *cat_ptr = &cat;
    //1.obj.method(), obj_ptr->method()的调用，是在obj的类里找method
    cat_ptr->feed();
    cat.feed();
    //2. ns::method 限定名字空间调用，是在名字空间ns中找对应的method
    animal::feed(cat_ptr, 2);
    (feed)(&cat, 1); //加上()变成限定调用，不使用ADL规则了，会调用特化版本void feed(animal::Cat *obj, double d)
    //3. 非限定调用，在全局名字空间，或者已经using的名字空间，或者在参数所在名字空间中找:Arugment Depend Lookup(ADL)
    feed(&cat, 1); //会在cat所有名字空间animal中找到animal::feed(Cat * foo, int a)
    std::cout << "cxx20" << std::endl; //会在std::cout所有的名字空间中找到operator<<(std::cout, const char *);
    foo1(1,2);
}