Non type de paramètres de modèle

Je comprends que le non-type de modèle paramètre doit être une constante expression intégrale. Quelqu'un peut-il éclairer pourquoi est-il si ?

template <std::string temp>
void foo()
{
     //...
}
error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

Je comprends ce qu'est une constante expression intégrale est. Quelles sont les raisons de ne pas autoriser les non-constante des types comme std::string comme dans l'extrait ci-dessus ?

  • Un paramètre du modèle est résolu au moment de la compilation.
InformationsquelleAutor Mahesh | 2011-04-16
  1. 113

    La raison pour laquelle vous ne pouvez pas le faire c'est parce que les expressions constantes ne peuvent pas être analysées et remplacé lors de la compilation. Ils pourraient changer au cours de l'exécution, ce qui nécessiterait la création d'un nouveau modèle en cours d'exécution, ce qui n'est pas possible parce que les modèles sont un moment de la compilation concept.

    Voici ce que la norme permet la non-type de paramètres du modèle (14.1 [temp.param] p4):

    Un non-type de modèle-paramètre doit avoir une des options suivantes (en option cv qualifiés) types:

    • intégrale ou type d'énumération,
    • pointeur vers l'objet ou le pointeur de fonction,
    • lvalue référence à l'objet ou à la lvalue référence à la fonction,
    • pointeur de membre,
    • std::nullptr_t.
    • Qui relève de "pointeur de membre". C'est soit "pointeur vers une fonction membre" ou "pointeur vers les données de membre".
    • Il est intéressant de noter que dans le cas des pointeurs vers des objets (ou des champs d'instance), les objets doivent avoir statique de la durée de stockage et de liaison externe (avant C++11, interne ou externe en C++11), de sorte que les pointeurs peuvent être créés au moment de la compilation.
    • En C++20 c'est maintenant autorisée à condition que le type a de fortes structuré de l'égalité, est un littéral, non mutable/volatils sous-objets et où le vaisseau spatial est l'opérateur public.
    InformationsquelleAutor Xeo
  2. 69

    Qui n'est pas autorisé.

    Toutefois, il est permis de:

    template <std::string * temp> //pointer to object
void f();

template <std::string & temp> //reference to object
void g();

    Voir §14.1/6,7,8 en C++ Standard (2003).

    Illustration:

    template <std::string * temp> //pointer to object
void f()
{
   cout << *temp << endl;
}

template <std::string & temp> //reference to object
void g()
{
     cout << temp << endl;
     temp += "...appended some string";
}

std::string s; //must not be local as it must have external linkage!

int main() {
        s = "can assign values locally";
        f<&s>();
        g<s>();
        cout << s << endl;
        return 0;
}

    De sortie:

    can assign values locally
can assign values locally
can assign values locally...appended some string
    • Merci pour la référence.
    • Ce qui est une raison de ne pas permettre que le concept est le même pour les variables locales ? Je ne peux pas penser à une raison pour ne pas permettre cela. Merci.
    • Parce que ce que le modèle fondamentalement des modèles est l'adresse de ce std::string pointeur ou une référence d'objet. Si cette variable est locale, vous peut-être obtenir des adresses différentes à chaque fois que la fonction a été appelée.
    • Même si une autre adresse est passée, fonction nécessaire qui peut prendre l'adresse est générée au moment de la compilation. Alors, quel est le problème ? Pourriez-vous nous l'expliquer avec un exemple ?
    • Vous ne savez pas ce que la pile des appels ressemble au moment de la compilation. Avant votre fonction, il pourrait y ai été appelé 10 autres ou 3 autres, ou cependant beaucoup d'autres, de sorte que l'adresse sur la pile, au cours de laquelle la chaîne est créée pouvez modifier à partir d'un appel à l'autre. Lorsque vous avez un objet avec une liaison externe, son adresse est fixe lors de la compilation ou le couplage.
    • Merci. Je comprends maintenant.
    • Content d'avoir pu aider. 🙂
    • l'adresse est fixée lors de la compilation/lien." Ou pas, pour transférable ou indépendant de la position du code.
    • Il ressemble à la ideone.com-lien pointe vers une page vide.
    • Cette réponse (pour l'instant) ne semble pas à l'adresse de l'OP de la question, qui demandait à pourquoi ce comportement existe; cette réponse simple reprend les OP exemple, sans offrir aucune explication.
    • Je suis en retard pour la fête, il semble que les pointeurs intelligents aussi de ne pas travailler

    InformationsquelleAutor Nawaz
  3. 25

    Vous devez être capable de coder les arguments de modèle

    template <std::string temp>
void f() {
 //...
}

f<"foo">();
f<"bar">(); //different function!?

    Maintenant une impl aurait besoin de venir avec une unique séquence de caractères pour un std::string ou, d'ailleurs, toutes les autres arbitraire défini par l'utilisateur de la classe, de stocker une valeur particulière, dont le sens n'est pas connu pour la mise en œuvre. Et en plus, la valeur de l'arbitraire des objets de la classe ne peut pas être calculé au moment de la compilation.

    Il est prévu d'envisager de permettre littérale types de classe en tant que modèle des types de paramètres pour la post-C++0x, qui sont initialisés par des expressions constantes. Ceux-ci pourraient être déformés par le fait d'avoir les membres de données de façon récursive de déformation en fonction de leurs valeurs (pour les classes de base, par exemple, nous pouvons appliquer la profondeur de la première, de gauche à droite de la traversée). Mais il est certainement ne va pas au travail pour arbitraire classes.

    InformationsquelleAutor Johannes Schaub - litb
  4. 9

    Un non-type de modèle argument fourni à l'intérieur d'un modèle de liste d'arguments est une expression dont la valeur peut être déterminée au moment de la compilation. Ces arguments doivent être:

    des expressions constantes, les adresses de
    des fonctions ou des objets externes
    de liaison, ou des adresses de classe statique
    les membres de l'.

    Aussi, les littéraux de chaîne sont des objets ayant une liaison interne, de sorte que vous ne pouvez pas les utiliser comme arguments de modèle. Vous ne pouvez pas utiliser un pointeur global, soit. Virgule flottante littéraux ne sont pas autorisés, compte tenu de la possibilité évidente de l'arrondissement des erreurs.

    InformationsquelleAutor Sadique