羅根學習筆記

回首 2025．展望 2026

Logan — Sat, 14 Feb 2026 23:48:00 +0800

去年我成為小組主管。作為新手主管，我很多方面都經驗不足、力有未逮。感謝大家的包容和反饋。當主管和寫程式不同，很多 …

PyPy RISCV JIT Backend 開發心得

Logan — Mon, 30 Dec 2024 23:21:00 +0800

今年我將 PyPy RISC-V JIT Backend 送回上游的 PyPy 版本庫。今年 8 月發行的 PyPy v7.3.17 已經包含 RISC-V JIT Backend 的程式碼。這個 Side Project 我斷斷續續做了 …

漫談 std::uniform_int_distribution 的原理與最佳化

Logan — Sun, 14 Aug 2022 22:53:00 +0800

通常偽亂數生成器（Pseudo Random Number Generator）會生成屬於 [0, 2^N) 區間的整數。此區間內每個整數被生成的機率均等。然而我們需要的亂數 …

一個 va_list 錯誤案例

Logan — Wed, 16 Feb 2022 20:58:00 +0800

最近幫別人除錯，看到一個有趣的案例。下面的程式會有 Segmentation Fault（記憶體區段錯誤），大家看得出問題嗎？

#include <stdarg.h>

struct Context {
  char *error_;
};

void report_error(struct …

std::any 使用方法

Logan — Sun, 31 Oct 2021 23:35:00 +0800

本文要介紹 C++ 17 新增的 std::any 類別。它能儲存所有「可以被複製建構（Copy Constructible）」的數值。以下我們會先介紹 std::any 的基本用法，接著介 …

C++ 執行緒：promise、future、packaged_task 與 async 的使用方法

Logan — Sun, 26 Sep 2021 22:15:00 +0800

今天我想要介紹 C++ 執行緒的高階 API：std::promise、std::future、std::packaged_task 與 std::async。本文的內容可以濃縮為下圖：

其中 std::promise 與 std::future 是執行緒之間的 …

C++ std::thread join() 與解構函式

Logan — Sun, 19 Sep 2021 21:31:00 +0800

前幾天在除錯的過程中，我注意到程式印出的 Stack Trace 和我的預期相去甚遠。在反覆研究之後，我發現一段有問題的程式碼。大 …

C 語言的「四捨六入五成雙」

Logan — Sun, 22 Nov 2020 23:24:00 +0800

最近在編寫單元測試的時候，我需要一個將浮點數「四捨六入五成雙」的函式。一開始我想：這很容易：只要把整數部分和小數 …

C++ 17 對例外處理規格的改動

Logan — Mon, 27 Jul 2020 23:29:00 +0800

今天我想要介紹 C++ 17 對「例外處理規格（Exception Specification）」的二個改動：

移除 throw (ClassName)
將 noexcept 納入型別系統（Type System）

移除 throw (ClassName) 例外處理規格

在 C++ 98 …

C++ 17 fallthrough、nodiscard、maybe_unused 屬性

Logan — Sun, 19 Jul 2020 23:59:00 +0800

C++ 17 新增三個標準屬性（Attribute）：

[[fallthrough]] 用以標記接續執行下一個 switch case 的意圖。
[[nodiscard]] 用以提醒函式呼叫者檢查回傳值。
[[maybe_unused]] 用以標記可能 …

C++ 17 template 非型別樣版參數型別推導

Logan — Sun, 12 Jul 2020 23:22:00 +0800

在 C++ 17 標準下，我們能以 auto 關鍵字宣告非型別樣版參數（Non-Type Template Argument）。編譯器會以「樣版的實際參數」推導「樣版參數」的型別：

template <auto Arg …

C++ 17 __has_include 前置處理表達式

Logan — Sun, 05 Jul 2020 22:42:00 +0800

__has_include 是 C++ 17 加進前置處理器（Preprocessor）的新功能。我們能以 __has_include 表達式偵測某個標頭檔（Header File）是否存在。如果前置處理器能找到指定的 …

C++ 17 Inline Variable

Logan — Sun, 22 Mar 2020 23:45:00 +0800

Inline Variable（內嵌變數）是 C++ 17 新增的功能。Inline Variable 與 Inline Function（內嵌函式）相似，能讓我們在多個 Translation Unit（編譯單元）定義同樣的變數[1]。鏈結器（Linker …

C++ 17 constexpr 與 Lambda 表達式

Logan — Sun, 08 Mar 2020 23:40:00 +0800

C++ 17 將 Lambda Expression 納入常數表達式（constexpr）的範疇，所以我們也能在只接受編譯期常數的地方呼叫 Lambda Expression 定義的 Lambda Function：

void test() {
  auto f = [](int a, int …

C++ 17 在 Lambda Expression 捕捉 *this

Logan — Mon, 17 Feb 2020 22:34:00 +0800

如果一個成員函式（Member Function）有 Lambda Expression 而且該 Lambda Expression 有指定預設補捉模式（不論是傳值或傳參考）。當 Lambda Expression 內有程式碼指稱「成員函式 …

C++ 17 if constexpr 述句

Logan — Mon, 10 Feb 2020 23:54:00 +0800

C++ 17 新增的 if constexpr 述句能讓我們用更簡潔的方式編寫樣版特化（Template Specialization）。本文會介紹它的語法與應用。

語法

if constexpr 述句的語法與 …

C++ 17 類別樣版參數推導

Logan — Sun, 02 Feb 2020 23:22:00 +0800

今天我想要介紹 C++ 17 的類別樣版參數推導（Class Template Argument Deduction）。在 C++ 17 之前，樣版參數推導（Template Argument Deduction）只會被施行於「函式樣版（Function Template）」。以 std …

C++ 17 折疊表達式

Logan — Tue, 31 Dec 2019 22:51:00 +0800

C++ 11 引入了 Variadic Template，讓我們得以宣告任意個數的樣版參數。C++ 標準函式庫的 std::make_tuple 就是一個典型的例子：

#include <tuple>

int main() {
  auto a = std::make_tuple("a …

C++ 17 選擇述句與初始化述句

Logan — Sun, 22 Dec 2019 15:11:00 +0800

C++ 98 程式語言標準將 if、switch、while 與 for 述句的文法依序定義為：

if (condition) statement

if (condition) statement else statement

switch (condition) statement

while (condition) statement

for (for-init-statement condition_opt; expression) statement

其中，我們能在 …

C++ 17: 以 std::scoped_lock 避免 Dead Lock

Logan — Mon, 25 Nov 2019 23:44:00 +0800

最佳化多執行緒程式時，為了減少非必要阻塞（Blocking），常見作法是將一個 Mutex 依照保護對象拆分為多個 Mutex。如此一來，一個執行緒 …

C++ 17 結構化綁定

Logan — Tue, 29 Oct 2019 21:53:00 +0800

今天我想要介紹 C++ 17 新增的 Structured Binding（結構化綁定）。以 std::pair 為例，Structured Binding 能讓我們能直接將 std::pair 的內容綁定到我們指定的識別字 …

漫談 C/C++ 巨集展開規則

Logan — Sun, 13 Oct 2019 21:01:00 +0800

最近工作上遇到一個和 C/C++ 巨集有關的問題。我想要使用巨集將原本呼叫 bcopy 的程式碼導向另一個實作 __bionic_bcopy。所以我寫出以 …

簡介 perf_events 與 Call Graph

Logan — Sun, 06 Oct 2019 17:31:00 +0800

Call Graph 是幫助 Perf Events 使用者判讀效能瓶頸成因的重要工具。Call Graph 優雅地結合「花去最多執行時間的熱區」與「為什麼要執行熱區 …

使用 perf_events 分析程式效能

Logan — Wed, 10 Jul 2019 23:31:00 +0800

在最佳化程式之前，我們必須要先測量程式的執行狀況，如此我們才能對症下藥。本文要介紹 Linux 核心內建的系統效能分析 …

The Case of the Missing Supercomputer Performance 心得

Logan — Tue, 11 Jun 2019 21:01:00 +0800

因為最近的工作需求，我開始學習與補強系統效能分析方面的知識。所以我把同事之前推薦的論文 The Case of the Missing Supercomputer Performance [Fabrizio Petrini …

簡介 Sparse Set

Logan — Sat, 06 Apr 2019 20:45:00 +0800

最近讀一些論文的時候，學到 Sparse Set 資料結構。我覺得這個資料結構的設計還蠻有趣的，所以花一點時間把他記錄下來。

Sparse Set …

Python3: 淺談 Python 3.3 的 Yield From 表達式

Logan — Sat, 30 Mar 2019 09:33:00 +0800

我最近需要使用 Python 2.7 解開 zip 壓縮檔並分析檔案內容。所以我寫了下面的程式。然而這個程式是有問題的。它沒有辦法列 …

Python: defaultdict 的陷阱

Logan — Sun, 27 Jan 2019 20:11:00 +0800

最近壓力比較大，讓我出賣一下我的同事。

我的同事 L 最近要用 Python 寫一個函式 lookup()。它會拿三個參數：

d：一個 str 到 set 的 dict
x：當 …

C++17: string_view、map 與異質比較查詢

Logan — Wed, 23 Jan 2019 22:58:00 +0800

身為一個 C++ 程序員，我都會盡我所能避免不必要的計算。所以當我聽到 C++ 17 新增了 std::string_view 類別，我就迫不及待的想要使用它 …

一個 Undefined Behavior 的故事

Logan — Fri, 19 Jan 2018 22:01:00 +0800

L 開完會，想要去吃晚餐的時候，忽然被 A 叫住：你能來看一個 X 公司發過來的 Issue 嗎？這有點急。

問題是這樣的：下面這段代碼 …

Python: 簡介 weakref.finalize

Logan — Thu, 23 Feb 2017 20:39:00 +0800

如果我們要讓一個物件持有一些資源，然後希望這個物件被回收的時候釋放它持有的資源，我們該怎麼撰寫這個類別呢 …

Python 3: 簡介 Raise From 述句

Logan — Sat, 14 Jan 2017 22:22:00 +0800

今天要介紹 Python 3 引入的 raise ... from ... 述句。相信大家都知道 raise 述句是用來拋出一個例外。那 raise ... from ... 述句有何不同呢？

#!/usr/bin/env python3
import traceback

class …