Modèle dans le modèle : pourquoi « '>>' devrait être '> >' dans une liste d’arguments de modèle imbriquée »

Question

Je sais que lorsque nous utilisons un modèle à l’intérieur d’un autre modèle, nous devrions l’écrire comme ceci:

``

et si nous l’écrivons sans l’espace blanc:

``

nous obtiendrons une erreur:

'>>' doit être '> >' dans une liste d’arguments de modèle imbriquée

Je vois que c’est compréhensible, mais je ne peux m’empêcher de me demander, dans quels cas cela sera-t-il vraiment ambigu?

Answer 1

Parfois, vous voulez que ce soit `` . Considérer

En C++03, cela analyse et crée avec succès un tableau de taille `` .

Answer 2

Ce ne sera jamais ambigu. Ceci est prouvé par le fait qu’en C ++0x, vous n’avez plus besoin d’écrire un espace entre les modèles `` de fermeture.

Le fait est que les compilateurs préféreraient tokeniser l’entrée aussi indépendamment du contexte que possible. Étant donné que C ++ n’est pas un langage indépendant du contexte de toute façon, l’ajout de ce seul cas spécial ne va pas rendre les choses particulièrement difficiles.

Answer 3

Dans la norme actuelle, la tokenisation est gourmande, elle sera donc traitée comme un seul jeton, de la même manière qu’elle sera analysée comme `` . Cela a changé et la nouvelle norme a changé. Bien que cela nécessite plus de travail de la part des implémenteurs du compilateur, il a été jugé que dans l’ensemble, cela en valait la peine (et certains compilateurs majeurs l’implémentent déjà en tant qu’extension de toute façon).