Скрытие класса C ++ в заголовке без использования безымянного пространства имен

Вы можете создать внутренний класс:

class B
{
  class A { /* ... */ };
  A a_;
}

Правильный способ сделать это в C ++ - это идиома PIMPL. Альтернативное решение - поместить класс, который вы хотите скрыть, во вложенное пространство имен, которое обычно называется detail. Но это не сделает его полностью приватным, поскольку пользователи по-прежнему будут подвержены его зависимостям и смогут использовать его напрямую.

Документируйте, что этот класс не является частью общедоступного API и не должен использоваться.

В C ++ вам нужны доверенные программы, которые связываются с кодом вашей библиотеки, потому что у вас мало другого выбора. C ++ имеет ограниченные функции «контроля доступа», многие из которых можно обойти или злоупотребить, поэтому вам лучше относиться к своим клиентам API с уважением и укреплять доверие.

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

Безымянное пространство имен в любом случае бесполезно, поскольку оно защищает только несколько определений. Что вы могли бы сделать, так это использовать pImpl Idiom, как упоминалось в других ответах, или использовать пространство имен detail. Отлично работает для Boost:

namespace detail{
  class A{
    // ...
  };
}

class B{
public:
  // ...
private
  A a_;
};

Любой, кто возится с вещами в пространстве имен detail, напрашивается на проблемы. Или, может быть, скрыть это еще больше

namespace _b_impl_detail{
  // ...
};

Тот, кто сейчас дотронется до чего-нибудь внутри, должен быть ранен в ногу. :)

Вместо class B, удерживающего объект A, пусть он удерживает A* (или shared_ptr<A>, или unique_ptr<A> и т. Д.). Таким образом, class B требуется только предварительное объявление class A, а class A может быть полностью определен внутри исходного файла class B.

Если A является деталью реализации B, вообще не помещайте его определение в заголовок. Вместо:

class B {

   ...
   class A * myA;
};

а затем поместите определение A в файл реализации B (то есть .cpp).

Я хотел бы добавить небольшое увеличение по сравнению с https://stackoverflow.com/a/5780976/1525238, которое помогло мне лучше решить мой особый случай использования, а именно, где «основной» класс является шаблоном, а «вспомогательный / внутренний» класс также должен быть шаблоном ¹.

Я использовал вложенное пространство имен detail, сделал весь «вспомогательный» контент частным и сделал «основной» класс friend из «вспомогательного» класса:

template<__MAIN_TEMPLATE_PARAMS__> class Main;

namespace detail {
    template<__HELPER_TEMPLATE_PARAMS__> class Helper {

        /* All Main templates are friends */
        template<__MAIN_TEMPLATE_PARAMS__> friend class Main; 

        /* Private stuff, not reachable from the outside */
        static void privateThing(){
            ...
        }
    };
}

template<__MAIN_TEMPLATE_PARAMS__> class Main {
    void usePrivateThing(){
        detail::Helper<__DESIRED_HELPER_TEMPLATE_PARAMS__>::privateThing();
    }
};

Личные данные static выше только для того, чтобы сделать код короче. Они вполне могут быть привязаны к экземпляру Helper.

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

¹ Это потому, что мне нужно было использовать вспомогательную функцию шаблона, которая требовала частичной специализации, которая пока не разрешена в C ++ без особой причины, но технически возможно с классом-оболочкой. Частичная специализация в приведенном выше описании для простоты опущена.