Исправьте определение друга, чтобы дать std :: map доступ к частному конструктору по умолчанию - PullRequest
Новая
       48

Исправьте определение друга, чтобы дать std :: map доступ к частному конструктору по умолчанию

0 голосов
/ 23 мая 2018

Я работаю над библиотекой, которая использует структуру, которая должна не иметь конструктор по умолчанию, доступный пользователям библиотеки. 

struct Example
{
    Example(int x);

  private:
    Example();
};

Внутри библиотеки конструктор по умолчанию:требуется для std :: map для создания новых записей.Библиотека очень аккуратно размещает значения везде, где используется конструктор по умолчанию.

Библиотека использует карту для хранения этих структур, например: 

std::map<int, Example> data;

Проверка ЗДЕСЬДЛЯ ПОЛНОГО ПРИМЕРА в ideOne.

Я бы хотел запретить пользователям библиотеки использовать конструктор по умолчанию.Как мне подружиться с std :: map, std :: pair и / или std :: tuple, чтобы позволить std :: map использовать этот конструктор по умолчанию? 

friend class std::map<int, Example>;
friend class std::pair<int, Example>;

не работают, и я не уверен, какдругу следующий конструктор, который жалуется на неспособность получить доступ к конструктору по умолчанию: 

// TEMPLATE CONSTRUCTOR pair::pair(tuple, tuple, sequence, sequence)
template<class _Ty1,
class _Ty2>
template<class _Tuple1,
    class _Tuple2,
    size_t... _Indexes1,
    size_t... _Indexes2> inline
    pair<_Ty1, _Ty2>::pair(_Tuple1& _Val1,
        _Tuple2& _Val2,
        integer_sequence<size_t, _Indexes1...>,
        integer_sequence<size_t, _Indexes2...>)
    : first(_STD get<_Indexes1>(_STD move(_Val1))...),
        second(_STD get<_Indexes2>(_STD move(_Val2))...)
    {   // construct from pair of tuples
    (void) _Val1;   // TRANSITION, VSO#181496
    (void) _Val2;
    }

Любая поддержка очень ценится!

Редактировать: полное сообщение об ошибке: 

In file included from /usr/include/c++/6/bits/stl_map.h:63:0,
                 from /usr/include/c++/6/map:61,
                 from prog.cpp:2:
/usr/include/c++/6/tuple: In instantiation of ‘std::pair<_T1, _T2>::pair(std::tuple<_Args1 ...>&, std::tuple<_Args2 ...>&, std::_Index_tuple<_Indexes1 ...>, std::_Index_tuple<_Indexes2 ...>) [with _Args1 = {int&&}; long unsigned int ..._Indexes1 = {0ul}; _Args2 = {}; long unsigned int ..._Indexes2 = {}; _T1 = const int; _T2 = Example]’:
/usr/include/c++/6/tuple:1579:63:   required from ‘std::pair<_T1, _T2>::pair(std::piecewise_construct_t, std::tuple<_Args1 ...>, std::tuple<_Args2 ...>) [with _Args1 = {int&&}; _Args2 = {}; _T1 = const int; _T2 = Example]’
/usr/include/c++/6/ext/new_allocator.h:120:4:   required from ‘void __gnu_cxx::new_allocator<_Tp>::construct(_Up*, _Args&& ...) [with _Up = std::pair<const int, Example>; _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Tp = std::_Rb_tree_node<std::pair<const int, Example> >]’
/usr/include/c++/6/bits/alloc_traits.h:455:4:   required from ‘static void std::allocator_traits<std::allocator<_CharT> >::construct(std::allocator_traits<std::allocator<_CharT> >::allocator_type&, _Up*, _Args&& ...) [with _Up = std::pair<const int, Example>; _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Tp = std::_Rb_tree_node<std::pair<const int, Example> >; std::allocator_traits<std::allocator<_CharT> >::allocator_type = std::allocator<std::_Rb_tree_node<std::pair<const int, Example> > >]’
/usr/include/c++/6/bits/stl_tree.h:543:32:   required from ‘void std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_construct_node(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Link_type, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Key = int; _Val = std::pair<const int, Example>; _KeyOfValue = std::_Select1st<std::pair<const int, Example> >; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, Example> >; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Link_type = std::_Rb_tree_node<std::pair<const int, Example> >*]’
/usr/include/c++/6/bits/stl_tree.h:560:4:   required from ‘std::_Rb_tree_node<_Val>* std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_create_node(_Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Key = int; _Val = std::pair<const int, Example>; _KeyOfValue = std::_Select1st<std::pair<const int, Example> >; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, Example> >; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Link_type = std::_Rb_tree_node<std::pair<const int, Example> >*]’
/usr/include/c++/6/bits/stl_tree.h:2196:64:   required from ‘std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_emplace_hint_unique(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator, _Args&& ...) [with _Args = {const std::piecewise_construct_t&, std::tuple<int&&>, std::tuple<>}; _Key = int; _Val = std::pair<const int, Example>; _KeyOfValue = std::_Select1st<std::pair<const int, Example> >; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, Example> >; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator = std::_Rb_tree_iterator<std::pair<const int, Example> >; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::const_iterator = std::_Rb_tree_const_iterator<std::pair<const int, Example> >]’
/usr/include/c++/6/bits/stl_map.h:502:8:   required from ‘std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](std::map<_Key, _Tp, _Compare, _Alloc>::key_type&&) [with _Key = int; _Tp = Example; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, Example> >; std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type = Example; std::map<_Key, _Tp, _Compare, _Alloc>::key_type = int]’
prog.cpp:17:8:   required from here
/usr/include/c++/6/tuple:1590:70: error: ‘Example::Example()’ is private within this context
         second(std::forward<_Args2>(std::get<_Indexes2>(__tuple2))...)
                                                                      ^
prog.cpp:11:2: note: declared private here
  Example(){}
  ^~~~~~~

Ответы [ 3 ]

0 голосов
/ 23 мая 2018

Не уверен, что это нормативно, но мой GCC принял: 

struct Example 
{
    Example(int x) { }
    private:
    friend class std::pair<int const, Example>;
    Example() { }
};

Имейте в виду, что std::pair<int, Example> не будет работать, так как ключи std :: map являются постоянными!

0 голосов
/ 23 мая 2018

Во-первых, я хотел бы исправить важный момент в вашем посте:

Внутри библиотеки по умолчанию требуется конструктор для std :: map

Вы можетеиспользуйте std::map<K,T>, даже если T не имеет конструктора по умолчанию.Смотрите этот пост .В этом случае вы не можете использовать operator[] для чтения и записи на карту.Вы все еще можете сделать это другими способами:

  • прочитать карту: V value = map.at(key);
  • вставить в карту: map.insert(std::make_pair(key, value));.

IНастоятельно советую сделать это так.

При этом, если вы действительно хотите пойти по пути "приватный конструктор и друг", из сообщения об ошибке: 

In instantiation of ‘std::pair<_T1, _T2>::pair(/*...*/) [with /*...*/; _T1 = const int; _T2 = Example]’

Вы можете попробовать friend std::pair<const int, Example>;.Как сказал Калет в своем ответе, это может быть не переносимо.

0 голосов
/ 23 мая 2018

Переносимого решения не существует.

Ваш тип не DefaultConstructible, поэтому попытка data[5] - неопределенное поведение.

Для справки, я попробовал все следующее и g++ все еще отклонил его 

struct Example
{
    Example(int x) {}

  private:
    Example();
    friend class std::map<int, Example>;
    friend std::map<int, Example>::key_type;
    friend std::map<int, Example>::mapped_type; // warning: class 'Example' is implicitly friends with itself
    friend std::map<int, Example>::value_type;
    friend std::map<int, Example>::size_type;
    friend std::map<int, Example>::difference_type;
    friend std::map<int, Example>::key_compare;
    friend std::map<int, Example>::allocator_type;
    friend std::map<int, Example>::reference;
    friend std::map<int, Example>::const_reference;
    friend std::map<int, Example>::pointer;
    friend std::map<int, Example>::const_pointer;
    friend std::map<int, Example>::iterator;
    friend std::map<int, Example>::const_iterator;
    friend std::map<int, Example>::reverse_iterator;
    friend std::map<int, Example>::const_reverse_iterator;
    friend std::map<int, Example>::node_type;
    friend std::map<int, Example>::insert_return_type;
    friend std::map<int, Example>::value_compare;
};
...