Comment puis-je "remplacer" [] pour accepter deux arguments en C++?

Question

J'essaye de créer une classe de vecteur de bits en C++ pour modéliser du matériel. Dans la plupart des HDL (la description du matériel Langauges) que je connais, des bits spécifiques sont référencés comme ceci:

my_vector[bit_position] 

et les sous-vecteurs sont référencés comme ceci:

my_vector[msb:lsb] 

ou

my_vector[msb,lsb] 

Je veux être capable de faire quelque chose de similaire avec ma classe de bit-vector. Est-il possible de dire operator[] pour accepter deux arguments?

Les alternatives que j'ai pris en compte sont les suivants:

1. en utilisant une méthode range:

   my_vector.range(msb,lsb)

2. en utilisant une chaîne et l'analyser:

   my_vector["msb:lsb"]

Mais ni l'un ni l'autre n'est attrayant. Le premier, parce qu'il est trop différent de la façon dont il est modélisé en HDL, le second parce que je n'aime pas traiter avec des cordes quand je n'ai pas à le faire, et cela semble inélégant.

Quelle est la meilleure façon de faire cela?

Answer 1

La question:

Outre operator() tous les opérateurs ont un arité fixe, ce qui empêche effectivement toute forme de changement

Vous avez alors plusieurs solutions:

• surcharge operator() à la place: vector(msb, lsb)
• utiliser deux successives invocations: vector[msb][lsb]
• surcharge l'opérateur virgule: vector[msb,lsb]

La dernière solution correspond à la syntaxe dont vous avez besoin, mais est un peu subtile:

• vous devez d'abord soit msb ou lsb pour être d'une coutume type (pour les opérateurs ne peut pas être surchargé sur les built-ins seulement)
• vous fournissez alors une surcharge de operator, pour ce type, en retournant un objet Range
• vous fournir enfin une coutume operator[](Range) votre classe

La vraie déception est le premier point: que l'un des msb ou lsb besoin d'être d'un type personnalisé. Cela peut être quelque peu allégé en utilisant Boost.StrongTypedef qui crée un type personnalisé qui imite un existant.

Answer 2

un struct simple avec deux membres en tant que paramètre à l'opérateur [] ...

struct pos 
{ 
    int lsb; 
    int msb; 
}; 

pos foo={1,2}; 

my_vector[foo]; 

ou dans la nouvelle norme, je crois que vous pouvez simplement faire:

my_vector[pos{1,2}] 

Answer 3

La solution habituelle est de surcharger l'opérateur(). Cela vous permet de faire des choses comme my_vector (1, 2).

Les contournements utilisant l'opérateur [] sont possibles, mais comme l'indique Matthieu M., vous avez besoin d'un type personnalisé.

Answer 4

L'opérateur de deux arguments [] n'est pas possible en C++. Les noms de, l'antériorité, l'associativité de, et l'arité des opérateurs est fixé par le langage. ¹ Opérateur() peut cependant prendre deux arguments ...

Answer 5

Est-il possible de dire à operator[] d'accepter deux arguments?

No.

Il y a deux alternatives communes. L'un est de surcharger operator() à la place. Vous devez ensuite l'appeler en utilisant la syntaxe ().

L'autre est d'avoir un retour operator[] objet proxy pour lequel operator[] est surchargée, aussi. Cela peut être appelé comme des tableaux multidimensionnels en C, avec plusieurs [][] en série.

Answer 6

utiliser une langue avec des tranches de tableau à la place? = P