станд :: карта и частный конструктор

Question

Вот код, который не компилируется:

#include <map> 
using namespace std; 

class A; 

class B { 
     friend class A; 
     int b; 
     B():b(1){}; 
     B(int b_):b(b_){}; 
}; 

class A { 
     map<int,B> objects; 
public: 
     void init(){ 
       objects[2]=B(3); 
     } 
}; 

int main(){ 
     A a; 
     a.init(); 
     return 0; 
} 

Из того, что я понимаю, в сообщении об ошибке:

/usr/include/c++/4.8/bits/stl_map.h: In instantiation of ‘std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const key_type&) [with _Key = int; _Tp = B; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, B> >; std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type = B; std::map<_Key, _Tp, _Compare, _Alloc>::key_type = int]’: 
foo.cc:18:24: required from here 
foo.cc:9:10: error: ‘B::B()’ is private 
      B():b(1){}; 
     ^
In file included from /usr/include/c++/4.8/map:61:0, 
       from foo.cc:1: 
/usr/include/c++/4.8/bits/stl_map.h:469:59: error: within this context 
      __i = insert(__i, value_type(__k, mapped_type())); 
                 ^

проблема «карта» не является друг B, поэтому он может не использовать конструктор B() (кстати, я замечаю, что objects[2]=B(3); требует B()!).

Я нашел следующий обходной путь:

objects.insert(pair<int,B>(2,B(3))); 

, который работает ... до тех пор, пока ~B() также частные.

Итак, есть ли способ построить карту B внутри A, когда конструкторы и деструкторы B являются частными?

Другой вопрос: почему objects[2]=B(3); с использованием B()?

Answer 1

Строго говоря, это не ответ на ваш вопрос, но я думаю, что он решает вашу проблему более элегантным способом.

Вместо того, чтобы все поля B приватного и затем баловаться с другом ключевым словом в А, вы можете скрыть класс B от внешнего мира, сделав его личное member class:

#include <map> 

class A { 
    class B { 
     int b; 

     public: 
     B() : b(1){}; 
     B(int b_) : b(b_){}; 
     ~B() {} 
    }; 
    std::map<int, B> objects; 

    public: 
    void init() { 
     auto b = B(); 
     objects[2] = B(3); 
     objects.insert(std::pair<int, B>(2, B(3))); 
    } 
}; 

int main() { 
    A a; 
    A::B b; // 'A::B': cannot access private class declared in class 'A' 
    a.init(); 
    return 0; 
} 

Таким образом, вы до сих пор не можете построить B свободно вне A, но A может использовать его каким-либо образом. Это также открывает более тонкую гранулярность инкапсуляции в B: некоторые части могут быть сделаны частными/защищенными от A. Это не относится к коду класса друга.

Схематично, вы можете думать о своем коде, как:

A [ B [ private(a), private(b), private(c), ... ] ] 

Хотя мой код больше похож:

A[ private(B[a, b, c]) ] 

т.е. частного начала является "вынесена" из B

Answer 2

Посмотрите на эту ссылку http://www.cplusplus.com/reference/map/map/operator[]/, он говорит

Вызов этой функции эквивалентен:

(*((this->insert(make_pair(k,mapped_type()))).first)).second 

конструктор по умолчанию вызывается из класса std::map ' который не является другом этого класса. Поэтому ошибка.

Ошибка должна быть там. Тогда такой конструктор не следует объявлять приватным.

Еще один способ решения этой проблемы - делегировать построение объектов классу A и иметь карту целых чисел для указателей (или ссылочных оберток) на B. Эта карта должна быть доступна только через интерфейс что A разоблачает. Таким образом, все время жизни объектов B управляется A и никаких инвариантов не нарушаются.