c++ - 为什么我这里不需要SFINAE

Question

我正试图为 SFINAE 做一个激励性的例子，当我注意到您不需要以下内容:

#include <iostream>

using namespace std;

template<typename T>
struct Foo
{
    void add(int count, const T& val) // add "count" number of val's
    {
        cout << "count, val" << endl;
    }

    template<typename It>
    void add(It beg, It end) // add items [beg,end)
    {
        cout << "beg, end" << endl;
    }
};

int main()
{
    int a=1;
    int xx[] = {1,2,3};
    Foo<int> foo;
    foo.add(xx, xx+3);
    foo.add(2, a);
}

编译、运行和打印:

beg, end
count, val

try it here

我不明白为什么第二次调用 add 没有歧义。

Answer 1

基本上:

• 两种重载都是可行的。
• 两者都是匹配的，没有转化/推广。
• add(int count, const T& val) 首选非模板。