Skompilowanie manipulacji "ciągiem" przy użyciu szablonów zmiennych

Question

Hej wszystkim, obecnie próbuję napisać szyfrowanie ciągów kompilacji (używając luźno słów "string" i "encryption") lib.

Co mam tak daleko jest w następujący sposób:

// Cacluate narrow string length at compile-time 
template <char... ArgsT> 
struct CountArgs 
{ 
template <char... ArgsInnerT> struct Counter; 

template <char Cur, char... Tail> 
struct Counter<Cur, Tail...> 
{ 
    static unsigned long const Value = Counter<Tail...>::Value + 1; 
}; 

template <char Cur> 
struct Counter<Cur> 
{ 
    static unsigned long const Value = 1; 
}; 

static unsigned long const Value = Counter<ArgsT...>::Value; 
}; 

// 'Encrypt' narrow string at compile-time 
template <char... Chars> 
struct EncryptCharsA 
{ 
static const char Value[CountArgs<Chars...>::Value + 1]; 
}; 

template<char... Chars> 
char const EncryptCharsA<Chars...>::Value[CountArgs<Chars...>::Value + 1] = 
{ 
Chars... 
}; 

Jednak nie mogę dowiedzieć się, jak wykonywać operacje na bohaterów jak rozwinąć je w statycznej tablicy. Chciałbym wykonać prostą operację na każdym znaku (np. ((((C^0x12)^0x55) + 1) 'gdzie c jest znakiem).

Pchnięcie we właściwym kierunku zostanie bardzo docenione.

Dzięki wszystkim.

Answer 1

Jeśli chcesz po prostu działają na jeden znak w czasie jego krótkiego:

template<char c> struct add_three { 
    enum { value = c+3 }; 
}; 

template <char... Chars> struct EncryptCharsA { 
    static const char value[sizeof...(Chars) + 1]; 
}; 

template<char... Chars> 
char const EncryptCharsA<Chars...>::value[sizeof...(Chars) + 1] = { 
    add_three<Chars>::value... 
}; 

int main() { 
    std::cout << EncryptCharsA<'A','B','C'>::value << std::endl; 
    // prints "DEF" 
} 

Zauważ, że CountArgs jest zbędny (to co jest dla sizeof...) i że ta wykorzystuje element-wise transformation of the elements in a parameter-pack.

---

Aby transformacja zależna od poprzednich wyników, jednym rozwiązaniem byłoby spożywać znaki rekurencyjnie, po jednym na raz, i stopniowo budować nowy szablon, który:

template<char... P> struct StringBuilder { 
    template<char C> struct add_char { 
     typedef StringBuilder<P..., C> type; 
    }; 

    static const char value[sizeof...(P)+1]; 
}; 

template<char... P> const char StringBuilder<P...>::value[sizeof...(P)+1] = { 
    P... 
}; 

template<class B, char...> struct EncryptImpl; 

template<class B, char Seed, char Head, char... Tail> 
struct EncryptImpl<B, Seed, Head, Tail...> { 
    static const char next = Head + Seed; // or whatever 
    typedef typename EncryptImpl< 
     typename B::template add_char<next>::type, 
     next, Tail... 
    >::type type; 
}; 

template<class B, char Seed> struct EncryptImpl<B, Seed> { 
    typedef B type; 
}; 

template<char... P> struct Encrypt { 
    typedef typename EncryptImpl<StringBuilder<>, 0, P...>::type type; 
}; 

Answer 2

Jeśli rozumiem, co chcesz zrobić poprawnie (faktycznie utworzyć tablicę w czasie kompilacji) Myślę, że szablony variadyczne nie są wystarczające i będziesz musiał czekać na constexpr.

Jeśli jednak nie trzeba rzeczywisty układ i może zamiast rezygnować z pomocą czegoś w rodzaju tuple „s get<I> to jest możliwe (można następnie zbudować char tablicy w czasie wykonywania).