Замена типа внутри кортежа в C++ 11

Question

Я пытаюсь использовать шаблоны в C++, чтобы сделать следующее:

У меня есть функция, как это:

template<typename... Args> 
void f1(const std::tuple<Args...>& t1); 

Внутри этой функции, Я хотел бы создать еще один набор t2, так что каждый элемент t1 будет скопирован в t2 в том же положении, за исключением элементов типа A, для которых t2 должен создать объект типа B.

Однако конструктор B принимает ссылку на объект типа A, а также - второй аргумент типа C&. Экземпляр C создается перед преобразованием и должен передаваться как второй аргумент конструктору B всякий раз, когда встречается объект типа A.

Нечто подобное, только полностью обобщается:

std::tuple<int, B, double, B> Convert(std::tuple<int, A, double, A> tpl, C& c) 
{ 
    return std::tuple<int, B, double, B>(
    std::get<0>(tpl), 
    B(std::get<1>(tpl), c), 
    std::get<2>(tpl), 
    B(std::get<3>(tpl), c), 
); 
} 

Answer 1

Примечание: Новый вопрос просит чего-то более сложного. Оставляя этот ответ тем, кто мог бы выиграть.

Сила шаблона условными и расширения шаблона пакета:

template<typename... Args> 
void f1(const std::tuple<Args...>& t1) { 
    std::tuple<typename std::conditional< 
     std::is_same<A, Args>::value, B, Args>::type...> t2(t1); 
    // Both Args are expanded in parallel, resulting in the same types 
    // Do things with t2 
} 

Answer 2

Я предполагаю, что это позволит решить проблему:

#include<functional> 
#include<tuple> 
#include<cassert> 

struct A {}; 
struct C {}; 
struct B { B(const A &, C &) {} }; 

template<typename T> 
T g(const T &t, C &) { return t; } 

B g(const A &a, C &c) { 
    return B{a, c}; 
} 

template<std::size_t... I, typename... Args> 
void f(const std::tuple<Args...> &tup,std::index_sequence<I...>) { 
    C c; 
    auto val = std::make_tuple(g(std::get<I>(tup), c)...); 
    assert((std::is_same<std::tuple<C, B, C>, decltype(val)>::value)); 
} 

template<typename... Args> 
void f(const std::tuple<Args...> &tup) { 
    f(tup, std::make_index_sequence<sizeof...(Args)>()); 
} 

int main() { 
    auto tup = std::make_tuple(C{}, A{}, C{}); 
    f(tup); 
} 

Обратите внимание, что это решение требует C++ 14, в основном из-за std::make_index_sequence и std::index_sequence.
Вы можете найти подходящую для них версию C++ 11 онлайн, если это необходимо.