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

Question

如何在 g++-6.2.1

中 overcome/workaround 这个错误

以下代码适用于 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 {
       ^~~~

Answer 1

您的代码依赖于以下行中保证的 copy 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 标志。

最简单的方法是向派生的 class:

添加移动构造函数

Derived(Derived &&) noexcept = default;

通过这种方式，C++14 编译器发现有一种方法可以 return 一个值，即使在没有执行复制省略的假设情况下也是如此。请注意，任何合理的 C++14 编译器都会执行复制省略，但它仍会确保可以访问复制或移动构造函数。从 C++17 开始，不执行此类测试，因为在这种情况下编译器必须省略 copy/move。

如评论区所说，另一种可能是：

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.
};

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

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

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

c++

c++17

variadic-templates

move-semantics

perfect-forwarding