¿Cómo puedo "anular" [] para aceptar dos argumentos en C++?

Question

Estoy tratando de crear una clase de vector de bits en C++ para modelar hardware. En la mayoría de las HDL (descripción hardware Langauges) que conozco, bits específicos son referenciados como esto:

my_vector[bit_position] 

y sub-vectores están referenciados como esto:

my_vector[msb:lsb] 

o

my_vector[msb,lsb] 

Quiero ser capaz de hacer algo similar con mi clase de vector de bits. ¿Hay alguna manera de decirle a operator[] que acepte dos argumentos?

Las alternativas que he consideradas son:

1. usando un método range:

   my_vector.range(msb,lsb)

2. utilizando una cadena y analizarlo:

   my_vector["msb:lsb"]

Pero ninguno de ellos es atractivo. El primero, porque es muy diferente de la forma en que está modelado en HDL, el segundo porque no me gusta trabajar con cadenas cuando no es necesario, y parece poco elegante.

¿Cuál es la mejor manera de hacerlo?

Answer 1

El problema:

Aparte de operator() todos los operadores tienen una aridad fijo, lo que impide de hecho cualquier tipo de cambio

A continuación, tiene varias soluciones:

• sobrecarga operator() en su lugar: vector(msb, lsb)
• use dos sucesivos invocaciones: vector[msb][lsb]
• sobrecargar el operador coma: vector[msb,lsb]

La última solución coincide con la sintaxis que necesita, pero es algo sutil:

• primero tiene cualquiera msb o lsb a ser de una costumbre tipo (para los operadores no se pueden sobrecargar en las unidades integradas solamente)
• a continuación, proporciona una sobrecarga de operator, para este tipo, devolviendo un objeto Range
• que finalmente proporcionan una costumbre operator[](Range) en su clase

El verdadero fastidio es el primer punto: que uno de msb o lsb necesita ser de un tipo personalizado. Esto se puede aliviar un poco usando Boost.StrongTypedef, que crea un tipo personalizado que imita uno existente.

Answer 2

una estructura simple con dos miembros como parámetro al operador [] ...

struct pos 
{ 
    int lsb; 
    int msb; 
}; 

pos foo={1,2}; 

my_vector[foo]; 

o en la nueva norma, creo que se puede hacer simplemente:

my_vector[pos{1,2}] 

Answer 3

La solución habitual es anular el operador(). Esto te permite hacer cosas como mi_vector (1, 2).

Es posible trabajar con el operador [], pero como señala Matthieu M., necesita un tipo personalizado para involucrarse.

Answer 4

El operador de dos argumentos [] no es posible en C++. Los nombres de, la precedencia de, la asociatividad de, y la aridad de los operadores se fija por el idioma. ¹ operador(), sin embargo puede tomar dos argumentos ...

Answer 5

¿Hay alguna manera de saber operator[] a aceptar dos argumentos?

Nº

Hay dos alternativas comunes. Una es sobrecargar operator() en su lugar. Luego debe invocarlo usando la sintaxis ().

La otra es tener operator[] cambio un objeto proxy para el que está sobrecargado operator[], también. Esto se puede invocar como matrices multidimensionales en C, con varios [][] en serie.

Answer 6

¿utiliza un lenguaje con sectores de matriz en su lugar? = P