Реализация оболочки класса на основе pImpl с использованием функций шаблона с переменным числом аргументов

Резюме

Пишу библиотеку и клиентское приложение. В библиотеке я пытаюсь написать оболочку для другой статически связанной сторонней библиотеки (в частности, spdlog ) и пытаюсь использовать идиому pImpl, чтобы полностью скрыть его от клиентского приложения. Проблема в том, что сторонняя библиотека использует функции вариативного шаблона, и поэтому мне нужно и в моей библиотеке.

Задний план

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

Затем я попытался создать класс pImpl и получил его для компиляции, но снова в клиенте я получил неопределенные ошибки компоновщика ссылок.

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

Пример кода

Вот как сейчас выглядит мой проект:

Почти все пространства имен, имена функций, заголовки и т. д. были отредактированы (или удалены) для краткости и ясности.

Клиентское приложение — sandbox.cpp

#include "sandbox.h"
#include <logger.h>  //  <-- This is all I want clients to see.

int Sandbox::run() {
    LOG_INFO("Hello World!");        // My library is providing this.
    LOG_INFO("Hello {}", "indeed!"); // And, this variable input function.
    return 0;
}

Моя библиотека - logger.h

class LoggerImp;  // Forward declaration of implementation.

class LIB_EXPORT Logger {
  public:

    /* Constructors, destructor, etc. */

    template <typename... Args>
    void info(const char * fmt, Args &... args);

    void info(const char * msg) { this->info("{}", msg); }

    /* Other logging functions: trace, error, etc. */

  private:
    LoggerImp * _imp;
};

static Logger coreLogger("Core");
static Logger clientLogger("App");

#define LOG_INFO(args...) clientLogger.info(args)
/* Other such convenience definitions. */

Моя библиотека - logger.cpp

#include "logger.h"
#include "loggerimp.h"

Logger::Logger(std::string name) { _imp = new LoggerImp(name, this); }
Logger::~Logger() { delete _imp; }

template <typename... Args>
void Logger::info(const char * fmt, Args &... args) {
    _imp->info(fmt, args...);
}

Моя библиотека - loggerimp.h

#include "logger.h"
#include <spdlog/spdlog.h>
#include <spdlog/sinks/stdout_color_sinks.h>

class LoggerImp {
  public:
    explicit LoggerImp(string name, Logger * pubInterface) :
        _pubInterface(pubInterface) {  // Back pointer.
        _sink   = make_shared<spdlog::sinks::stdout_color_sink_mt>();
        _logger = make_shared<spdlog::logger>(name, _sink);
        spdlog::initialize_logger(_logger);
        // The above three lines create the actual logging object
        // that my library is wrapping and hiding from its clients.
    }

    template <typename... Args>
    inline void info(const char * fmt, const Args &... args) {
        _logger->info(fmt, args...);  // Third-party logging function.
    }
}

Ожидаемые результаты

Как упоминалось выше, я просто хочу, чтобы клиенты моей библиотеки могли включать заголовки, такие как <logger.h>, и им не нужно было настраивать свои проекты для поиска и обработки всех зависимостей моей библиотеки, но поскольку в настоящее время я использую сторонний инструмент, который использует вариативные шаблоны. Я не вижу способа скрыть это от своих клиентов, учитывая, гм... нереальную функциональную природу шаблонов.


person RoboticForest    schedule 09.06.2019    source источник
comment
У вас есть определение Logger::info в файле .cpp. Знаете ли вы, что все определения шаблонов должны быть доступны во время компиляции? Вот почему вы обычно помещаете их в заголовок. Это включает в себя те, которые находятся в ваших сторонних зависимостях.   -  person super    schedule 09.06.2019
comment
pImpl и шаблоны не смешиваются, pimpl скрывает все детали реализации, шаблоны генерируют код на стороне пользователя на основе аргументов шаблона и хотят знать реализацию. Я бы использовал библиотеку формата С++ 20, чтобы преобразовать все в одну строку, а затем перейти к реализации.   -  person JVApen    schedule 10.06.2019
comment
Спасибо за ответы. @супер, я сейчас. За последние пару дней я много читал о шаблонах. @JVApen Эта библиотека форматирования еще официально не является частью стандарта C ++, верно? Кроме того, я не понимаю, как мне поможет использование fmtlib. Он уже есть в spdlog, плюс он также построен с использованием вариативных шаблонов, так что не вызовет ли он у меня проблемы, которая у меня уже есть? ... Согласны ли вы с тем, что нет возможности скрыть сторонние библиотеки от клиентов, когда они используют шаблоны? У меня не будет другого выбора, кроме как показать дополнительную зависимость своим клиентам или развернуть собственное решение? :-(   -  person RoboticForest    schedule 10.06.2019
comment
Он официально принят в С++ 20, который официально не выпущен, я прав. (Возможно, им все же нужно было сделать формулировку) Есть репозиторий github, который содержит полностью рабочую версию автора предложения   -  person JVApen    schedule 10.06.2019
comment
Поскольку формат использует аналогичный или даже такой же синтаксис, вы можете с помощью вариативного и форматного преобразования преобразовать его в один аргумент (строку), который вы можете перенаправить в свой импл.   -  person JVApen    schedule 10.06.2019
comment
Я не понимаю. Как бы устранить мою проблему? Даже если бы я попытался создать оболочку вокруг fmtlib, я бы предоставил ее клиентам моей библиотеки точно так же, как я делаю это с spdlog. Моя оболочка должна быть сделана с вариативными параметрами, которые просто расширятся до их вариативных параметров, таким образом, зависимость от клиента. Я пытаюсь делать все правильно, изолируя библиотеки, которые я использую, от клиентов библиотеки, которую я создаю, но из всего, что я изучал в последние выходные, это выглядит все более и более невозможным из-за природы вариативные шаблоны. fmtlib и spdlog кажутся невидимыми. Мои варианты?   -  person RoboticForest    schedule 11.06.2019


Ответы (1)


Вы можете выполнить стирание типа в заголовочном файле и работать со стертым типом в исходном файле impl.

Вот два примера:

1. стирание типа с использованием std::any

// log.hpp
#pragma once

#include <any>
#include <vector>
#include <utility>

struct Log {
  Log(int a);
  ~Log();

  template <class... A>
  void log(A&&... a) {
    log_impl({std::any(std::forward<A>(a))...});
  }

private:
  void log_impl(std::vector<std::any> v);
  struct Impl;
  Impl* impl_;
};

// log.cpp
#include "log.hpp"
#include <iostream>
#include <boost/mp11.hpp>

struct Log::Impl {
  int a;
};

void Log::log_impl(std::vector<std::any> v) {
  std::cout << impl_->a << " ";
  for (auto&& i : v) {
    bool b = false;
    using namespace boost::mp11;
    mp_for_each<mp_list<int, const char*, double>>(
        [&](auto t) {
          if (!b) {
            try {
              std::cout << std::any_cast<decltype(t)>(i) << " ";
              b = true;
            } catch (std::bad_any_cast&) {
            }
          }
        });
    if (!b) {
      std::cout << "UNKNOWN ";
    }
  }
  std::cout << std::endl;
}

Log::Log(int a) : impl_(new Log::Impl{a}) {}
Log::~Log() { delete impl_; }


// client.cpp
#include "log.hpp"

struct A {
  char a;
};
std::ostream& operator<<(std::ostream& os, const A& a) { os << a.a; }

int main() {
  Log a(555);
  a.log(11, "222");    // output: 555 11 222 
  a.log(A{'a'}, 3.3);  // output: 555 UNKNOWN 3.3 
}

2. стирание типа с помощью std::function

// log.hpp
#pragma once

#include <vector>
#include <utility>
#include <functional>
#include <iostream>

struct Log {
  Log(int a);
  ~Log();

  template <class... A>
  void log(A&&... a) {
    log_impl({[&a](std::ostream& os) { os << std::forward<A>(a); }...});
  }

private:
  void log_impl(std::vector<std::function<void(std::ostream&)>> v);
  struct Impl;
  Impl* impl_;
};


// log.cpp
#include "log.hpp"
#include <iostream>

struct Log::Impl {
  int a;
};

void Log::log_impl(std::vector<std::function<void(std::ostream&)>> v) {
  std::cout << impl_->a;
  for (auto&& i : v) {
    std::cout << ' ';
    i(std::cout);
  }
  std::cout << std::endl;
}

Log::Log(int a) : impl_(new Log::Impl{a}) {}
Log::~Log() { delete impl_; }


// client.cpp
#include "log.hpp"

struct A {
  char a;
};
std::ostream& operator<<(std::ostream& os, const A& a) { os << a.a; }

int main() {
  Log a(555);
  a.log(11, "222");    // output: 555 11 222
  a.log(A{'a'}, 3.3);  // output: 555 a 3.3
}

Предоставить fmt::formatter для стираемого типа

вот пример предоставления настраиваемого средства форматирования fmt для типа: стертый тип.

namespace {
struct erased_type : std::vector<std::any> {};
} // namespace

namespace fmt {
template <>
struct formatter<erased_type> {
  template <typename ParseContext>
  constexpr auto parse(ParseContext &ctx) { return ctx.begin(); }

  template <typename FormatContext>
  auto format(const erased_type &v, FormatContext &ctx) {
    auto ctx_itr = ctx.begin();
    for (auto&& i : v) {
      bool b = false;
      using namespace boost::mp11;
      mp_for_each<mp_list<int, const char*, double>>([&](auto t) {
        if (!b) {
          try {
            format_to(ctx_itr, " {}", std::any_cast<decltype(t)>(i));
            b = true;
            ctx_itr++;
          } catch (std::bad_any_cast&) {
          }
        }
      });
      if (!b) {
        format_to(ctx_itr++, " UNKNOWN");
      }
    }
    return ctx_itr;
  }
};
}

void Log::log_impl(std::vector<std::any> v) {
  spdlog::info("{} {}", impl_->a, erased_type{std::move(v)});
}
person user2709407    schedule 12.06.2019
comment
Спасибо тебе за это. Я очень ценю подробные примеры и многому научился, разбирая их. К сожалению, это не отменяет использование в spdlog функций шаблонов с переменным числом аргументов, хотя оно прекрасно работало бы, если бы эта библиотека предоставляла хотя бы одну процедуру ведения журнала на основе списка. - person RoboticForest; 15.06.2019
comment
@RoboticForest, вы можете предоставить пользовательский форматировщик fmt для erased_type struct erased_type : std::vector<std::any>{}; - person user2709407; 15.06.2019