Edgard

VC编译器对FunctionTemplate实例化的优化

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;
}

posted on 2005-12-15 20:43 Edgard 阅读(478) 评论(2)  编辑 收藏 引用

评论

# re: VC编译器对FunctionTemplate实例化的优化 2005-12-17 15:12 清风雨

这个不是优化,是语言本身对模板的要求。也就是说C++语言本身就决定了这个结果是必然结果。不管那个编译器正确的行为都是这个结果。而不是编译器的代码优化。  回复  更多评论   

# re: VC编译器对FunctionTemplate实例化的优化 2006-03-05 21:02 filcon

一楼说得对  回复  更多评论   


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理