3

为什么这无法编译 g++4.6 和 g++4.7？我正在尝试将字符串映射到线程特定的存储。我相信我在 boost 1.48 中有类似的东西。其实和boost的版本无关，而是-std=c++0x这个标志。如果那不存在，它会编译。因此，寻找错误的解释以及如何解决它。

谢谢

#include <map>
#include <boost/thread/tss.hpp>
#include <boost/shared_ptr.hpp>

int main(int argc, char** argv) {
  typedef boost::thread_specific_ptr< int > Tss_int_ptr;
  typedef std::map< std::string, Tss_int_ptr > Tss_int_map_t;
  Tss_int_map_t tmap;
  return 0;
}

错误消息如下。

g++-4.7 -g -std=c++0x -I"/home/someone/open_source/admin/install/boost_1_52_0/include" -c  ~/tmp/fail.cpp
In file included from /usr/include/c++/4.7/bits/stl_algobase.h:65:0,
             from /usr/include/c++/4.7/bits/stl_tree.h:63,
             from /usr/include/c++/4.7/map:60,
             from /home/someone/tmp/fail.cpp:1:
/usr/include/c++/4.7/bits/stl_pair.h: In instantiation of ‘struct std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> >’:
/usr/include/c++/4.7/bits/stl_tree.h:133:12:   required from ‘struct std::_Rb_tree_node<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >’
/usr/include/c++/4.7/bits/stl_tree.h:1082:4:   required from ‘void std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_erase(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Link_type) [with _Key = std::basic_string<char>; _Val = std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> >; _KeyOfValue = std::_Select1st<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >; _Compare = std::less<std::basic_string<char> >; _Alloc = std::allocator<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Link_type = std::_Rb_tree_node<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >*]’
/usr/include/c++/4.7/bits/stl_tree.h:646:9:   required from ‘std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::~_Rb_tree() [with _Key = std::basic_string<char>; _Val = std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> >; _KeyOfValue = std::_Select1st<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >; _Compare = std::less<std::basic_string<char> >; _Alloc = std::allocator<std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> > >]’
/usr/include/c++/4.7/bits/stl_map.h:90:11:   required from here
/usr/include/c++/4.7/bits/stl_pair.h:119:17: error: ‘constexpr std::pair<_T1, _T2>::pair(const std::pair<_T1, _T2>&) [with _T1 = const std::basic_string<char>; _T2 = boost::thread_specific_ptr<int>; std::pair<_T1, _T2> = std::pair<const std::basic_string<char>, boost::thread_specific_ptr<int> >]’ declared to take const reference, but implicit declaration would take non-const
4

2 回答 2

5

thread_specific_ptr声明这些成员，以使类不可复制（注意非常量参数）：

private:
    thread_specific_ptr(thread_specific_ptr&);
    thread_specific_ptr& operator=(thread_specific_ptr&);

在 C++03std::pair中没有声明复制构造函数，因此如果程序需要，则隐式生成一个。Astd::pair<X, thread_specific_ptr>不可复制，因为它的一个成员不可复制，所以如果使用隐式复制构造函数，那将是一个错误。

在 C++11std::pair中有一个复制构造函数，它是显式默认的。它有签名：

pair(const pair&) = default;

编译器错误告诉您隐式生成的复制构造函数将具有此签名，因为thread_specific_ptr复制构造函数签名采用非常量引用：

pair(pair&) = default;

因为默认构造函数与隐式声明的签名不同，所以复制构造函数格式不正确。

因此，在这两种情况下pair<X, thread_specific_ptr>都是不可复制的，但在 C++11 中，即使您不尝试复制对象，也会更快地发现错误。

如果boost::thread_specific_ptr使用正常的 C++11 习语使类不可复制，则代码将起作用：

thread_specific_ptr(const thread_specific_ptr&) = delete;
thread_specific_ptr& operator=(const thread_specific_ptr&) = delete;

所以我会将此作为一个错误报告给 Boost。在 C++11 模式下，应该删除复制操作。

作为一种解决方法，您可以使用删除的复制操作将类型包装在您自己的类型中，然后改用它：

template<typename T>
struct TSS : boost::thread_specific_ptr<T>
{
  TSS() = default;
  TSS(void (*f)(T*)) : boost::thread_specific_ptr<T>(f) { }
  TSS(const TSS&) = delete;
  TSS& operator=(const TSS&) = delete;
};

现在您可以使用它，您的代码将编译：

typedef TSS< int > Tss_int_ptr;
于 2013-01-13T20:17:03.467 回答
2

Boost::thread-specific_ptr在某些 boost 版本中类是不可复制的，这意味着它不能在 c++03 STL 容器中使用。我想这是问题的根源，以及为什么更改 c++0x 标志可以解决它。

于 2013-01-12T20:52:27.163 回答