使用 {} 的函数重载解析

Question

因此，我们的 C++ 库允许用户传入包含在 classes 中的值列表，这些值带有可变构造函数，因此可以在编译时检查这些列表的长度。我正在尝试通过添加新的重载函数来添加一些新功能。但是，当我传递一个零长度参数数组时， 'wrong' 重载被调用，例如{}。以下最小示例说明了该问题：

#include <iostream>
#include <vector>

class EmptyList
{
public:
    template<typename... T>
    EmptyList(T&&... vals)
    {
        static_assert(sizeof...(vals) == 0, "Wrong number of values");
    }

    std::vector<double> getValues() const { return {}; }
};

void testVector(int *a, std::vector<double> b)
{
    std::cout << "Vector: A (" << a << ")" << std::endl;
}

void testVector(std::vector<double> a, std::vector<double> b)
{
    std::cout << "Vector: B" << std::endl;
}

void testInitList(int *a, std::initializer_list<double> b)
{
    std::cout << "Init list: A (" << a << ")" << std::endl;
}

void testInitList(std::initializer_list<double> a, std::initializer_list<double> b)
{
    std::cout << "Init list: B" << std::endl;
}

void testEmptyList(int *a, const EmptyList &b)
{
    std::cout << "Empty list: A (" << a << ")" << std::endl;
}

void testEmptyList(const EmptyList &a, const EmptyList &b)
{
    std::cout << "Empty list: B" << std::endl;
}

int main()
{
    testVector({}, {});
    testInitList({}, {});
    testEmptyList({}, {});
}

输出为：

Vector: A (0)
Init list: B
Empty list: A (0)

不仅重载行为看起来很奇怪，而且 std::initializer_list 似乎有某种编译器特殊情况，使其行为与我的 class 和 std::vector 不同。有什么方法可以解决这个问题，所以选择我的 class 的函数重载而不是指针的函数重载？

Answer 1

Is there any way of working around this so the function overload taking my class is chosen over the one taking the pointer?

并非没有显式转换。执行隐式转换时，转换为指针的优先级始终高于转换为用户定义的类型。

使用 {} 的函数重载解析

Function overload resolution with {}

c++

c++11

overload-resolution

list-initialization