El error es claro y conciso, tal vez no lo entiendas por estar en inglés, te lo traduzco:
error: invalid operands of types ‘matrix<float>*’ and ‘matrix<float>*’ to binary ‘operator*’
matrix<float>* b=a*a;
~^~
error: los operandos de tipos ‘matrix<float>*’ y ‘matrix<float>*’ no son válidos para el operador binario ‘operator*’
matrix<float>* b=a*a;
~^~
El compilador está marcando la expresión b=a*a
como origen del error, ¿Cuáles son los tipos de las variables implicadas?
La variable a
ha sido definida como puntero (*
) a la plantilla matrix
instanciada con el tipo float
:
matrix<float>* a;
// ~~~^~~ ~~^~~ ^
// \ \ \____ puntero
// \ \_______ float
// \____________ plantilla 'matrix'
La variable b
ha sido definida como puntero (*
) a la plantilla matrix
instanciada con el tipo float
:
matrix<float>* b=a*a;
// ~~~^~~ ~~^~~ ^
// \ \ \____ puntero
// \ \_______ float
// \____________ plantilla 'matrix'
Ahora vamos a ver cómo está definido tu operador de multiplicación:
template <class T>
matrix<T>* matrix<T>::operator*(matrix<T>* a){
// ~~~^~~ ^ ^
// \ \ \____ puntero
// \ \_____ Tipo genérico a deducir
// \________ Plantilla 'matrix'
return NULL;
}
El operador de multiplicación está definido como una función miembro que recibe un parámetro de puntero (*
) la plantilla matrix
instanciada con el tipo T
. Dado que es una función miembro, a la izquierda del operador (multiplicación) deberá haber siempre una instancia de matrix
pero tú no tienes una instancia de matrix
¡tienes punteros!:
b=a*a
// ^ ^
// \ \___ puntero a 'matrix<float>' ---> matrix<float>*
// \____ puntero a 'matrix<float>' ---> matrix<float>*
Te funcionará si des-referencias el puntero del operando izquierdo:
b=(*a)*a
// ^~ ^
// \ \___ puntero a 'matrix<float>' ---> matrix<float>*
// \______ des-referencia matrix<float>* para obtener 'matrix<float>'
Pero esto es un disparate, el diseño es completamente inadecuado:
- Los punteros son para manejar memoria, no deben usarse para operar aritméticamente objetos, por lo tanto:
- Un operador aritmético no debería recibir jamás un puntero como parámetro.
- Un operador aritmético no debería devolver jamás un puntero.
- Salvo que el operador aritmético sea también de igualación (por ejemplo
*=
) la función debería ser constante o debería estar fuera de la clase operada.
Teniendo en cuenta los puntos anteriores, tu operador debería ser así:
// La función no modifica el estado de la instancia ___
template <class T> // \
// |
// vvvvvvvvv <--- Devuelve una instancia vvvvv
matrix<T> matrix<T>::operator*(const matrix<T>& a) const {
// ~~^~~ ^
// | |
// El objeto entrante es una referencia de sólo lectura.
}
O incluso mejor, así:
template <class T>
class matrix {
template <class U>
friend matrix<U> operator*(const matrix<U> &, const matrix<U> &);
};
template <class T>
matrix<T> operator*(const matrix<T> &a, const matrix<T> &b) {
…
}
Con cualquiera de ambas opciones, tu función main
debería quedar así:
int main (){
int x=0, y=0;
cout<<"introduzca el numero de filas de la matriz:"<<endl;
cin>> x;
cout<<"introduzca el numero de columnas de la matriz:"<<endl;
cin>>y;
// Instancia, no puntero.
matrix<float> a{x,y};
// Instancia, no puntero.
matrix<float> b=a*a;
return 0;
}