看看兩端代碼，區別重要在：
一個是：inline int const& max申明在template <typename T>
inline T const& max之前。
// maximum of two int values
inline int const& max (int const& a, int const& b)
{
return a<b?b:a;
}
// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a<b?b:a;
}
// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
return max (max(a,b), c);
}
一個是：inline int const& max申明在template <typename T>
inline T const& max之后。
// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a<b?b:a;
}
// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
return max (max(a,b), c);
}
// maximum of two int values
inline int const& max (int const& a, int const& b)
{
return a<b?b:a;
}
調用程序：
int main( )
{
//當然這里本來就寫得不好，要先顯式申明寫局部變量......
// 看你了解多少，討論討論兩種執行可能的執行路徑，即：FunctionTemplate的調用路徑！?。?/STRONG>
::max( 4, 10 ,15 );
}
VC編譯器對FunctionTemplate實例化的優化：
看下面Template代碼：
inline int const& max (int const& a, int const& b)
{
return a<b?b:a;
}
// maximum of two values of any type
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a<b?b:a;
}
// maximum of three values of any type
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
return max (max(a,b), c);
}
inline int const& max (int const& a, int const& b) 已經是template <typename T>
inline T const& max (T const& a, T const& b) 對類型int的實例化，所以，凡是需要調用max<int>時，VC 編譯器都不在再用max<int>來Instantiate max Function Template.
int main ()
{
::max(7, 42, 68); // calls the template for three arguments first, then call inline int const& max
::max(7.0, 42.0); // calls max<double> (by argument deduction)
::max('a', 'b'); // calls max<char> (by argument deduction)
::max(7, 42); // calls the nontemplate for two ints
::max<>(7, 42); // call inline int const& max
::max<int>(7, 42); // call inline int const& max
::max<int>(7.0, 42.0); // call inline int const& max
::max<double>(7, 42); // calls max<double> (no argument deduction)
return 0;
}