[問題] the C++ programming language裡面的問題

看板C_and_CPP (C/C++)作者saladim (殺拉頂)時間6年前 (2019/07/02 01:28)推噓3(3推 0噓 26→)

留言29則, 4人參與討論串1/1

大家好, 最近剛好翻到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') ; //<---- specialization namespace N //add to namespace N (§8.2.9.3 { void f(A,char) ; } 下面是我的疑惑: 對於文字解說, 我的理解是如果想像自己是compiler, 如果檢查最前面那三種產生 specialization的方法後, 發現產生的程式碼(例如像範例碼中的呼叫f(...))不同則是一個編譯錯誤, 這邊的用詞是 the program is illegal. 但問題是compiler好像不太可能用三種方法產生程式碼之後再繼續後面的compiling吧? (不管最後有沒有編譯錯誤) 實際跑了一下跟玩一下範例碼, 感覺就只是產生specialization那行, 實際上被放到 void f(A, char)被定義的namespace之後, 也就是說被放到所有dependent namespace N 的後面而已, 這樣的話compiler就能盡量找到所有可能適用的函數..... 不過用這個解釋就不知道最一開始提的那三點是要幹嘛用的啦? 看的有點糊塗在此請各位先進指點一下~~~感謝~~~ 其中一個疑惑就是那三點到底想表達的意思是什麼呢? P.S. 如果把 void f(A,char) 改成 char f(A,char) 就沒編譯錯誤了可是場景還是相同阿? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.224.44.2 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1562002106.A.976.html ※ 編輯: saladim (36.224.44.2 臺灣), 07/02/2019 01:29:31 ※ 編輯: saladim (36.224.44.2 臺灣), 07/02/2019 01:31:38 ※ 編輯: saladim (36.224.44.2 臺灣), 07/02/2019 01:32:08

推