/* The following code example is taken from the book
* "C++ Templates - The Complete Guide"
* by David Vandevoorde and Nicolai M. Josuttis, Addison-Wesley, 2002
*
* (C) Copyright David Vandevoorde and Nicolai M. Josuttis 2002.
* Permission to copy, use, modify, sell and distribute this software
* is granted provided this copyright notice appears in all copies.
* This software is provided "as is" without express or implied
* warranty, and with no claim as to its suitability for any purpose.
*/
#include
// primary template: yield second or third argument depending on first argument
template
class IfThenElse;
// partial specialization: true yields second argument
template
class IfThenElse {
public:
typedef Ta ResultT;
};
// partial specialization: false yields third argument
template
class IfThenElse {
public:
typedef Tb ResultT;
};
// primary template for main recursive step
template
class Sqrt {
public:
// compute the midpoint, rounded up
enum { mid = (LO+HI+1)/2 };
// search a not too large value in a halved interval
typedef typename IfThenElse<(N Sqrt,
Sqrt >::ResultT
SubT;
enum { result = SubT::result };
};
// partial specialization for end of recursion criterion
template
class Sqrt {
public:
enum { result = S };
};
int main()
{
std::cout << "Sqrt<16>::result = " << Sqrt<16>::result
<< '\n';
std::cout << "Sqrt<25>::result = " << Sqrt<25>::result
<< '\n';
std::cout << "Sqrt<42>::result = " << Sqrt<42>::result
<< '\n';
std::cout << "Sqrt<1>::result = " << Sqrt<1>::result
<< '\n';
}
Sqrt::result = 4
Sqrt::result = 5
Sqrt::result = 6
Sqrt::result = 1