valor predeterminado de 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) 
{ 

} 

Tanto el trabajo; que es la forma estándar y ¿por qué?

Answer 1

Si pones la declaración en un archivo de cabecera, y la definición en un archivo separado .cpp y #include el encabezado de un archivo diferente .cpp, usted será capaz de ver la diferencia.

En concreto, 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 defa declaración de parámetro ult, y fallará con un error.

Por esta razón, la definición de parámetros por defecto suele especificarse en la función declaración:

lib.h

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

Answer 2

argumentos por defecto debe ser especificado con la primera aparición del nombre-función típicamente, 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 3

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 manera, 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 4

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

1. argumento predeterminado para un parámetro dado tiene que ser especificado 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, manteniendo esto en mente, en C++ que se les permite "crecer" el conjunto de parámetros que tienen argumentos predeterminados de una Declaración de la función a la siguiente, siempre y cuando los requisitos anteriores están continuamente satisfechos .

Por ejemplo, se puede declarar una función sin argumentos por defecto

void foo(int a, int b); 

Con el fin de llamar a esa función después de tal declaración se tendrá que especificar explícitamente los dos argumentos.

tarde (más abajo) en la misma unidad de traducción, puede volver a declarar de nuevo, pero esta vez con el argumento que viene por defecto

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

y desde este punto en adelante se le puede llamar con sólo una explícita argumento.

Más abajo se puede volver a declarar una vez más la adición de un argumento más por defecto

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

y desde este punto en adelante se le puede llamar sin argumentos explícitos.

El ejemplo completo podría tener el siguiente

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.