[C++] How to Write Reliable Code

這篇只是下面這段演講的整理
How to write more reliable code - Egor Bredikhin - Meeting C++ 2018
投影片

總結來說有以下這幾點

• Guidelines
• Unit tests 
• Code reviews
• Static analysis
• Dynamic analysis
• Mordern C++

[C++] pinned_vector - Pointer Invalidation Issue on std::vector

pointer invalidation 在 C++ container 是個滿重要 (但很容易被忽略) 的議題，主要原因在於 C++ container 會自己在 runtime 依據使用情況去調整記憶體使用量。也因此，如果用 pointer 去存取 container 中的東西時有時會遇上 container 因為你的操作 (比方說新增/刪除) 導致既有的 pointer 不再合法 (也就是原本指到的地方已經不再是你原本指向的東西，可能已經變成其他的東西或是不能被存取了)，這就是所謂的 pointer invalidation，在 C++ reference 上各個 container 的 member function 其實可以看到會有一段在描述 iterator validity，那個就是在講這個議題。

當然，不同方式的 container 在 pointer validity 會有不同的情況 (比方說 std::list 沒有這問題，但是他的 element 就不會是在連續的記憶體上)，選用 std container 的時候其實有一部份是要謹慎考量這問題的，因為這攸關使用情境以及效能。這次在 Meeting C++ 2018 看到的 pinned_vector 簡單來說就是提出一個可以滿足最低限度的 pointer validity 的改良版 std::vector

[C++] What and How: error: request for member '...' in '...', which is of non-class type '...'

簡單來說，就是物件宣告跟函示宣告混在一起了看起來很像，所以有時候 compiler 會搞錯

[筆記] MySQL Config File Encryption and Decryption

上一篇提到 MySQL 在 5.6 版後提供 mysql_config_editor 這支 utility 讓使用者可以產生/修改加密後的 config file (或者叫做 option file)，但是很奇怪的是官方提供的 API 不管是 C 或 Python 都不吃加密後的 config file。後來經過多方查詢研究後發現 python 有一個 package 叫 myloginpath 可以把加密後的 config file 解成明文，基於 python 沒秘密，所以這邊就來整理一下這弱到爆的加密方式

[MYSQL] C/Python Connector API for MySQL

MySQL client 登入時可以藉由提供一個 option file (比方說 .mylogin.cnf) 並且在裡面寫好 user / password / host 等資訊後，登入時直接使用 option file 連上 MySQL server。不過 option file 因為必須是明文，自然會有風險。只是 MySQL 自 5.6 版以後提供了 mysql_config_editor 這支 utility 讓使用者可以把 option file 加密 (目前看到的資料好像是會用 AES 128bit 加密) 來避免這個問題。

想當然爾，MySQL 也必須提供 API 讓使用者可以藉由這些 API 直接使用這些加密後的 option file 連上 MySQL server。這邊介紹的是關於官方原生提供的 C/Python API 上的狀況。

[C++] A Simple Wrapper on A Non-Thread Safe Container for Thread Safety

大部分的 container 像是 STL 的所有 container 通常都不是 thread safe 的，因為如果要做到 thread safe 的設計多半都要犧牲一些效能，但是大多數情況其實我們不會需要這種設計，因此不考慮 thread safe 對於這類考量泛用類型的架構是合理的。當然如果一開始就有考慮做成 multi-thread 的架構，也有許多 thread-safe container 可以使用，像是 Boost 或是 Intel Thread Building Block (TBB)。

但是假設今天用了 STL 的 container 後一段時間才想要改用 multi-thread 架構的話要怎麼辦？方法大致上就 2 種：

1. 換掉 container：不過多半連既有程式的使用方式也要跟著做修改
2. 想辦法把原本的 container 改成 thread-safe

第 1 點當然會是比較保險的，但是換 library 是大事，特別是如果想用的 library 沒有對應的 API 可以對回去原本 library 的用法那就很麻煩了。所以這邊提供第二種方式：增加一個 wrapper，在盡量不改變 usage 的情況下提供 thread safety。

[C++] A thread-Safe Bounded Queue Based on STL Container and C++11 Threading Library

要寫一個平行化的程式通常多半免不了需要一個 thread-safe 的 container，很不巧的是 STL 並沒有提供一個 thread-safe 的 container。雖然通常純讀不修改多半是可以 thread-safe，但如果要允許同時可讀又可寫就需要自己想辦法了。

這篇就是自己想辦法用 STL 的 container 生了一個 thread-safe 的 bounded queue。用 STL container 當基底純粹是因為我懶得自己做記憶體管理 XD

[C++] Lazy Evaluation for Function Argument

C++ 的 function call 在傳參數進去時基於一些因素會把所有參數都拿到最後的結果後才進入 function 本體去執行。比方說，傳進去的參數是一串四則運算時，會先算出最後的結果；如果也是個 function call，那也會先把 function call 執行完畢拿到結果。

在某些情況下如果我們知道其實進入 function 後根本不會用到這些參數的內容時，做這些計算其實就會變成浪費時間了。因此，最容易想到的解法是，有沒有辦法把這些運算的過程延遲到我真的需要時才讓他執行？

[C++] Use std::condition_variable for Parallellism

C++11 開始 STL 就提供了 thread library以便寫平行化的程式，condition variable 簡單來說就是用來控制流程用的，他允許我們在過程中透過 condition variable 來決定是否要 block 某個 thread 等待另一個 thread 完成工作，也可以透過 notify 去讓一個 (或多個) 正在等待 thread 繼續往下執行他們的工作。

[C++] Compile-Time if in C++17 Can Have Code Not Able to Be Compiled with Regular Runtime if

Compile-time if 在 C++17 中也算是一個滿有趣的特色，其特點就在於能夠在 compile time 就幫你確認清楚 if statement 中會執行到哪一個判斷式對應到的區塊，從而把其他一定不會用到的區塊 "拔掉"。這點在現在電腦上算是個滿有用的特色，畢竟現在 CPU 的 branch prediction 一定錯誤通常都要承擔不小的後果 (註) 

原本我以為 compile-time if 只是針對一些能在 compile-time 就能推知結果的運算做優化 (特別是在 template 上)，結果今天看到一個例子才發現這玩意兒比想像中更猛，甚至能夠寫出一些原本 regular runtime if 做不到的功能。