Question

我正在使用C ++ 11。编写std::queue<T>的简单包装器时，我遇到了编译错误，并将其与没有复制构造函数的类一起使用。

以下是说明问题的摘要。

基本上，我有一个std::queue<T>的包装器，它对push有两个虚拟重载。

#include <queue>
#include <utility>
#include <future>

template <typename T>
class myqueue {
public:
    myqueue() : q() {}
    virtual ~myqueue() {}

    // pushes a copy
    virtual void push(const T& item) {
        q.push(item);
    }
    // pushes the object itself (move)
    virtual void push(T&& item) {
        q.push(std::move(item));
    }
private:
    std::queue<T> q;
};

int main() {
    // Thanks to Yakk for pointing out that I can reduce clutter by using one of std's non-copyable classes!
    myqueue<std::packaged_task<int()>> q;
    std::packaged_task<int()> t([]{return 42;});
    q.push(std::move(t));
}

当我尝试编译它（我的Linux机器上的ICC 13.2，g ++ 4.7.3，以及Ideone上的g ++ 4.7.2：http://ideone.com/HwBhIX）时，编译器抱怨它无法实例化myqueue :: push （const nocopy＆amp;）因为删除了nocopy的拷贝构造函数。

如果我从virtual删除了push修饰符，则编译正常（在我的机器和Ideone上）。

任何人都可以帮助我理解为什么会这样吗？

P.S。：这是Ideone的错误堆栈：

In file included from /usr/include/c++/4.7/i486-linux-gnu/bits/c++allocator.h:34:0,
                 from /usr/include/c++/4.7/bits/allocator.h:48,
                 from /usr/include/c++/4.7/deque:62,
                 from /usr/include/c++/4.7/queue:61,
                 from prog.cpp:1:
/usr/include/c++/4.7/ext/new_allocator.h: In instantiation of ‘void __gnu_cxx::new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = std::packaged_task<int()>; _Args = {const std::packaged_task<int()>&}; _Tp = std::packaged_task<int()>]’:
/usr/include/c++/4.7/bits/stl_deque.h:1376:6:   required from ‘void std::deque<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = std::packaged_task<int()>; _Alloc = std::allocator<std::packaged_task<int()> >; std::deque<_Tp, _Alloc>::value_type = std::packaged_task<int()>]’
/usr/include/c++/4.7/bits/stl_queue.h:212:9:   required from ‘void std::queue<_Tp, _Sequence>::push(const value_type&) [with _Tp = std::packaged_task<int()>; _Sequence = std::deque<std::packaged_task<int()>, std::allocator<std::packaged_task<int()> > >; std::queue<_Tp, _Sequence>::value_type = std::packaged_task<int()>]’
prog.cpp:13:9:   required from ‘void myqueue<T>::push(const T&) [with T = std::packaged_task<int()>]’
prog.cpp:28:1:   required from here
/usr/include/c++/4.7/ext/new_allocator.h:110:4: error: use of deleted function ‘std::packaged_task<_Res(_ArgTypes ...)>::packaged_task(const std::packaged_task<_Res(_ArgTypes ...)>&) [with _Res = int; _ArgTypes = {}; std::packaged_task<_Res(_ArgTypes ...)> = std::packaged_task<int()>]’
In file included from prog.cpp:3:0:
/usr/include/c++/4.7/future:1337:7: error: declared here

Answer 1

myqueue的标准拷贝构造函数调用nocopy的拷贝构造函数。只需覆盖或=delete复制构造函数和operator= myqueue，您应该没问题。

Answer 2

这是因为gcc 4.7提供的c ++ 11实现不完整。使用c ++ 11时，必须始终使用最新的编译器版本。 clang通常是最完整的，其次是gcc，后面有一段距离，icpc。

编辑之后，代码不再编译（clang 3.2或gcc 4.8），因为它完全错误。实例化模板类myqueue<std::packaged_task<int()>>时，非模板成员virtual void push(const T&)也会被实例化。但是，此成员调用T的已删除副本构造函数，因此非法，错误。（它编译为非虚拟push(const T&)是危险的，因为一旦尝试使用该函数，就会出现错误。）

为了让你的代码工作，你必须避免这种情况。 virtual成员不能是模板（这可以让您通过SFINAE避免此问题）。但您可以根据class myqueue<T>是否可复制来专门化T。以下代码使用gcc 4.8进行编译（但不能使用icpc 13或clang 3.2，它有std::is_copy_constructible的错误实现。）

#include <queue>
#include <type_traits>
#include <utility>
#include <future>

template <typename T, typename E=void> class myqueue;

template <typename T>
class myqueue<T, typename std::enable_if<std::is_copy_constructible<T>::value>::type>
{
  std::queue<T> q;
public:
  virtual ~myqueue() {}
  // pushes a copy
  virtual void push(const T& item) { q.push(item); }
  // pushes the object itself (move)
  virtual void push(T&& item) { q.push(std::move(item)); }
};

template <typename T>
class myqueue<T,typename std::enable_if<!std::is_copy_constructible<T>::value>::type>
{
  std::queue<T> q;
public:
  virtual ~myqueue() {}
  // pushes the object itself (move)
  virtual void push(T&& item) { q.push(std::move(item)); }
};

int main() {
  std::packaged_task<int()> t([]{return 42;});
  myqueue<std::packaged_task<int()>> q;
  q.push(std::move(t));
}

当然，这与原始代码不完全相同，因为不可复制的virtual void push(const&T)没有T，但我认为这正是您想要的。或者，您可以在非可复制T的专门化中将违规方法设为纯虚拟。

很抱歉，我无法为你修复icpc，但至少这段代码似乎是合法的C ++ 11。

当T没有复制构造函数</t>时，std :: queue <t>的虚拟包装器不会编译

2 个答案: