У меня есть раздражающий сценарий, когда мне нужно отложить инициализацию какого-либо state
объекта и позволить пользователю построить его по требованию. Например
// user code
context c;
// ...do something...
c.initialize_state(a, b, c);
// library code
class context
{
private:
class state
{
state(A a, B b, C c);
state(const state&) = delete;
state(state&&) = delete;
};
std::optional<state> _state; // or 'boost::optional'
public:
template <typename... Xs>
void initialize_state(Xs&&... xs)
{
_state.emplace(std::forward<Xs>(xs)...);
}
};
Как видно из приведенного выше кода, интерфейс context::initialize_state
сообщает пользователю ничего о том, как инициализировать context::_state
. Пользователь вынужден посмотреть на реализацию initialize_state
а затем посмотреть state::state
чтобы понять, что должно быть передано initialize_state
.
Я могу изменить initialize_state
на...
void initialize_state(A&& a, B&& b, C&& c)
{
_state.emplace(std::move(a), std::move(b), std::move(c));
}
... но у этого есть главный недостаток: существует дублирование кода с state::state
, которое должно поддерживаться вручную в случае изменения типов аргументов.
Есть ли способ получить лучшее из обоих миров (DRY и удобный интерфейс)? Обратите внимание, что state
не перемещается и не копируется.