如何强制函数参数为相同类型并且不允许使用类型构造函数匹配给定类型？

Question

在 C++ 中发现这个功能让我有点惊讶，没想到会发生。

代码如下：

struct XY {
    int x,y;
    XY(int v) : x(v), y(v) {}
};

bool test1(const XY &pos){
    return pos.x < pos.y;
}
bool test1(int x, int y){
    return x < y;
}
void functest(){
    int val = 5;
    test1(val);
}

所以我可以调用一个带有整数参数的函数，无论是否存在这样的重载，它都会使用 XY 类型的函数，因为它有一个相同类型的构造函数！我不希望这种情况发生，我能做些什么来防止这种情况发生？

Answer 1

使XY 构造函数显式：

explicit XY(int v) : x(v), y(v) {}

这将禁止从 int 到 XY 的隐式转换，当您调用单参数 test1 函数时会发生这种情况。

Answer 2

我不明白为什么这对你不利。您的代码中实际上没有其他匹配项。你用一个参数调用了一个函数，你得到了最匹配的函数。

如果你有这个，那就不一样了：

bool test1(const XY &pos){
    return pos.x < pos.y;
}

bool test1(int x){
    return !x;
}

void functest(){
    int val = 5;
    test1(val);
}

如果要运行第一个，那就不好了，因为 C++ 不“喜欢”使用隐式构造函数。它倾向于“首先输入类型，然后是构造函数中具有该类型的任何对象。”

但你所拥有的是 1 个论点与 2 个论点。我不知道为什么这是一个问题。