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

看板C_and_CPP作者 (柊 四千)時間9年前 (2016/12/30 21:16), 9年前編輯推噓6(6推 0噓 14→)
留言20則, 3人參與, 最新討論串1/1
開發平台(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 --
→
01/07 13:53,
傳說原本小紅帽是R-18故事......
01/07 13:53
→
01/07 13:54,
天方夜譚也是很多R-18
01/07 13:54
推
01/07 13:58,
格林童話原也是 R-18
01/07 13:58
推
01/07 14:00,
Fate/SN也是R-18
01/07 14:00
推
01/07 14:00,
H-game也都是R-18
01/07 14:00
→
01/07 14:09,
油廠國小也是R-18
01/07 14:09
-- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.248.40 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1483103797.A.4E8.html
推
12/30 21:52, , 1F
呃, ideone 指的 result 是 105 行的喔
12/30 21:52, 1F
我原本認為程序是這樣的 跑到136 呼叫84 // 因為R=int 執行107-125 跑到114 呼叫84 // 因為R=complex<double> 執行86-105 算好105的result 傳回給上一層的114 算好125的result 傳回給上一層的136 所以我不懂為什麼compiler傳回錯誤是在第105行啊=口=
→
12/30 21:55, , 2F
稍微看了一下, 你這裡或許需要用 enable_if 間接達成
12/30 21:55, 2F
→
12/30 21:55, , 3F
依然模版參數型態選擇實作這個目的
12/30 21:55, 3F
→
12/30 21:55, , 4F
*依照
12/30 21:55, 4F
→
12/30 21:56, , 5F
不然因為你兩個狀況都寫了, 即使其中一邊不進去還是會報錯
12/30 21:56, 5F
→
12/30 21:56, , 6F
12/30 21:56, 6F
※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:10:24
推
12/30 22:33, , 7F
12/30 22:33, 7F
→
12/30 22:33, , 8F
直接 overload，template 版本不要跟 class 共用 R 的話呢
12/30 22:33, 8F
這樣如果沒有下面的slow_multiplication()那幾行 我就允許(*this)不是複係數多項式 但可以跟另一個複係數多項式相乘欸@@ ※ 編輯: xavier13540 (140.112.248.40), 12/30/2016 22:47:56
推
12/30 23:40, , 9F
// 因為R=int 執行107-125 ←問題在這裡
12/30 23:40, 9F
→
12/30 23:41, , 10F
確實是只執行 107-125 沒錯, 但那個版本裡 86-105 也還在
12/30 23:41, 10F
→
12/30 23:41, , 11F
而 86-105 那一段當代 R=int 進去時是編不過的
12/30 23:41, 11F
→
12/30 23:42, , 12F
所以我才會建議用 enable_if 拆開
12/30 23:42, 12F
推
12/30 23:47, , 13F
是我想錯了，這樣子呢 http://ideone.com/Ecs0iN
12/30 23:47, 13F
推
12/31 00:06, , 14F
使用 enable_if 的做法 http://ideone.com/PH4Sej
12/31 00:06, 14F
→
12/31 00:07, , 15F
<class S> 這一層是必要的, 要讓成員有模版才能 SFINAE 掉
12/31 00:07, 15F
→
12/31 00:09, , 16F
啟用點在 operator * 裡的呼叫, 使三個成員模版都試過一次
12/31 00:09, 16F
→
12/31 00:09, , 17F
然後只有其中一個的 enable_if<> 會成立而產生程式
12/31 00:09, 17F
→
12/31 00:10, , 18F
另外兩個被 SFINAE 掉了所以完全不存在於那個版本的類別中
12/31 00:10, 18F
→
12/31 00:10, , 19F
因此就不會編不過
12/31 00:10, 19F
好的 我找個時間來研究看enable_if 以前不知道有這種東西@@
推
12/31 16:54, , 20F
不是應該要用特例化嗎
12/31 16:54, 20F
實際上我只有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
‣ 更多 xavier13540 的文章
文章代碼(AID): #1OPburJe (C_and_CPP)