Derleme zamanında değişken bir şablonun iki parametresi nasıl değiştirilir?

Question

Ben derleme zamanında variadic şablonunun iki parametre takas çalışıyorum:

template<int...Numbers>struct sequence{}; 

template<size_t first,size_t second> 
struct Swap_Pair 
{ 
    const static size_t First = first; 
    const static size_t Second = second; 
}; 

template <int...Numbers,class swap_pair> 
struct Swap_Data 
{ 
    static std::array<int, sizeof...(Numbers)> data_;//How to swap Numbers base on the pair and store it in data_ ? 
}; 

kullanım durumu olmalıdır: düzgün olduğunu anlamaya olamaz

sequence<1, 2, 3, 4, 5, 6> array; 
auto result = Swap_Data < array, Swap_Pair<2, 5> > ::data_; 
//result is now std::array which contains 1 2 6 4 5 3 

Yazmanın yolu Swap_Data.

Ve varyantik parametrelerin değiştirilmesi ve derleme zamanında std :: array'e dönüştürmek için nasıl tekrarlamalı bir takas yapabilirim?

Answer 1

Yorumda yayınlanan bağlantı, meta işlevler için benim bir std::bind() benzeri meta işlevini kendi uygulamamdır.

Yaptığım şey, bind çağrı parametrelerini değerinden (A değeri veya yer tutucu) bir değere veya o yer tutucu tarafından temsil edilen değere dönüştürmektir.

Sizin durumunuzda da benzer bir yaklaşımı deneyebilirsiniz: Diziyi yer tutuculardan (Takas edilen değerler) dizinin karşılık gelen değerleriyle eşleştirin. Bir şey gibi:

template<std::size_t I> 
struct placeholder{}; 

using _1 = placeholder<0>; 
... //More placeholder aliases 

template<typename SEQ , typename... PLACEHOLDERS> 
struct swap; 

template<std::size_t... Is , std::size_t... Ps> 
struct swap<sequence<Is...>,placeholder<Ps>...> 
{ 
    template<typename PLACEhOLDER> 
    struct transformation; 

    template<std::size_t I> 
    struct transformation<placeholder<I>> 
    { 
     static constexpr const std::size_t result = get<sequence<Is...>,I>::value; 
    }; 

    using result = map<transformation,sequence<Is...>>; 
}; 

map std::transform() benzer bir üst-işlevin (yazmak için çok kolay) 'dir

ve get (çok kolay) bir dizinin Ith elemanını alan bir üst-işlevin.

Bu

bu yolda kullanılabilir:

using swapped = typename swap<sequence<1,2,3>,_3,_2,_1>::result; //swapped is sequence<3,2,1>