构造函数 SFINAE 和继承在 clang 中失败

Question

以下代码在 GCC 下编译正常，但在 clang 中失败并出现错误：

'Bar'的初始化没有匹配的构造函数

问题似乎是clang认为Foo的模板构造函数被Bar的模板构造函数隐藏或覆盖了。

这是 clang 中的错误还是 GCC 中的非标准化功能？

如何解决这个问题？我无法更改 Foo，因为它是第 3 方。

#include <type_traits>

struct Foo {
    Foo() = default;

    template<typename T, std::enable_if_t<std::is_trivially_copyable_v<T>>* = nullptr>
    Foo(T& object) {}
};

struct Bar : public Foo {

    using Foo::Foo;

    template<typename T, std::enable_if_t<!std::is_trivially_copyable_v<T>>* = nullptr>
    Bar(T& object) {}
};

int main() {
    int i;
    Bar s{i};
}

https://gcc.godbolt.org/z/etvpvF

Answer 1

Clang 是正确的。 [namespace.udecl]/14:

（强调我的）

当 using-declarator 将基类中的声明带入 派生类、成员函数和成员函数模板 派生类覆盖和/或隐藏成员函数和成员 具有相同名称的函数模板，参数类型列表， 基类中的 cv-qualification 和 ref-qualifier（如果有）（而不是 比冲突）。此类隐藏或覆盖的声明被排除在外 来自 using-declarator 引入的一组声明。

这意味着，对于这种情况，来自foo 的继承构造函数模板隐藏在来自Bar 的构造函数模板的查找中。请注意，只有 name、parameter-type-list、cv-qualification 和 ref-qualifier 被认为是隐藏的，即使对于模板也是如此。

Answer 2

添加第二个模板参数和默认参数时，Clang 不会继承构造函数模板。另一方面，在函数的参数列表（C++03 风格）中使用 SFINAE 构造时没有问题：

struct Foo {
    Foo() = default;

    template<typename T>
    Foo(T& object, std::enable_if_t<std::is_trivially_copyable_v<T>>* = nullptr) {}
};

struct Bar : public Foo {
    using Foo::Foo;

    template<typename T>
    Bar(T& object, std::enable_if_t<!std::is_trivially_copyable_v<T>>* = nullptr) {}
};

Live example

在这个版本中，构造函数模板被很好地继承了，并且正如人们所期望的那样用于重载决议。

---

将您自己的 SFINAE 检查移入 c'tor 的参数，而不更改 Foo 似乎也可以解决它：

struct Foo {
    Foo() = default;

    template<typename T, std::enable_if_t<std::is_trivially_copyable_v<T>>* = nullptr>
    Foo(T& object) {}
};

struct Bar : public Foo {
    using Foo::Foo;

    template<typename T>
    Bar(T& object, std::enable_if_t<!std::is_trivially_copyable_v<T>>* = nullptr) {}
};

Live example

Clang 认为原始模板的签名与基类中的签名相同。因此它认为基类版本是隐藏的。