※ 引述《freaky (jon)》之銘言：
: 事實上這牽涉到 C++ Standard 裡的一個目前處於草案階段的議題
: (415. Template deduction does not cause instantiation)，
: 也就是規定不需要在 template deduction 過程中做具現化的動作。
: 提案人 John Spicer 認為要 compiler 在 template argument deduction
: 過程中去進行伺機具現化 (speculative instantiations) 是不合理的，
: 而他所取用的例子剛好就是 function template "std::distance<>()"。
: 不過他認為正因為這個例子並不在 deduction failure 所列舉的情況之中，
: compiler 應該回報錯誤。
: 之後另外一個草案
: (488. Local types, overload resolution, and template argument deduction)
: 就如何處理這個問題提出了三種解決辦法。一是在 overload resolution 時產生
: 錯誤。方法二是在 type-deduction 時產生錯誤。方法三是除非 overload
: resolution 的結果需要用到這個無法 instantiate 的 instance，否則不會產生
: 錯誤。最近一次的開會 (2005年四月) 討論傾向採用第二種方法。
是的，這兩個 core language issues 我也注意到了。
但為了避免治絲益棼，所以未提。 :-)
issue #415 和這裡的例子可說並無差別，不過 #488 則有點出入，
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#488
它是特別針對 "instantiating a function (template) declaration with
a local type as a template type-parameter" 到底該怎麼處理而發。
^^^^^^^^^^^^
: ※ 引述《khoguan (Khoguan Phuann)》之銘言：
: ...略。
: : 真正的問題點並不發生在這個決定要選哪一個函式(也就是
: : overload resolution)的時間點上，而是在更早之前。也就
: : 是編譯過程根本就還沒進行到 overload resolution的階段
: : 就出錯了。
: ...略。
: : 所以除了原po定義的那個 global scope distance() 以外，
: : 編譯器還會去找到 std namespace 中的 distance(), 因為
: : 原po在呼叫 distance 時，所給的參數是 vector<int> 而
: : vector 又是宣告於 std namespace 中，所以被直接或間接
: : include 進來的 std namespace中所有的函式名稱，只要叫
: : 做 distance() 都會被找到。因為找到的 distance() 是個
: : function template, 所以要先做 template argument deduction
: : 推導成功後，才會將產生的 template instantiation 加到
: : candidate functions set中，準備進一步做 overload
: : resolution.
: ...略。
: : 編譯器需要確定這個東西到底是不是有效的 type, 如果最終的結果
: : 是無效的 type 那麼 template argument deduction 就失敗，這個
: : 函式就不會加入 candidate functions set中，這種「失敗」並不會
: : 產生編譯錯誤。
: : 問題是為了確定它有沒有效，編譯器必須先做一個動作，就是用
: : vector<int> 來 instantiate iterator_traits<> 這個 class template,
: : 然後再看產生的 class 中有沒有宣告 differenct_type 這個型別。
: ...以下略。
: 看來目前 gcc 和 EDG-based compiler 的處理方式比較接近方法二，
: VC.net 2003 則用了第三種方法，也就是本例不會發生編譯錯誤。
嗯，GCC, Comeau (on-line), VC. Net 2003 這三種環境
我都試過的。它們都會產生編譯錯誤，都是「抱怨」說 vector<int>
並未提供 iterator_category 這種 type.
方法二，所謂的 "Treat this as a type-deduction failure"
如果真是這樣處理的話，那反而可以通過編譯。因為 type-deduction
failure 就會導致那個函式版本被排除在 overload set 之外，
不會有編譯錯誤，即是所謂的 SFINAE. 當然，如果最後找不
到任何符合的函式版本，就會有編譯錯誤，不過，那是「後話」了 ^_^
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.227.252.32