对于基类中的模板化构造函数，clang/gcc 和 MSVC 之间的结果不同

Question

我偶然发现了以下代码。 "DerivedFoo" 案例在 MSVC 上产生的结果与在 clang 或 gcc 上不同。即，clang 13 和 gcc 11.2 调用 Foo 的复制构造函数，而 MSVC v19.29 调用模板化构造函数。我正在使用 C++17。

考虑到所有编译器都同意调用模板化构造函数的非派生情况（"Foo"），我认为这是 clang 和 gcc 中的错误，MSVC 是否正确？还是我解释错了，而 clang/gcc 是正确的？谁能解释一下可能发生了什么？

代码（https://godbolt.org/z/bbjasrraj）：

#include <iostream>
using namespace std;

struct Foo {
  Foo() {
    cout << "\tFoo default constructor\n";
  }

  Foo(Foo const &) { cout << "\tFoo COPY constructor\n";
  }

  Foo(Foo &&) {
    cout << "\tFoo move constructor\n";
  }

  template <class U>
  Foo(U &&) {
    cout << "\tFoo TEMPLATED constructor\n";
  }
};

struct DerivedFoo : Foo {
   using Foo::Foo;
};

int main() {
  cout << "Foo:\n";
  Foo f1;
  Foo f2(f1);

  cout << "\nConst Foo:\n";
  Foo const cf1;
  Foo cf2(cf1);

  cout << "\nDerivedFoo:\n";
  DerivedFoo d1;
  DerivedFoo d2(d1);

  cout << "\nConst DerivedFoo:\n";
  DerivedFoo const cd1;
  DerivedFoo cd2(cd1);
}

clang 和 gcc 的结果：

Foo:
    Foo default constructor
    Foo TEMPLATED constructor

Const Foo:
    Foo default constructor
    Foo COPY constructor

DerivedFoo:
    Foo default constructor
    Foo COPY constructor  <<<<< This is different

Const DerivedFoo:
    Foo default constructor
    Foo COPY constructor

MSVC 的结果：

Foo:
        Foo default constructor
        Foo TEMPLATED constructor

Const Foo:
        Foo default constructor
        Foo COPY constructor

DerivedFoo:
        Foo default constructor
        Foo TEMPLATED constructor  <<<<< This is different

Const DerivedFoo:
        Foo default constructor
        Foo COPY constructor

Answer 1

构造函数模板通常比复制构造函数更适合带有 DerivedFoo& 或 Foo& 类型参数的构造函数调用，因为它不需要 const 转换。

p>

但是，[over.match.funcs.general]/8 基本上（几乎）用更一般的措辞表示，具有移动或复制构造函数形式的继承构造函数被排除在重载决议之外，即使它是从构造函数模板实例化的。因此不会考虑模板构造函数。

因此，DerivedFoo 的隐式复制构造函数将由重载决议选择

DerivedFoo d2(d1);

这将调用Foo(Foo const &); 来构造基类子对象。

这个措辞是 CWG 2356 的结果，它在 C++17 之后得到解决，但我认为它也应该是针对旧版本的缺陷报告。 （不过我真的不知道。）

所以 GCC 和 Clang 在这里是正确的。另请注意，如果使用一致性模式 (/permissive-)，则 MSVC 从 19.30 版开始也会根据缺陷报告运行。