不同编译器的重载分辨率不同

Question

我已经构建了我的问题的以下最小示例：

#include <iostream>

struct Foo {
  Foo() {
    std::cout << "default" << std::endl;
  }
  Foo(Foo& f2) {
    std::cout << "non-const" << std::endl;
  }
  Foo(const Foo& f2) {
    std::cout << "const" << std::endl;
  }
};

int main() {
        std::pair<Foo, int> foop0(Foo(), 1);
        std::cout << std::endl;
        std::pair<const Foo, int>foop1(foop0);
}

在我的 Ubuntu 机器上 g++ (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0 将打印出以下内容：

$ g++ -std=c++14 test.cpp -o test && ./test
default
const

const

但是，我的 Mac 上的 Apple clang（版本 11.0.3 (clang-1103.0.32.62) Target: x86_64-apple-darwin19.4.0）将打印：

$ g++ -std=c++14 test.cpp -o test && ./test
default
const

non-const

但是，情况变得更糟：如果我将最后一行更改为

std::pair<Foo, int>foop1(foop0);
          ^ removed const

两个编译器都会给出第一个输出。

为什么会发生这种情况？

编辑：我现在明白了为什么，根据cppreference，std::pair 的 ctors 应该被 g++ 选择。仍然没有在这里解释 clang 的奇怪行为。可能是不符合标准的实现？

Answer 1

std::pair就像已经说过的那样，它们的实现可能有所不同。我编写了两个非常相似的一对实现，即使不更改该对的类型，它们也完全展示了您的不同行为：godbolt

#include <iostream>

struct T {
    T() { 
        std::cerr << "default\n";
    }

    T(T&) {
        std::cerr << "non-const\n";
    }

    T(const T&) {
        std::cerr << "const\n";
    }

};

// Comment or uncomment to change the behavior.
//#define MAC

template<class First, class Second>
struct pair {
    First first;
    Second second;

    pair(const First& f, const Second& s) : first(f), second(s) {
    }

#ifdef MAC

    pair(pair<First, Second>& p) : first(p.first), second(p.second) {
        std::cerr << "copy Mac-Like\n";
    }

#else

    pair( pair<First, Second>& p) : pair(p.first, p.second) {
        std::cerr << "copy Ubuntu-Like\n";
    }
#endif

};

int main() {
    T t;
    pair<T, int> u1(t, 0);

    pair<T, int> u2(u1);
}

当然，mac 和 ubuntu 上的对都编写得更合理（并且符合标准），并且标准复制构造函数采用 const 引用（这就是它们都使用 const 变体的原因）。但我猜他们以不同的方式处理具有不同但可转换类型的对的复制构造函数。要找出到底有什么不同，需要比较两个系统上的 stl 实现。

Ubuntu 变体对我来说似乎很清楚，该对只是通过构造函数中的 const 引用从一对可转换类型中获取。当你在构造链的任何一点有一个 const 时，你最终都会得到 的 const 复制构造函数T。

我发现Mac的行为有点奇怪，因为它们必须通过值或非常量引用来获取对（实际上，你不应该有一个通过非常量引用获取的复制构造函数，为什么它应该改变它的东西）副本？这看起来像是std::auto_ptr-级怪异）。也许他们（试图）在某种“按价值获取然后移动”的事情上很聪明。

但我认为这是不合格的，因为对构造函数应该通过常量引用或右值引用获取所有其他对。由于我们正在复制，它应该使用复制构造函数，采用 const 引用，因此也有一个对 and 的 const 引用，并pair.first通过 this 采取其 const 复制构造函数。