[ 近期學西班牙文的心得 ]
上個禮拜搬家，在房間一隅整理出工作閱讀的區域，陽光充足，兩株寶貝植物長得很好，每天早上起床看到都很開心。
現在早上固定自學十五分鐘到半小時的西班牙文，一直都很想學這個語言，因為對西班牙的藝術與文化很感興趣，也一直對旅行中南美洲有所憧憬。前幾天和作家蔣亞妮錄 Podcast，她問我不能出國的這一兩年都在幹嘛，我說除了照常工作外，就是學語言了，當作為下一場旅行做充足的準備吧，這樣想，感覺就好了一點。
跟大家分享我學西班牙文的一些好用工具：
1/ 首先是 Duolingo，這個 App 設計得非常好，像遊戲，有獎勵和進度，還可以和朋友連線，循環重複內容的教法也非常棒（但也有朋友覺得沒完沒了很煩），不過照我以前學外語的經驗，如果身邊沒有語言環境，的確就是要靠不斷重複同批字句才能產生印象。 Duolingo 的教法很重實用和口語，短時間內就可以學會很基本的日常會話，讓人對學語言產生習慣和自信。
2/ Duolingo 是很好的入門和日常練習，但是我覺得要加快進步的速度，不能只依靠它。我另外還會使用 SpanishDict 這個 App，它是一種基於字典的自學程式，每一個字詞都有真人發音，也有很多例句可以學習，動詞的話也有完整的動詞變化表可以對照。每一天，它都會給你一個 word of the day，一天學一個新單字，同時閱讀該單字的相關例句，延伸對其他字詞造句的印象，久而久之累積起來的成果，十分可觀。
3/ Tandem 是一個語言交換的 App，上面有來自世界各地的人，想要學習各式各樣的語言。我發現很多西班牙母語者都想學英文，也有想學中文的，遇過幾個語伴都還滿友善的，沒有什麼奇怪的事情發生。但是，我覺得 Tandem 麻煩的就是不能直接馬上學語言，畢竟大家都不是專業老師出身，還是要像一般陌生人剛認識那樣，寒暄問候、客套聊天，我覺得其實還滿浪費時間的，所以沒有用多久就放棄了。
4/ Living Language Spanish：Living Language 是一個語言學習系列書，除了西班牙語外，也有教義大利語或俄語等等。這套書在誠品書店就有賣，一套書分為基礎、中級、進階三冊，循序漸進，另外有 CD 也可以下載，對照書裡的不同部分聆聽練習，內容非常紮實。我覺得 Living Language 是我用過最好的語言學習書，我兩年前靠它從零自學，最後在義大利考過義大利語 B1 檢定（不過當然除了讀書外，也有很多日常中的練習幫助）
5/ Podcast、影集......：學新的語言時，我盡量讓自己沈浸在那個語言之中，例如學英文的時候，就交了很多外國朋友，每個禮拜和他們出去玩，久而久之英文就練起來了。現在學西語，我會去聽 Duolingo 在 Spotify 上面的西語 Podcast 節目，也是做得非常紮實，內容豐富，也很照顧到學生的需求；除此之外，我也會上 Netflix 看西語的影集或節目，最近在看一個類似西班牙文版的 Too Hot to Handle，內容很無腦，剛好可以專注在語言學習上。
✨歡迎追蹤我的 IG：abby_chao_
https://www.instagram.com/abby_chao_/?hl=en
✨2021 散文新書《寂寞作為一種迷人的慢性病》
誠品: https://bit.ly/3ryMu8N
誠品【限量簽名版】: https://bit.ly/36ZO8a5
誠品蝦皮【限量簽名版】：https://bit.ly/3i2sb0y
#spanish #duolingo #language #learning #西班牙文 #語言學習 #livinglanguage #apartamento #plants
handle程式 在 [心得] 轉型、指標、enum 跟handle - 看板C_and_CPP 的推薦與評價
看到上面我那篇回文下面討論的盛況(?)
再加上這篇上面的 enum 那篇文章
我想我要來講一些寫這麼多年程式以來我所認知到的東西了
不過因為東西還不少標題有點難下 只好這樣把要講的東西的關鍵字拿上來排 XD
---
說到底 一支程式編成二進位碼之後
不管程式裡到底寫了些什麼高階功能 最終終究是變成二進位的零與壹
到了這個層級一個值究竟會被拿去做什麼運算其實沒人會管
差別只在於這個運算跟它的結果對於要來讀取這個值的人／機器來說代表什麼意義而已
那麼一支程式裡 變數的"型別"其實就只是代表著
「這些零與壹要怎麼讀 以及它們要怎麼運算」的記號而已
因此有些操作對有些型別的變數來說沒有意義
例如拿一個指標去乘上別的東西 這種操作除非人為定義 不然它怎麼看都不會有意義
(這裡先不談一些程式語言理論裡的那種「型別」
那個是比較抽象一點的東西 不過不是這裡想聊的)
但是有的時候 我們為了要能讓一個某型別的值使用另一種型別的運算
必須要在各種型別之間進行轉換
(也許是只有另一個型別才能做某些事 也許是另一個型別提供了不一樣的限制等等)
這個想法就是產生高階語言裡稱做「轉型」這個操作的原始動機
但是說起使用另一種型別的運算
以機器語言／組合語言裡的角度來看
直接把這些位元的排列拿去做另一種運算也是一種「使用另一種運算」
但以高階語言的角度來看 這其實就成了位元意義上的轉變
由於值也可能一併改變了 所以通常為了跟上面那種意義的轉型分別
會有「強制轉型」、「硬轉」等等說法存在
也就是說 這兩種「轉型」在語意上是很不一樣的概念
C++ 裡提供了明確指示這兩種轉型的語法
前者稱做 static_cast 後者稱做 reinterpret_cast
(以下為行文方便我就用這兩個字指稱這兩種轉型)
不過由於 C 語言只有規定抽象運算的關係
因此 C 語言裡的轉型當標準裡有指明時 它就是屬於 static_cast
C99 的標準裡 6.3 節的標題是 "Conversions"
https://port70.net/~nsz/c/c99/n1256.html#6.3
裡面規定的就是這些轉換的詳細規則
像是當一個 short 要轉型成 long 時要造成什麼樣的效果
一個 int 要轉型成 unsigned int 時要造成什麼樣的效果
一個 int * 要轉型成 char * 時要造成什麼樣的效果 等等
有些狀況這一條裡沒有提到 例如前面推文提到的指標轉型成 double
那種就是屬於不能轉型的狀況
之所以這些狀況不規定它能轉型是因為常理上不可能會有這種轉型的需求的關係
不過其中有幾項雖然有提到能夠轉型
但是轉型出來的結果卻明言「隨實作而定」(implementation-defined)
這種狀況之下就給了 reinterpret_cast 鑽空子的機會
因為隨實作而定的關係 如果在二進位層級上什麼也不做當然是最簡單的方式之一
因此在許多常見的實作上就會將這些狀況給定為 reinterpret_cast 了
這其中包含了我上一篇回文所回的那種狀況: 一個整數跟一個指標互轉 [6.3.2.3p5-p6]
那篇文章的狀況其實是這樣的
嚴格照標準來說的話 int 雖然能跟 xxx* 互轉 但互轉後不能保證會恢復原狀
能保證的只有一個: void * 轉成 intptr_t 再轉回 void * 會還原
所以我的回文裡提到的 #153 那行指定最嚴格符合標準的寫法其實是
*GMGID = (int)(intptr_t)(void*)GMG_ptr;
那要轉回來就也必須要
MF2KGMG_operator* GMG_ptr=(MF2KGMG_operator*)(void*)(intptr_t)*GMGID;
不過因為在 pc 上面 這些轉型大多都是被實作成 reinterpret_cast 的關係
所以就出現了偷懶寫法: 直接轉成最終型態
就只是這樣而已
gcc 的警告就是在告訴你「這可能不會產生你所想要的結果」
---
我在我那篇回文的推文裡拿了 https://tinyurl.com/3d487sk 這篇問答出來救援(?)
只不過看起來碰上的這個打者還是很堅持他自己的打法...
我引這篇的目的是這一段話 (第一個問答的答案)
※ 引述《https://tinyurl.com/3d487sk》
: 並不是所有機器都使用「平面記憶體模型」（flat memory model），可以把記憶體當
: 成一個巨大、連續的表格看待。除了標準（參考 N1256 6.2.5p27）規定的幾種狀況外
: ，不同型態的指標可以長得完全不一樣。最後，函式指標（function pointer）是另
: 一世界的東西，可以跟物件指標完全沒關係。並不是所有機器都把物件和程式碼都擺
: 在同一大塊記憶體裡面。
: 如果你測試發現一樣，那只是你測試的實作用同一種方法表示所有指標，請參考你作
: 業系統或機器的文件確認你的發現。世界上的確有實作用不同格式表示不同型態的指
: 標，不可攜的程式在那些機器上可能會出現嚴重的錯誤。（參考 clc FAQ 5.17 看實
: 際例子）
我個人相信這一段話已經足夠解決那篇的推文裡的爭端了
這段話裡講了許多事情:
1. 記憶體位址並不一定是由連續的數字所表示
2. 不同型態的指標可以有不同的表示方式
3. 存在一種"指標"可以跟其他的指標完全無關
4. 除非你的機器對這些有所說明, 不然擅自假設以上這些是如何就可能會出事
在我看來這幾條觀念正是許多可能寫過很多 C 的人仍然不足的
下面幾條問答順便回答了「指標跟指標之間可以任意轉型」的錯誤觀點 這就表過不提
---
至於我上面那篇 enum 的轉型
C++ 裡是這麼規定的: 一個 unscoped enum 可以轉成整數 但不能反之
(unscoped enum 如 enum {a,b,c}; 或 enum vowels {a,e,i,o,u};)
一個 scoped enum 則不能跟整數互轉
(scoped enum 如 enum class numbers {one,two,three};)
而我不太懂的是為什麼你想要用一個 void * 傳來傳去
直接傳一個 int 進去不行嗎?
或者既然已經 typedef 出來了 那傳入型態設為 eGOPLAYER_STATE 就好啦
這樣是最不會有問題的方式 if 裡面連轉型都不用轉
---
最後我想提一下上篇我提到的 handle 到底是什麼
handle 這個詞在程式設計中的意思是一個代表某資源的值
它可以有多種描述法 常見的如 unix 系統上的 file descriptor 它是一個整數值
實際上它是 os 內部一個已開啟檔案的結構陣列裡的某個位置的索引
這陣列的前三個會先行依序填入標準輸入、標準輸出、標準錯誤輸出
所以才會有標準輸入是 0, 標準輸出是 1, 標準錯誤輸出是 2 的結果
又例如我們熟悉的 FILE * 這是 C runtime library 所提供的對於檔案的 handle
那由於 handle 最常表示一個內部結構
所以它最常見的型式是指標 其次則是整數
有時為了抽象化 不讓使用者端知道那其實是個指標
因此常常會另定一個型態做為 handle 型態 它可以放入任何指標
C 語言的標準明定所有物件指標可以跟 void * 互轉 [C99 6.3.2.2]
所以這種 handle 型態就最常 typedef 成 void *
例如 Win32 API 就是這麼定義的:
typedef void *PVOID;
typedef PVOID HANDLE;
(ref: https://tinyurl.com/lmhgj27 )
當然也有直接定義成該種內部結構的指標的型式
例如 C++ 常見的 pimpl idiom 那個指標就是這種型式 兼具細節隱藏跟實作簡潔
這種型態的指標有一個特殊名詞叫 opaque pointer (不透明指標)
因此廣義來說 這些東西都可以視為 handle 的概念
我的上篇回文所回的程式即是使用這種概念來隱藏實作細節
只不過它選擇了用 int 表示一個其實是指標的 handle
這個選擇引入了指標跟整數互轉的不必要的麻煩而已
而 enum 那一篇之所以會想用 void * 我的猜測也只是想要試試看而已
只不過那裡的狀況跟 handle 是差了十萬八千里 硬用 void * 只是讓自己苦惱而已
---
想到要講的大概就是這些了
希望這篇可以對大家有一些觀念上的釐清
如果這篇有所誤謬也請不吝指正 :)
--
LPH [acronym]
= Let Program Heal us
-- New Uncyclopedian Dictionary, Minmei Publishing Co.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.41.10.216
... <看更多>