C++ non può chiamare il metodo (con template) da dentro il metodo basato su modelli

Question

Ho il seguente metodo all'interno di un file di intestazione chiamato 'filter.h':

namespace std{ 

//some code 

template <class T, class S, class BorderMethod> 
tImage<T> binomial(const tImage<T> &in, const size_t k = 3) { 
    //do some computations 

    tImage<T> img = in.convolve<T, BorderMethod>(in, kernel); 
    return img; 
} 
} 

prima cosa che ho notato: la definizione di questo metodo ha luogo all'interno del file di intestazione. È quella procedura standard?

Ora, il problema reale: la chiamata al metodo convolve non funziona, anche se in possiede tale metodo. Ecco la definizione del metodo convolve all'interno della classe tImage<T>:

tImage<T> convolve(const gravis::tImage<T>& image, const gravis::tArray<typename tImageTraits<T>::Float_t>& kernel); 

Come devo chiamare questa funzione?

Answer 1

Per prima cosa ho notato: la definizione di questo metodo avviene all'interno del file di intestazione. È quella procedura standard?

Sì. Normalmente le definizioni dei modelli di funzione sono inserite nelle intestazioni. Se sono stati relegati in un file separato .cpp, il compilatore non sarebbe in grado di istanziarli implicitamente quando viene richiamato e, a meno che non si agisca correttamente, il linker si lamenterà di riferimenti non definiti. Vedere this Q&A on StackOverflow per ulteriori informazioni.

La chiamata al metodo convolve non funzionerà, anche se in possesso di tale metodo.

convolve() è una funzione non const membro, e si sta tentando di richiamare attraverso un riferimento a const. Questo è illegale e il compilatore te lo dice.

---

Inoltre, come giustamente rilevato dalla JBentley nella sua risposta, non è possibile aggiungere nuove dichiarazioni o definizioni per la std namespace. Per Il paragrafo 17.6.4.2.1/1 della C++ 11 standard:

Il comportamento di un programma C++ è indefinito se si aggiunge dichiarazioni o definizioni di namespace std o ad uno spazio dei nomi all'interno di namespace std, salvo diversa specificato. [...]

Answer 2

Anche se non è la causa del problema, il codice è undefined comportamento perché si è illegalmente posizionato all'interno del std spazio dei nomi.

Vedere this question o this one.