在 g++ 6.2.1 中将参数包转发到 constructor(） 失败

Forwarding parameter pack to constructor() fails in g++ 6.2.1

本文关键字：转发 失败 constructor 包转发 参数 g++      更新时间：2023-10-16

如何在 g++-6.2.1 中克服/解决此错误

以下代码适用于 g++-7.3.0，但升级编译器对我来说不是一个选项。所以我正在寻找一些SFINAE魔法...尝试很少，但到目前为止都失败了...

class Base {
public:
Base(std::string str) : s(std::make_shared<std::string>(str)) {}
Base(Base &&base) noexcept { s = std::move(base.s); }
Base &operator=(Base &&i_base_actor) noexcept {
s = std::move(i_base_actor.s);
return *this;
}
virtual ~Base() = default;
private:
std::shared_ptr<std::string> s;
};
// Derived
class Derived : public Base {
public:
Derived() :Base("Derived") {}
~Derived() = default;
};
// Derived1
class Derived1 : public Base {
public:
Derived1(int a) :Base("Derived1") {}
~Derived1() = default;
};

包装器功能：

template<typename T, typename... Args>
T construct(Args&&... args) {
return T(std::forward<Args>(args)...);
}

主要：

int main() {
construct<Derived>();
construct<Derived1>(100);
}

g++ 中的错误

optional_params.derived.cc: In instantiation of ‘T construct(Args&& ...) [with T = Derived; Args = {}]’:
optional_params.derived.cc:42:22:   required from here
optional_params.derived.cc:37:19: error: use of deleted function ‘Derived::Derived(const Derived&)’
return T(args...);
^
optional_params.derived.cc:21:7: note: ‘Derived::Derived(const Derived&)’ is implicitly deleted because the default definition would be ill-formed:
class Derived : public Base {
^~~~~~~
optional_params.derived.cc:21:7: error: use of deleted function ‘Base::Base(const Base&)’
optional_params.derived.cc:4:7: note: ‘Base::Base(const Base&)’ is implicitly declared as deleted because ‘Base’ declares a move constructor or move assignment operator
class Base {
^~~~

您的代码依赖于以下行的保证复制 elision C++17：

template<typename T, typename... Args>
T construct(Args&&... args) {
return T(std::forward<Args>(args)...);  // <----- copy elison
}

基本上，它说从 C++17 开始，编译器在这种情况下不得复制T，并且需要直接在调用器中构造它。在 C++14 及更早版本中，编译器必须确保移动(或复制(构造函数是可访问的，即使在它优化了复制构造函数的情况下也是如此。显然，gcc-6.2.1 不支持 C++17 的这一方面，即使有-std=c++17标志。

最简单的方法是将移动构造函数添加到派生类中：

Derived(Derived &&) noexcept = default;

这样，C++14 编译器就会看到，即使在不执行复制 elision 的假设情况下，也有一种方法可以返回值。 请注意，任何合理的 C++14 编译器都将执行复制 elision，但它仍将确保复制或移动构造函数可访问。截至 C++17，没有执行此类测试，因为在这种情况下，编译器必须避免复制/移动。

如评论部分所述，另一种可能性是：

template<typename T, typename... Args>
T construct(Args&&... args) {
return {std::forward<Args>(args)...};
}

这也将直接在调用器中构造它，但前提是T的构造函数不是显式的。

或者，另一个注释建议避免显式析构函数。显式析构函数禁止自动生成默认移动构造函数：

class Derived : public Base {
public:
Derived() :Base("Derived") {}
//~Derived() = default; <-- not really needed.
};

但是，由于这只是一个最小的可重现示例，因此在完整代码中实际上可能需要显式析构函数。在这种情况下，避免析构函数不是一种选择。

相关文章：