大家好, 最近剛好翻到the C++ programming language,章節C.13.8.4
有關templates, namespace 跟 specialization的, 看不太懂他所要表達的意思.
首先呢, 上面提到:
.......省略.......
This reflects three obvious strategies an implementation can use for
generating specializations:
[1] Generate a specialization the first time a call is seen.
[2] At the end of a translation unit, generate all specializations needed for
that translation unit.
[3] Once every translation unit of a program has been seen, generate all
specializations needed for the program.
All three strategies have strengths and weaknesses, and combinations of these
strategies are also possible.
......省略.......
然後說:
A program is illegal, if it is possible to construct two different meanings
by choosing different points of instantiation or different contents of
namespaces at different possible contexts for generating the specialization.
然後有一段範例碼:
namespace N
{
class A{ /* ... */ };
char f(A,int) ;
}
template<class T, class T2> char g(T t, T2 t2) { return f(t,t2) ; }
//error (alternative resolutions of f(t))
char c= g(N: :A() ,'a') ; //<

就只是告訴你編譯器可能用的演算法，再告訴你不論編譯器用的是哪種編出來的一定都是 legal 的程式，然後講完什麼是 illegal 之後舉個例給你看

可是這樣的話 如同在P.S.裡面所說的 改成 char f(A,char)之後 specilazation產生在不同位置 可能會呼叫到不同函數不是應該是illegal嗎? 但是實際上是可以編譯的...那不就代表我使用的compiler其實是用混合策略?不對 想一想還是覺得哪裡怪怪的 因為內文是說只要有可能有不同意義(在不同位置產生碼) 那程式就屬不合法了....

因為overload resolution的緣故 你後面加的那個函式會被優先選擇 然後會因為沒有回傳值編譯失敗所以你把void改char當然就編得過了

欸... 不論用哪種策略都不會影響編譯成功與否吧，只是有各自的優缺點（他這樣講我猜是最佳化難易度之類的編譯時期才有差的優缺點）你的 template 嘗試去 instantiate 一個 char f(A, char)，但原本就已經有一個 void f(A, char) 了，如果你的編譯器允許這個 instantiation 那就會造成有兩個不同版本的 f(A, char)，顯然你的編譯器不允許，所以才告訴你編譯錯誤但我想文說的兩個不同版本指的也可以是型別完全相同的兩個不同 instantiation，但除非你的編譯器有 bug 否則沒辦法藉由改變程式碼來造成這樣的結果，所以才用這種相似的 example 給你看* 兩個型別完全相同的 instance

單看這段節錄前後兩段沒直接關係吧？前者在說compiler做specialisation 的策略，後者在說：吶，如果不同位置就產生不同specialisation 的話那就是不合法的code。這與選前一段哪種策略無關。