我该如何克服/解决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 {
^~~~
答案 0 :(得分:7)
您的代码依赖于以下行中保证的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和更早的版本中,编译器必须确保可以移动(或复制)构造函数,即使在优化删除了复制构造函数的情况下也是如此。显然,即使带有-std=c++17
标志,gcc-6.2.1也不支持C ++ 17的这一方面。
最简单的方法是将move构造函数添加到派生类:
Derived(Derived &&) noexcept = default;
这样,C ++ 14编译器发现即使在没有执行复制省略的情况下,也存在一种返回值的方法。请注意,任何合理的C ++ 14编译器都将执行复制省略,但仍将确保复制或移动构造函数都可访问。从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.
};
但是,由于这只是一个最小的可复制示例,因此实际上可能需要在完整代码中使用显式析构函数。在这种情况下,避免使用析构函数是不可行的。