Modèle de Méta-programmation avec des Tableaux de Char en tant que Paramètres

Malheureusement, vous avez encore de le découper en plusieurs caractères, par exemple:

myTemplate<'s','t','r','i','n','g'>

À mon humble avis, c'est une énorme surveillance dans la nouvelle norme. Quelques autres personnes sont d'accord, et a essayé de mettre en œuvre le comportement de GCC avec d'assez bons résultats. Vous pouvez trouver ce thread ici.

Edit: Certains des problèmes bizarres avec le lien, pour couper et coller à partir de ce:

http://groups.google.com/group/comp.lang.c++.modéré/browse_thread/thread/9b0edd169ba2ce3c

OriginalL'auteur Dan Olson

Essayez ceci:

extern const char SOMESTRING[] = "stringhere"; //extern linkage required!

template<const char * const STR>
struct MyStruct
{
  static std::string doThis() { return STR; }
};



MyStruct<SOMESTRING>   testObj; //ok!

Chris

OriginalL'auteur

En C++11 il n'existe aucun moyen pour le stockage temporaire de la chaîne de n'importe où au moment de la compilation. Donc, je peux vous suggérer cette approche:
(C'est vite-fait des croquis, mais il est bien descriptif)

#include <stdio.h>
template <char...>
struct StringTuple;
template <char TargHead>
struct StringTuple<TargHead> {
static constexpr char kSymbol = TargHead;
static void print() {
printf(kSymbol ? "%c\n" : "\n", kSymbol);
}
};
template <char TargHead, char... TargTail>
struct StringTuple<TargHead, TargTail...> {
using Next = StringTuple<TargTail...>;
static constexpr char kSymbol = TargHead;
static void print() {
if (kSymbol) {
printf("%c", kSymbol);
Next::print();
} else {
printf("\n");
}
}
};
constexpr int length(char *string) {
return (string[0] == 0) ? 1 : (length(string + 1) + 1);
}
constexpr char get(char *string, int i) {
return i < length(string) ? string[i] : 0;
}
#define ST(string) \
StringTuple< \
get(string, 0), \
get(string, 1), \
get(string, 2), \
get(string, 3), \
get(string, 4), \
get(string, 5), \
get(string, 6), \
get(string, 7), \
get(string, 8), \
get(string, 9), \
get(string, 10), \
get(string, 11), \
get(string, 12), \
get(string, 13), \
get(string, 14), \
get(string, 15), \
get(string, 16), \
get(string, 17), \
get(string, 18), \
get(string, 19), \
get(string, 20), \
get(string, 21), \
get(string, 22), \
get(string, 23), \
get(string, 24), \
get(string, 25), \
get(string, 26), \
get(string, 27), \
get(string, 28), \
get(string, 29), \
get(string, 30), \
get(string, 31), \
get(string, 32), \
get(string, 33), \
get(string, 34), \
get(string, 35), \
get(string, 36), \
get(string, 37), \
get(string, 38), \
get(string, 39), \
get(string, 40), \
get(string, 41), \
get(string, 42) \
>
int main() {
ST("Hello, compile-time world!")::print();
}

Bash code pour générer une partie de la macro:

for i in `seq 0 42`; do echo "    get(string, $i), \\"; done

Vous devez passer un grand nombre (plus de 1000) pour ce générateur pour toutes vos chaînes et vous devez le rendre statique affirmation si la chaîne dépasse cette limite.

---

- Je utiliser ces généré des macros dans mes propres projets scientifiques. Je sais que cela semble désordonné, mais il fonctionne. Exemple d'utilisation de la macro générée:

#define PRINT(a) print(a);
FOREACH_MACRO(PRINT, a, b, c) //print(a);print(b);print(c);

Je vais essayer de trouver plus jolie solution, mais d'abord je vais utiliser cette.

OriginalL'auteur cppist

Vous ne pouvez pas le faire. De 14.3.2 dans la norme:

Un modèle d'argument pour un non-type, non-template template-parameter est l'un des:

• intégrante constante de l'expression de l'intégrale ou type d'énumération; ou
• le nom d'un non-type de modèle à paramètre; ou
• l'adresse d'un objet ou une fonction de liaison externe, y compris les modèles de fonction et de la fonction de modèle-id
  mais à l'exclusion des non-statique des membres de la classe, exprimé sous la forme & id-expression où le & est facultatif si le nom fait référence à
• une fonction ou un tableau, ou si le modèle correspondant paramètre est une référence, ou
• une expression constante qui donne une valeur de pointeur null (4.10); ou
• une constante expression qui renvoie une valeur null membre de la valeur du pointeur (4.11); ou
• un pointeur sur membre, tel que décrit à l'article 5.3.1.
• [ Note: Une chaîne littérale (2.13.4) ne satisfait pas aux exigences de l'une de ces catégories et n'est donc pas acceptable modèle argument

OriginalL'auteur CTT

Motti est faux.

Malheureusement actuelle de la norme C++11) ne supporte pas variadic template littérale de l'opérateur pour les paramètres de chaîne, il est possible que pour les numéros.

template <char... Args>
operator ""_op();
...
1212_op; //legal, calls operator ""_op<'1','2','1','2'>;
"1212"_op; //illegal

Je n'ai pas compris le but de cette restriction.

OriginalL'auteur cppist