作者xavier13540 (柊 四千)
看板C_and_CPP
標題[問題] template class 裡 member function 的遞迴呼叫
時間Fri Dec 30 21:16:32 2016
開發平台(Platform): Win10
編譯器: g++ -std=c++14
問題(Question)：
小弟目前在寫一個多項式的class
template<class R> class polynomial{...};
定義了operator *
小弟希望能做到
當R = complex<double>時
乘法可以用FFT加速
而當R = int/double時
1. 把乘號兩邊的多項式embed到polynomial<complex<double>>
2. 用polynomial<complex<double>>的乘法回傳結果 手動轉回polynomial<R>
code如下 看起來很長但是
乘法在第84-129行 可能有問題的部分在第107-125行
其他部分(e.g. FFT)可以不用管@@
http://ideone.com/JbRjhU
compiler說 在做兩個polynomial<int>的相乘時
沒辦法從polynomial<complex<double>>轉型到polynomial<int>
可是小弟在第114行 明明是用polynomial<complex<double>>去接f*g啊
請問是哪裡寫爛了rdrrC
--
1F：→ iWRZ:傳說原本小紅帽是R-18故事......01/07 13:53
2F：→ iWRZ:天方夜譚也是很多R-1801/07 13:54
3F：推 ID556:格林童話原也是 R-1801/07 13:58
4F：推 flysonics:Fate/SN也是R-1801/07 14:00
5F：推 belmontc:H-game也都是R-1801/07 14:00
6F：→ minoru04:油廠國小也是R-1801/07 14:09
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.248.40
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1483103797.A.4E8.html
7F：推 LPH66: 呃, ideone 指的 result 是 105 行的喔 12/30 21:52
我原本認為程序是這樣的
跑到136 呼叫84
// 因為R=int 執行107-125
跑到114 呼叫84
// 因為R=complex<double> 執行86-105
算好105的result 傳回給上一層的114
算好125的result 傳回給上一層的136
所以我不懂為什麼compiler傳回錯誤是在第105行啊=口=
8F：→ LPH66: 稍微看了一下, 你這裡或許需要用 enable_if 間接達成 12/30 21:55
9F：→ LPH66: 依然模版參數型態選擇實作這個目的 12/30 21:55
10F：→ LPH66: *依照 12/30 21:55
11F：→ LPH66: 不然因為你兩個狀況都寫了, 即使其中一邊不進去還是會報錯 12/30 21:56
※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:10:24
14F：→ holydc: 直接 overload，template 版本不要跟 class 共用 R 的話呢 12/30 22:33
這樣如果沒有下面的slow_multiplication()那幾行
我就允許(*this)不是複係數多項式 但可以跟另一個複係數多項式相乘欸@@
※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:47:56
15F：推 LPH66: // 因為R=int 執行107-125 ←問題在這裡 12/30 23:40
16F：→ LPH66: 確實是只執行 107-125 沒錯, 但那個版本裡 86-105 也還在 12/30 23:41
17F：→ LPH66: 而 86-105 那一段當代 R=int 進去時是編不過的 12/30 23:41
18F：→ LPH66: 所以我才會建議用 enable_if 拆開 12/30 23:42
21F：→ LPH66: <class S> 這一層是必要的, 要讓成員有模版才能 SFINAE 掉 12/31 00:07
22F：→ LPH66: 啟用點在 operator * 裡的呼叫, 使三個成員模版都試過一次 12/31 00:09
23F：→ LPH66: 然後只有其中一個的 enable_if<> 會成立而產生程式 12/31 00:09
24F：→ LPH66: 另外兩個被 SFINAE 掉了所以完全不存在於那個版本的類別中 12/31 00:10
25F：→ LPH66: 因此就不會編不過 12/31 00:10
好的 我找個時間來研究看enable_if
以前不知道有這種東西@@
26F：推 johnjohnlin: 不是應該要用特例化嗎 12/31 16:54
實際上我只有operator *需要specialization
我這份code已經砍掉了其他不相干的東西(e.g. +, -, etc.)了 原本的class更大
如果要為了|C[x]/|R[x]/Ｚ[x] 重寫一堆完全一樣的member function們 感覺不太健康
※ 編輯: xavier13540 (140.112.248.40), 12/31/2016 19:14:55
※ 編輯: xavier13540 (140.112.248.40), 12/31/2016 19:15:57