[問題] template class 裡 member function 的遞迴呼叫

[xavier13540 (柊 四千)]

開發平台(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

--
→ iWRZ:傳說原本小紅帽是R-18故事......
→ iWRZ:天方夜譚也是很多R-18
推 ID556:格林童話原也是 R-18
推 flysonics:Fate/SN也是R-18
推 belmontc:H-game也都是R-18
→ minoru04:油廠國小也是R-18
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.248.40
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1483103797.A.4E8.html
推 LPH66: 呃, ideone 指的 result 是 105 行的喔
我原本認為程序是這樣的

跑到136 呼叫84 // 因為R=int 執行107-125
  跑到114 呼叫84 // 因為R=complex<double> 執行86-105
    算好105的result 傳回給上一層的114
  算好125的result 傳回給上一層的136

所以我不懂為什麼compiler傳回錯誤是在第105行啊=口=
→ LPH66: 稍微看了一下, 你這裡或許需要用 enable_if 間接達成
→ LPH66: 依然模版參數型態選擇實作這個目的
→ LPH66: *依照
→ LPH66: 不然因為你兩個狀況都寫了, 即使其中一邊不進去還是會報錯
→ LPH66: 參考 http://stackoverflow.com/a/15598994 的中間做法
※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:10:24
推 holydc: http://ideone.com/mosfZW
→ holydc: 直接 overload，template 版本不要跟 class 共用 R 的話呢
這樣如果沒有下面的slow_multiplication()那幾行
我就允許(*this)不是複係數多項式 但可以跟另一個複係數多項式相乘欸@@
※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:47:56
推 LPH66: // 因為R=int 執行107-125  ←問題在這裡
→ LPH66: 確實是只執行 107-125 沒錯, 但那個版本裡 86-105 也還在
→ LPH66: 而 86-105 那一段當代 R=int 進去時是編不過的
→ LPH66: 所以我才會建議用 enable_if 拆開
推 holydc: 是我想錯了，這樣子呢 http://ideone.com/Ecs0iN
推 LPH66: 使用 enable_if 的做法 http://ideone.com/PH4Sej
→ LPH66: <class S> 這一層是必要的, 要讓成員有模版才能 SFINAE 掉
→ LPH66: 啟用點在 operator * 裡的呼叫, 使三個成員模版都試過一次
→ LPH66: 然後只有其中一個的 enable_if<> 會成立而產生程式
→ LPH66: 另外兩個被 SFINAE 掉了所以完全不存在於那個版本的類別中
→ LPH66: 因此就不會編不過
好的 我找個時間來研究看enable_if
以前不知道有這種東西@@
推 johnjohnlin: 不是應該要用特例化嗎
實際上我只有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