[C++ Template]what is the type of instantiation of template function.

The book <<C++ templates>> said:

however, in VS2008 and gcc 4.3, the compilers can deduce the type of parameter. The followed code has no compile error.

look here(http://ideone.com/yTpaJ ) for gcc result.

#include <vector>

#include <algorithm>

using namespace std;

template <typename T, int VAL>

T addValue (T const& x) {

    return x + VAL;

}

int main(int argc, char* argv[])

{

      vector<int> source;

      vector<int> dest;

      int (*funP)(int const&);

      funP = addValue<int,5>;

      std::transform (source.begin(), source.end(),  // start and end of source

                dest.begin(),                  // start of destination

                addValue<int,5>);              // operation

      std::transform (source.begin(), source.end(),  // start and end of source

                dest.begin(),                  // start of destination

                funP);  

      return 0;

}