가에 튜플 내에서 유형을 교체 C++ 나는 다음을 수행 C++에서 템플릿을 사용하기 위해 노력하고있어 11

Question

:

이 같은 기능이 있습니다이 기능 내부

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

을, 나는 t1의 모든 요소가 타입 B의 객체를 생성해야하는 타입 A의 요소를 제외하고 같은 위치의 t2로 복사되는 또 다른 튜플 t2를 만들고 싶습니다.

그러나 생성자는 B은유형의 객체에 대한 참조를 취합니다.210 및은 C& 유형의 두 번째 인수입니다. C의 인스턴스는 변환 전에 만들어지고 A 유형의 개체가 발생할 때마다 B의 생성자에 두 번째 인수로 전달되어야합니다. 단지 완전히 일반화 같은

뭔가 :

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

참고 : 새로운 질문은 더 복잡한 것을 요청합니다. 도움이 될 사람들을 위해이 대답을 남겨주세요.

템플릿 조건문 및 서식 파일 팩 확장의 힘 :이 솔루션은 대부분 때문에 std::make_index_sequence을의, C++ (14)를 필요로

가

#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); 
} 

참고 :이 문제를 해결할 생각

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

및 std::index_sequence.
필요할 경우 온라인으로 C++ 11 구현을 찾을 수 있습니다.