Question

I’m working through “C++ Template Metaprogramming” by Abrahams & Gurtovoy”
This isn’t actually in chapter two but is something I tried whilst working on the first exercise (2.10, 2.0) which is confusing me:

#include <iostream>
#include <boost/type_traits.hpp>

std::string display(bool b)
{
  return (b ? "true" : "false");
}

int main()
{
   using namespace std;

   cout << display(boost::is_same<int const&, boost::add_const<int &>::type >::value) << "\n";

     return 0;
}

The output is ‘false’.
However if I remove the references, i.e. ‘int const’ and ‘int’. The output is ‘true’.

Answer 1

If you tried the same thing with pointers, as in

boost::is_same<int const *, boost::add_const<int *>::type>::value

you’d discover that it is also false, since boost::add_const<int *>::type generates int *const type, which is obviously not the same as int const *.

Essentially the same thing happens with references, i.e. boost::add_const<int &>::type is an attempt to generate int &const. Formally, type int &const is illegal in C++ – cv-qualification cannot be applied to the reference itself. So, boost::add_const is designed to be a no-op in this case, meaning that boost::add_const<int &>::type generates int & again.