c++ - tipos - tipo de parametros en c

Valor predeterminado del parámetro de función

Question

1.

int Add (int a, int b = 3);
int Add (int a, int b)
{
}

2.

int Add (int a, int b);
int Add (int a, int b = 3)
{
}

Ambos trabajan; ¿Cuál es la forma estándar y por qué ?

Answer 1

En C ++, los requisitos impuestos a los argumentos predeterminados con respecto a su ubicación en la lista de parámetros son los siguientes:

1. El argumento predeterminado para un parámetro dado debe especificarse no más de una vez. Especificarlo más de una vez (incluso con el mismo valor predeterminado) es ilegal.

2. Los parámetros con argumentos predeterminados deben formar un grupo contiguo al final de la lista de parámetros.

Ahora, teniendo esto en cuenta, en C ++ se le permite "hacer crecer" el conjunto de parámetros que tienen argumentos predeterminados de una declaración de la función a la siguiente, siempre que los requisitos anteriores se cumplan continuamente.

Por ejemplo, puede declarar una función sin argumentos predeterminados

void foo(int a, int b);

Para llamar a esa función después de dicha declaración, deberá especificar ambos argumentos explícitamente.

Más adelante (más abajo) en la misma unidad de traducción, puede volver a declararlo nuevamente, pero esta vez con un argumento predeterminado

void foo(int a, int b = 5);

y desde este momento puedes llamarlo con solo un argumento explícito.

Más abajo puede volver a declararlo una vez más, agregando un argumento predeterminado más

void foo(int a = 1, int b);

y desde este momento puedes llamarlo sin argumentos explícitos.

El ejemplo completo podría verse de la siguiente manera

void foo(int a, int b);
int main()
{
foo(2, 3);
void foo(int a, int b = 5); // redeclare
foo(8); // OK, calls `foo(8, 5)`
void foo(int a = 1, int b); // redeclare again
foo(); // OK, calls `foo(1, 5)`
}
void foo(int a, int b)
{
// ...
}

En cuanto al código en su pregunta, ambas variantes son perfectamente válidas, pero significan cosas diferentes. La primera variante declara un argumento predeterminado para el segundo parámetro de inmediato. La segunda variante declara inicialmente su función sin argumentos predeterminados y luego agrega una para el segundo parámetro.

El efecto neto de ambas declaraciones (es decir, la forma en que lo ve el código que sigue a la segunda declaración) es exactamente el mismo: la función tiene un argumento predeterminado para su segundo parámetro. Sin embargo, si logras apretar algún código entre la primera y la segunda declaración, estas dos variantes se comportarán de manera diferente. En la segunda variante, la función no tiene argumentos predeterminados entre las declaraciones, por lo que deberá especificar ambos argumentos explícitamente.

Answer 2

La primera forma sería preferible a la segunda.

Esto se debe a que el archivo de encabezado mostrará que el parámetro es opcional y cuál será su valor predeterminado. Además, esto asegurará que el valor predeterminado sea el mismo, sin importar la implementación del archivo .cpp correspondiente.

En la segunda forma, no hay garantía de un valor predeterminado para el segundo parámetro. El valor predeterminado podría cambiar, dependiendo de cómo se implemente el archivo .cpp correspondiente.

Answer 3

Los argumentos predeterminados se deben especificar con la primera aparición del nombre de la función, generalmente, en el prototipo de la función. Si se omite el prototipo de la función porque la definición de la función también sirve como prototipo, entonces los argumentos predeterminados deben especificarse en el encabezado de la función.

Answer 4

Si coloca la declaración en un archivo de cabecera, y la definición en un archivo .cpp separado, y .cpp el encabezado de un archivo .cpp diferente, podrá ver la diferencia.

Específicamente, supongamos:

lib.h

int Add(int a, int b);

lib.cpp

int Add(int a, int b = 3) {
...
}

test.cpp

#include "lib.h"
int main() {
Add(4);
}

La compilación de test.cpp no verá la declaración de parámetro predeterminada y fallará con un error.

Por esta razón, la definición del parámetro predeterminado generalmente se especifica en la declaración de la función:

lib.h

int Add(int a, int b = 3);