Primero: las formaciones1 no se comportan como esperas.
Las formaciones en c++ son un tipo de datos con un comportamiento particular, se les aplica una regla especial conocida como decaimiento a puntero, que en términos generales viene a decir que si pasas una formación a una función ésta se transformará en puntero, veámoslo:
void f(int i[10])
{
for (int x = 0; x != 10; ++x)
std::cout << i[x] << ' ';
std::cout << '\n';
}
int main()
{
int a[5] = {1, 2, 3, 4, 5};
int b[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
f(a);
f(b);
return 0;
}
El código anterior genera la siguiente salida:
1 2 3 4 5 32767 0 0 4199088 0
1 2 3 4 5 6 7 8 9 10
Se supone que la función f
recibe un parámetro int i[10]
pero ha aceptado sin rechistar el argumento a
que es int a[5]
¿Cómo es posible?.
Segundo: Decaimiento a puntero.
Si añadimos un chivato a la función f
para que nos de más información:
void f(int i[10])
{
std::cout << "Llamada a " << __PRETTY_FUNCTION__
<< " con el argumento: " << i << '\n';
for (int x = 0; x != 10; ++x)
std::cout << i[x] << ' ';
std::cout << '\n';
}
La salida pasa a ser:
Llamada a void f(int*) con el argumento: 0x7ffd90ad5510
1 2 3 4 5 32765 0 0 4199200 0
Llamada a void f(int*) con el argumento: 0x7ffd90ad54e0
1 2 3 4 5 6 7 8 9 10
Vemos que no se ha conservado la información de tamaño del parámetro de f
, lo que ha sucedido es que el parámetro int i[10]
ha decaído a puntero para transformarse en int *i
.
Tercero: referencias a formaciones.
Para evitar esto, debemos pasar la formación como referencia:
void f(int (&i)[10])
{
std::cout << "Llamada a " << __PRETTY_FUNCTION__
<< " con el argumento: " << i << '\n';
for (int x = 0; x != 10; ++x)
std::cout << i[x] << ' ';
std::cout << '\n';
}
int main()
{
int a[5] = {1, 2, 3, 4, 5};
int b[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
f(a);
f(b);
return 0;
}
Ahora el código no compila y se queja de la primera llamada a f
:
In function ‘int main()’:
error: invalid initialization of reference of type ‘int (&)[10]’ from expression of type ‘int [5]’
f(a);
^
note: in passing argument 1 of ‘void f(int (&)[10])’
void f(int (&i)[10])
Si no hacemos la primera llamada, la salida es:
Llamada a void f(int (&)[10]) con el argumento: 0x7ffdd7c5af90
1 2 3 4 5 6 7 8 9 10
Propuesta.
Define la formación de diez enteros como tipo interno de tu clase conjunto
:
class conjunto {
public:
using conjunto_t = int[10];
conjunto_t &getConjunto1();
conjunto_t &getConjunto2();
const conjunto_t &getConjunto1() const;
const conjunto_t &getConjunto2() const;
void setConjunto1(const conjunto_t &cadena1);
void setConjunto2(const conjunto_t &cadena2);
private:
conjunto_t Conjunto1;
conjunto_t Conjunto2;
};
int main()
{
conjunto obj;
int conjuntoX[10] = {1,2,3,4,5,6,7,8,9,10};
int conjuntoY[10] = {11,12,13,14,15,16,17,18,19,20};
obj.setConjunto1(conjuntoX);
obj.setConjunto2(conjuntoY);
std::cout << "Primer conjunto: ";
for (const auto &x : obj.getConjunto1())
std::cout << x << ' ';
std::cout << '\n';
std::cout << "Segundo conjunto: ";
for (const auto &x : obj.getConjunto2())
std::cout << x << ' ';
return 0;
}
Puedes ver el código funcionando en Try it online!.
1También conocidas como arreglos o en inglés arrays.