作者查詢 / CoNsTaR
作者 CoNsTaR 在 PTT [ C_and_CPP ] 看板的留言(推文), 共1276則
限定看板:C_and_CPP
看板排序:
全部C_and_CPP1276Soft_Job1202Tech_Job827Salary646Minecraft431PokeMon346Programming273Canada252Oversea_Job217Storage_Zone157WomenTalk108CATCH106Mix_Match100Free_box79PLT57logic43Folklore35Prob_Solve30HI_3rd26MiHoYo26Immigration21Gossiping20Modchip19soul19Military17kochikame13studyabroad10nb-shopping9Boy-Girl8MayDay5CD-R4Buddha3java3L_LifeJob3P2PSoftWare3sex3cookclub2Headphone2marvel2Math2MH2CompBook1Employee1japanavgirls1L_TalkandCha1Sub_CS1Taoism1<< 收起看板(47)
37F推: 竟然鬧到這裡來了 = =10/16 23:45
19F推: 就算這樣比較好編譯器也做不到啊10/10 14:27
20F→: 因為很多情況下編譯器沒辦法知道一個變數(當然也包含指10/10 14:27
21F→: 標變數)的值10/10 14:27
22F→: 例如假設有個不可判定的問題,它有兩種可能的答案(例如是10/10 14:27
23F→: 、否)10/10 14:27
24F→: 寫一個試圖解決這個問題的函式,如果答案是是,那就將指10/10 14:27
25F→: 標 assign 為 NULL,否則 assign 為其他值10/10 14:27
26F→: 那如果編譯器要知道這個指標的值為何,就必須要先知道這10/10 14:27
27F→: 個問題的答案10/10 14:27
28F→: 所以很明顯這樣的構想是不能成立的10/10 14:27
29F推: 或者說,那個問題的答案是一個整數,然後你把答案轉型 as10/10 14:32
30F→: sign 給指標,那編譯器就得知道它的答案是否為零10/10 14:32
48F推: 其實 Idris、Agda 的編譯器可以做到你想的東西,只是它10/10 23:35
49F→: 們是和 C 非常不同的語言10/10 23:35
50F→: 我是覺得 C 應該無法(也不需要)做到這樣的事情啦10/10 23:35
58F推: 可是 C 預設是不做 prefill 的啊,這不符合 C 的精神10/11 02:10
59F→: 我覺得你這樣又 prefill 拖效能,遇到錯誤又讓他蒙混過去10/11 02:10
60F→: 當作沒發生,而且又不直覺,真心覺得不是什麼好辦法10/11 02:10
61F→: 現在其他語言處理這種問題不拖效能而且又能在編譯時期處10/11 02:10
62F→: 理完的通常都是用 depnedent types 吧…10/11 02:10
63F推: 像 rust 也有用的 linear types 可以知道哪些東西存取過10/11 02:15
64F→: 了,哪些還沒,和存取次數,而且也是編譯時期就檢查完,10/11 02:15
65F→: 也是一種方法10/11 02:15
10F推: 實作 GC 啊 珮_(ツ)_/10/06 01:22
1F推: 打高空的說法,因為 c/c++ 有 side effect,結案10/04 05:04
14F推: 樓樓上表示檔案 IO?我都只用網路 socket 和 sql10/04 10:32
52F推: 其實題目的做法不也是先做 bucket sort 再比較兩個陣列10/04 22:37
53F→: 嗎10/04 22:37
4F推: 你寫 c 還是 c++ 啊?10/03 22:31
1F推: 這個概念在電腦科學裡叫做 covariance 和 contravariance10/01 11:26
2F→: 有一些語言的函數也可以分 super 和 sub 滿有趣的10/01 11:26
3F推: 然後 variance 的概念告訴你哪個是哪個的 sub 或 super10/01 11:29
4F→: 以及為什麼 super 不能轉 sub,但相反卻可以10/01 11:29
5F→: super 就是你的 base 的意思,sub 就是 child10/01 11:30
11F推: 指標應該可以看成是一個 type function 吧10/01 21:34
12F→: 所以照 c++ 的寫法,D1* 應該可以想成是 *<D1> 之類的東10/01 21:34
13F→: 西10/01 21:34
14F→: 所以 *<B> 不能直接轉 *<D> 意思就是 B* 不能直接轉 D*10/01 21:34
15F→: 至少我是這樣理解為什麼父指標不能直接轉子的10/01 21:34
16F推: 喔喔 樓上的意思是只有衍生型別可以用 variance 嗎?10/01 21:44
17F→: 那我就不知道了 XDD10/01 21:44
18F→: 那如果兩個型別各自從不同型別衍生出來,他們比大小可以10/01 21:44
19F→: 用 variance 這個詞嗎?10/01 21:44
20F推: 或是如果我說,因為 * 是 covariant 所以 B* 不能轉 D*,10/01 22:01
21F→: 這樣講正確嗎?10/01 22:01
1F推: XDD09/17 14:23
21F推: 有這個東東可以用 我都對tmp重新燃起希望了 拜託不要修09/18 08:41
22F→: 掉啦 QQ09/18 08:41
88F推: 不是啊 自己不會寫當然要怪語法雷啊 這樣自尊心才舒服嘛09/20 02:03
91F推: 期待樓上哪天設計出一個對任何面向都沒有缺點的語言09/20 09:49
92F→: 到底是你該配合、學習怎麼駕馭一門語言和發揮它的優點09/20 09:49
93F→: 還是語言應該做到讓你隨便寫都不會有問題?09/20 09:49
94F→: 充分瞭解如何對付一門語言的缺點、最大限度發揮它的優點09/20 09:49
95F→: 不就是「程式設計師」和別人不同的地方?09/20 09:50
96F→: 要不然就寫寫程式、沒事嘴砲一下我妹也會啊09/20 09:50
104F推: 幫妹妹QQ XDD09/21 06:23
216F→: 某 L 要嗆來嗆我啊 怎麼柿子挑軟的吃一直找 s 大的麻煩09/25 01:19
217F→: 勒?09/25 01:19
21F推: 流程圖沒有過時問題啊 畫那東西本來就一點意義也沒有09/19 19:51
1F推: XDD09/17 14:23
21F推: 有這個東東可以用 我都對tmp重新燃起希望了 拜託不要修09/18 08:41
22F→: 掉啦 QQ09/18 08:41
88F推: 不是啊 自己不會寫當然要怪語法雷啊 這樣自尊心才舒服嘛09/20 02:03
91F推: 期待樓上哪天設計出一個對任何面向都沒有缺點的語言09/20 09:49
92F→: 到底是你該配合、學習怎麼駕馭一門語言和發揮它的優點09/20 09:49
93F→: 還是語言應該做到讓你隨便寫都不會有問題?09/20 09:49
94F→: 充分瞭解如何對付一門語言的缺點、最大限度發揮它的優點09/20 09:49
95F→: 不就是「程式設計師」和別人不同的地方?09/20 09:50
96F→: 要不然就寫寫程式、沒事嘴砲一下我妹也會啊09/20 09:50
104F推: 幫妹妹QQ XDD09/21 06:23
132F→: Lor 我也想知道什麼事都有辦法避免的萬能 compiler 要怎09/24 00:08
133F→: 麼避免自己什麼事都能避免 哈哈哈哈哈09/24 00:08
1F推: 你把字元當成 int 來讀?09/16 12:47