Adición palabra clave const a una matriz pasada como parámetro para funcionar

Question

¿Hay alguna manera de que pueda añadir const palabra clave a un arreglo pasado como parámetro a la función:

void foo(char arr_arg[]) 

Si coloco const antes char (void foo(const char arr_arg[])) o después de char (void foo(char const arr_arg[])), eso significaría que es char que es constante, no el arr_arg.

yo acabamos de read que bajo el capó una matriz enviado como parámetro a la función se representa como un puntero, así void foo(char arr_arg[]) es la misma que void foo(char* ptr_arg). Teniéndolo en cuenta, puedo volver a escribir la función como void foo(char * const ptr_arg) para que sea exactamente lo que quiero lograr.

Pero me gustaría saber si hay una manera de añadir const palabra clave en esta declaración void foo(char arr_arg[]) para que sea el mismo que void foo(char * const ptr_arg) (y no void foo(char const * ptr_arg) o void foo(const char * ptr_arg))?

Solo quiero entender si hay una sintaxis para hacer que arr_arg sea constante con la notación de matriz [].

Answer 1

En C hay que poner const entre el [], por extraño que pudiera parecer a una persona sin preparación

void foo(char arr_arg[const]); 

Esto es "nuevo" C99-specific syntax. En C89/90 o C++ no hay forma de hacerlo con la sintaxis de "matriz", por lo que debe cambiar a la sintaxis "puntero" equivalente, como se sugiere en la respuesta de David.

Answer 2

El primero es que en su firma particular, el argumento es transformada por el compilador en un puntero, así que lo que tienes es:

void foo(char * arg); 

Ahora, hay dos entidades que se pueden hacer const en esa firma: el puntero y el tipo puntiagudo. Para hacer el tipo de punta se puede hacer const de dos maneras aún equivalentes diferentes [*]:

void foo(const char * arg); 
void foo(char const * arg); 

El puntero se podría hacer const con la sintaxis:

void foo(char * const arg); 

Pero tenga en cuenta que en una firma de función , de la misma manera que char arg[] se transforma en un puntero char *arg, se descarta el calificador de nivel superior. Por lo que desde el punto de vista de la declaración, estos dos son equivalentes:

void foo(char * const arg); 
void foo(char *  arg); 

En la definición, la const nivel superior se puede utilizar para indicar al compilador que el puntero del argumento (por valor) no debe ser cambiado dentro de la función, y detectará si intenta restablecer el puntero a una ubicación diferente. Pero, si solo el puntero es const, entonces el compilador con mucho gusto le permitirá modificar la memoria apuntada. Si no desea que la función cambie el contenido de la matriz, debe optar por una de las primeras dos firmas.

[*] que tienden a preferir el formato char const *, ya que proporciona una forma consistente de tipos de lectura: de derecha a izquierda se lee: un puntero no constante a un const char. Además, es más sencillo razonar sobre los tipos typedef-ed (al realizar una sustitución directa en la expresión). Dados typedef char* char_p;, const char_p y char_p const son ambos equivalentes a char * const y diferentes de const char *. Al usar consistentemente const a la derecha, puede simplemente sustituir ciegamente el typedef y leer el tipo sin tener que razonar.

Answer 3

Sí, en C esto es posible ya C99:

void foo(char ptr_arg[const]); 

es una sintaxis válida y equivalente a

void foo(char *const ptr_arg); 

más general, la [] puede contener cualquier calificador tipo, static y una expresión entera. Pero

Los calificadores de tipo opcional y la palabra clave static deberá aparecer sólo en una declaración de un parámetro de función con un tipo de matriz, y luego sólo en la derivación tipo de matriz externa.

que es para la dimensión que es equivalente a la declaración del puntero.

Answer 4

Para C++, la respuesta de Mooing Duck con la plantilla es la más directa.

Si tiene código C que está llamando a una interfaz de C implementado en C++, le pegan con convertir el argumento en un argumento de un puntero en su lugar, y haciendo que const

Si se va a utilizar Boost's array en lugar de utilizar C arrays directamente, entonces sería capaz de hacer que const, aunque también sería una función de plantilla:

template <unsigned N> 
void foo (Boost::array<char, N> const & arg) {} 

la ventaja de Boost::array es que le da la capacidad de hacer una asignación de peso ligero de una matriz fuera la pila, pero ser capaz de completar y usa algoritmos STL que dependen de los rasgos en el contenedor.

Answer 5

Hay varias formas en C++, pero ninguna es bastante lo que parece estar esperando.

//typedef has a very clear intent 
typedef char* array; 
void f0(const array a) {} 

//switch to pointers to sidestep the problem 
void f1(char* const a) {} 

//references are inherently const 
//can't take pointers, but guarantees the size, sometimes nice 
//this version obviously doesn't work in C 
template<int n> 
void f2(char (&a)[n]) {} 

http://ideone.com/4LvYT