C++初始化列表初始化和值初始化对构造函数的选择

#include<cstdio>
#include<iostream>
#include<cstdlib>
using namespace std;

struct Foo {
    //方式1
    template<class ...args>
    Foo(args... rest) {
        cout << "Moudle1" << endl;
        func(rest...);
    }
    template<class ...args>
    void func(int a ,args... rest) {
        cout << a ;
        func(rest...);
    }
    void func() {
        cout << endl;
    }
    //方式2
    Foo(int a, int b, int c, int d) {
        cout << "Moudle2" << endl;
        cout << a << b << c << d<<endl;
    }
    //方式3
    Foo(std::initializer_list<int> list) {
        cout << "Moudle3" << endl;
        for (auto i : list) {
            cout << i;
        }
        cout << endl;
    }
};
int main(void) {
    Foo a{1,2,3,4};//构造方式1
    Foo b(1,2,3,4);//构造方式2
    system("pause");
    return 0;
}

这三个构造函数在使用初始化列表初始化时会产生歧义，所以需要知道存在不同的构造函数会产生哪些情况。

仅存在方式1、方式2时，两种构造方式均可成功被调用。
仅存在方式3时，构造方式2报错，因为std::initializer_list 只能接受 {...} 的变量。

当方式1、方式2共存时，由于重载了特定的构造函数，均调用方式2。
当方式1、方式3共存时，构造方式1选择了方式3初始化，构造方式2选择了方式1初始化，这与重载了接收{...} 变量的构造函数有关。
当方式2、方式3共存时，构造方式1选择了方式3初始化，构造方式2选择了方式2初始化，这与重载了接收{...} 变量的构造函数有关，且说明了有特定的重载函数则不会选择模板。

当三者共存时，构造方式1选择了方式3初始化，构造方式2选择了方式2初始化。

由此可得出结论，Foo a{1,2,3,4} 事实上与 Foo a({1,2,3,4}) 等价，其中{1,2,3,4} 为 std::initializer_list<int>[4] 类型，且{1,2,3,4} 在一定的情况下可以转化为函数的参数。