Edgard

統計

隨筆 - 2
文章 - 0
評論 - 7
引用 - 0

常用鏈接

留言簿

隨筆檔案

2005年12月 (2)

搜索

閱讀排行榜

評論排行榜

討論FunctionTemplate申明的隱藏性（Visibility）

看看兩端代碼，區別重要在：
一個是：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的調用路徑！！！
      ::max( 4, 10 ,15 );

}

posted on 2005-12-15 21:10 Edgard 閱讀(540) 評論(5) 編輯收藏引用

Function templates can be overloaded with nontemplate functions. All else being equal, the nontemplate function is preferred in Function templates can be overloaded with nontemplate functions. All else being equal, the nontemplate function is preferred in selecting the actual function being called. The following example illustrates this:

// details/nontmpl.cpp

#include <string>
#include <iostream>

template<typename T>
std::string f(T)
{
return "Template";
}

std::string f(int&)
{
return "Nontemplate";
}

int main()
{
int x = 7;
std::cout << f(x) << std::endl;
}
This should output:

Nontemplate

以上是C++ templates的原文。
所以nontemplate的函數應該被匹配調用，跟聲明的前后沒關系

回復更多評論

# re: 討論FunctionTemplate申明的隱藏性（Visibility） 2005-12-16 12:47 Edgard

上面是我讀一本書測試過的例子，書中曾說：This is only one example of code that might behave differently than expected as a result of detailed overload resolution rules. For example, the fact that not all overloaded functions are visible when a corresponding function call is made may or may not matter. In fact, defining a three-argument version of max() without having seen the declaration of a special two-argument version of max() for ints causes the two-argument template to be used by the three-argument version:，這里的意思比較適合第二種情況，即”一個是：inline int const& max申明在template <typename T>
inline T const& max之后。”，我沒有能在其他C++編譯器上測試過，不知道C++標準中是否規定FunctionTemplate Resolution Rules，如果沒有，依據上面的英文描述，不同編譯器有不同的FunctionTemplate Resolution Rule，有可能template <typename T>
inline T const& max (T const& a, T const& b, T const& c) 不可見到申明在后的inline int const& max。

大家的意見呢？回復更多評論

# re: 討論FunctionTemplate申明的隱藏性（Visibility） 2005-12-17 15:08 清風雨

無意闖到這邊來了。

我是在對幾個概念不太清楚的情況下，想找找說明。本來是不管這些概念的，但，我想試試特化是不小心寫錯了，編譯器告訴我無法顯示化。
我就納悶了，特化、偏特化、顯示化，所以，想找找概念的介紹，一不小心發現了這個blog站，而你說的問題，我又忍不住想開一下口。^_^

關于特化的匹配原則，就像我們期望的那樣，編譯器是優選最接近的。
最簡單的測試方法，就是針對模板圓形，特化形式分別給出不同輸出，這樣，一眼便能知道編譯器選了誰。回復更多評論

# re: 討論FunctionTemplate申明的隱藏性（Visibility） 2006-01-08 20:27 chenchen

<c++ template>上說必須把重載的寫在template的前面,然而我在vs2003上的測試是無所謂,至于標準上怎么說那我就不知道了,寫在前面就一定保險,寫在后面估計是有危險! 回復更多評論

# re: 討論FunctionTemplate申明的隱藏性（Visibility） 2007-05-27 23:37 xiongx

這玩意跟C的先申明后使用是一脈相承的吧，template的很多編譯策略都是看起來能用就行，不會顧及全面的回復更多評論

刷新評論列表

只有注冊用戶登錄后才能發表評論。




網站導航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

# re: 討論FunctionTemplate申明的隱藏性（Visibility） 2005-12-16 10:26 小明