c++ template function overloading

Question

Below are lines from "the c++ programming language"

template<class T > T sqrt(T );
template<class T > complex<T> sqrt(complex<T>);
double sqrt(double);
void f(complex<double> z )
{
s q r t (2 ); // sqrt<int>(int)
sqrt(2.0) ; // sqrt(double)
sqrt(z) ; // sqrt<double>(complex<double>)
}

I dont understand why sqrt(z) ; calls sqrt<double>(complex<double>) can any body please explain.

Author says, T sqrt<complex<T>> is more specialized than T sqrt <T> but there is a seperate declaration for template<class T > complex<T> sqrt(complex<T>); why not use that?

Sorry guys i did not understand sqrt<double>(complex<double>) represents complex<double>sqrt<complex<double>> — yesraaj
– yesraaj, Commented Oct 20, 2008 at 10:58

MSalters · Accepted Answer · 2008-10-20 09:55:58Z

6

In hindsight, it would have been easier if Bjarne would have written it as

template<class T> T sqrt(T);
template<class U> complex<U> sqrt(complex<U>);
double sqrt(double);
void f(complex<double> z )
{
    sqrt (2); // sqrt<int>(int)
    sqrt(2.0) ; // sqrt(double)
    sqrt(z) ; // sqrt<double>(complex<double>)
}

so you don't get confused by all the different T's. But the idea is simple; C++ finds the best match. There are three possible functions. The first two are perfect matches (no conversion needed) so the non-template version is ignored. Now, we have T=complex and U=double. Which version is chosen? Bjarne explains the second template is chosen here, because it's more specialized. This means that for any type U, there is a type T=complex<U> which makes the signatures of both templates identical.

answered Oct 20, 2008 at 9:55

MSalters

182k11 gold badges171 silver badges376 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

PierreBdR · Accepted Answer · 2008-10-20 09:47:13Z

2

Well, the function used is the one you are talking about sqrt<double>(complex<double>) is an instance of the template template <class T> complex<T> sqrt(complex<T>).

Your misunderstanding was in the signification of the template instance and not in the overloading process.

answered Oct 20, 2008 at 9:47

PierreBdR

43.6k10 gold badges49 silver badges66 bronze badges

Collectives™ on Stack Overflow

c++ template function overloading

2 Answers 2

Comments

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Related