Обмен двумя параметрами в вариационном шаблоне

Я пытаюсь поменять два элемента пакета параметров.

В идеале я хотел бы сделать что-то вроде этого:

template<int i1, int i2, class... Args>
void swapped_copy(some_class a, some_class b, Args... args) {
    a(args...) = b(/* 'args...' where parameters with indices i1 and i2 are swapped */);
}

Любая идея?

Большое спасибо.

Ответ 1

Вы можете использовать std::tuple для упаковки аргументов и распаковки по индексу и std::index_sequence для генерации индексов для использования. Тогда это просто вопрос обмена свопами по индексам. Что-то вроде этого:

namespace swapped_copy_detail {
    constexpr std::size_t swap_one_index(
        std::size_t i1, std::size_t i2, std::size_t index) {
        return index==i1 ? i2 : (index==i2 ? i1 : index);
    }

    template <std::size_t i1, std::size_t i2, class Tuple, std::size_t... Inds>
    void do_swapped_copy(
        some_class& a, some_class& b,
        Tuple&& args,
        std::index_sequence<Inds...> inds ) {
        a(std::get<Inds>(args)...) =
            b(std::get<swap_one_index(i1, i2, Inds)>(args)...);
    }
}

template <std::size_t i1, std::size_t i2, class ...Args>
void swapped_copy(some_class a, some_class b, const Args& ...args) {
    static_assert(i1 < sizeof...(Args) && i2 < sizeof...(Args),
                  "Index too large for swapped_copy");
    swapped_copy_detail::do_swapped_copy<i1, i2>(
        a, b, std::tie(args...),
        std::index_sequence_for<Args...>());
}

index_sequence и index_sequence_for находятся в стандарте С++ 14, но ваш вопрос помечен тегом [С++ 11]. Если вам нужно придерживаться С++ 11, реализации этих утилит можно найти в этом ответе для одного места.