Edgard

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

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的函數(shù)應(yīng)該被匹配調(diào)用，跟聲明的前后沒(méi)關(guān)系

  回復(fù)  更多評(píng)論   

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

上面是我讀一本書(shū)測(cè)試過(guò)的例子，書(shū)中曾說(shuō)：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:，這里的意思比較適合第二種情況，即”一個(gè)是：inline int const& max申明在template <typename T>
inline T const& max之后。”，我沒(méi)有能在其他C++編譯器上測(cè)試過(guò)，不知道C++標(biāo)準(zhǔn)中是否規(guī)定FunctionTemplate Resolution Rules，如果沒(méi)有，依據(jù)上面的英文描述，不同編譯器有不同的FunctionTemplate Resolution Rule，有可能template <typename T>
inline T const& max (T const& a, T const& b, T const& c) 不可見(jiàn)到申明在后的inline int const& max。

大家的意見(jiàn)呢？  回復(fù)  更多評(píng)論   

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

無(wú)意闖到這邊來(lái)了。

我是在對(duì)幾個(gè)概念不太清楚的情況下，想找找說(shuō)明。本來(lái)是不管這些概念的，但，我想試試特化是不小心寫(xiě)錯(cuò)了，編譯器告訴我無(wú)法顯示化。
我就納悶了，特化、偏特化、顯示化，所以，想找找概念的介紹，一不小心發(fā)現(xiàn)了這個(gè)blog站，而你說(shuō)的問(wèn)題，我又忍不住想開(kāi)一下口。^_^

關(guān)于特化的匹配原則，就像我們期望的那樣，編譯器是優(yōu)選最接近的。
最簡(jiǎn)單的測(cè)試方法，就是針對(duì)模板圓形，特化形式分別給出不同輸出，這樣，一眼便能知道編譯器選了誰(shuí)。  回復(fù)  更多評(píng)論   

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

<c++ template>上說(shuō)必須把重載的寫(xiě)在template的前面,然而我在vs2003上的測(cè)試是無(wú)所謂,至于標(biāo)準(zhǔn)上怎么說(shuō)那我就不知道了,寫(xiě)在前面就一定保險(xiǎn),寫(xiě)在后面估計(jì)是有危險(xiǎn)!  回復(fù)  更多評(píng)論   

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

這玩意跟C的先申明后使用是一脈相承的吧，template的很多編譯策略都是看起來(lái)能用就行，不會(huì)顧及全面的  回復(fù)  更多評(píng)論