跳到主要內容

C++的靜態多型

class Foo : public Base<Foo>
{
};
在上例中,類別Foo繼承自類別Base,類別Base有一個Template參數,而在此例中是以類別Foo作為參數傳入。以上這個宣告是合法的,根據C++的標準規格,當類別Foo宣告之後,Foo這個名字就算是已被定義了,所以能夠立即被拿來餵給類別Base作為參數使用。
template<class T>
class B
{
public:
void sayHello()
{
T* pThis = static_cast<T*>(this);
pThis->hello();
}

// 可被子類別覆寫(overridable)
void hello()
{
cout << "B::hello" << endl;
}
};

class D1 : public B<D1>
{
};

class D2 : public B<D2>
{
public:
void hello()
{
cout << "D2::hello" << endl;
}
};

int main()
{
D1 d1;
D2 d2;

d1.sayHello(); // 印出 "B::hello"
d2.sayHello(); // 印出 "D2::hello"

return 0;
}
在上面的範例中我們宣告了一個類別B,還有二個繼承類別B的類別D1和類別D2。類別D1和類別D2以上面所提到的方式,以自己為參數繼承template類別B。類別B中有個sayHello公開函式,它會呼叫一個叫作hello的函式。hello函式在類別B中有一個預設的實作,會在畫面上列印出"B::hello"的文字訊息,而這個函式hello可以被子類別所覆寫。如果子類別有覆寫hello函式實作自己的版本,則在呼叫sayHello時子類別的實作就會被呼叫到,否則就會呼叫到預設的類別B的版本。

這裡使用到的關鍵技巧就在於static_cast<T*>(this)這一行的地方。

它把this指標轉型成參數T所指的型別。在這個例子中,參數T不是類別D1就是類別D2,而類別D1或類別D2都是類別B的子類別,所以這樣的轉型是合法且安全的。透過pThis指標來呼叫到的hello實作品會根據參數T的型別而定,如果參數T有一個自己的hello實作,則這個hello實作就會被呼叫,若沒有則會呼叫到類別B自己的hello實作。因為這裡面使用到泛型程式設計,所以這個動作是在編譯時期決定的。而這樣的行為和執行時期的多型非常類似,因為是在編譯時期決定,是靜態的,所以我們才會稱它作靜態多型。

但是如果參數T是有問題的參數呢?比如說在此例中我們不是傳入類別D1或類別D2呢?假如是這樣子的話,會有底下二種可能的情況發生。

1.傳入的參數T類別正好有個叫作hello函式,所以沒問題編譯可以過,只不過類別的行為是不是會變得異常就不得而知了。

2.傳入的參數T類別本身找不到一個叫作hello的函式(包含類別T的基礎類別),這時候編譯器就會直接告訴你一個找不到hello的定義的錯誤因而編譯失敗。所以這不構成什麼問題。

繼續回到原來的範例。類別D1只單純繼承類別B而沒有覆寫hello,所以物件d1在呼叫sayHello時會呼叫到類別B的hello,因此畫面上打印出"B::hello"文字訊息。而類別D2有自己的hello實作,所以物件d2在呼叫sayHello時就會呼叫到自己的hello函式,因此畫面上打印出"D2::hello"文字訊息。

使用靜態多型的技術(或把它叫作技巧)有以下幾個好處。

1.類別就不再需要額外的vtbl了,因為沒有任何虛擬函式。而因為不是執行期多型,所以呼叫更快,類別體積也較小。

2.在執行時期不可能透過一個null指標去呼叫靜態"虛擬函式",因為指標都是有效的this指標轉型而來的。

3.所有的呼叫都是在編譯時期決定,所以編譯器有更多機會作最佳化。

留言

這個網誌中的熱門文章

KillSudoku 4顆星精彩數獨詳解 - 鍊技巧

這題數獨(sudoku)題目估計為4+顆星,有點難度。解題需要應用多種技巧,過程非常精彩有趣,是個好題。 底下使用 KillSudoku 作詳細圖解。 1,使用基本排除法則,可以簡單填入6個數字。到此為止,開始使用 候選數法 來解題。如下所示,為填入6個數字後的狀態圖。 2,如下圖,使用進階排除法,在第9列和第4行可以先排除幾個候選數。 3,如圖,在第2行有一個 Naked Subset (3,4),可以對3,4候選數作排除。附帶提一下,反過來看在同一行裡面也可以說有另一個Hidden Subset(2,5,8)存在。Naked Subset和Hidden Subset常是一體二面同時存在,只不過對我們來說,Naked Subset是相對比較容易看的出來。 排除第2行的3,4後,又可以對第2列以外的3作排除,如下圖。 4,接著,在第5行又發現了一個 Naked Subset (3,7,8)。 對第5行三個Subset以外的候選數3,7,8作排除後,又接著產生可以對第5行以外的3作排除。 5,這一題解到此為止,開始進入高潮。大部份能解到3顆星題目的人,猜想應該就此卡住。以下開始需要應用更高級的鍊技巧,才能夠繼續進行。 應用X-Chains鍊技巧,可以找到一條由4條強連結組成的鍊,可以排除候選數2。這裡的鍊指的是由2條以上的強連結組成,而所謂的強連結是指在同一行、或同一列或同一個Box裡,由唯二的候選數構成的連結。如上圖中的第9行中,只有二個2,這二個2構成一條強連結。為什麼說這是一條強連結?因為在這條連結的AB二個端點中,肯定會有一個2存在,要麼是A點要麼是B點。鍊技巧就是將多條強連結串連起來作候選數排除的技巧,而X-Chains是高級的鍊技巧裡面的基本技巧。 接上圖,這樣一來就又可以應用基本排除方法,填入3個數字,如下圖所示。 6,接下來就是本題最精彩的部份,以下需要連續找到3條鍊,才能繼續往下解。 7,找出3條鍊後,剩下來的部份就沒什麼特別的了,只需要應用基本法就能把所有剩餘數字填完。

生成小鎮1010 - 用 Ollama 製作一個在本機執行的生成式文字冒險小遊戲

  生成小鎮 1010 是一個利用在本機執行的大語言模型,動態的生成遊戲地圖及根據玩家互動生成故事劇情及任務內容的文字冒險小遊戲。 完成環境建置後,就可以到  Ollama 官網  下載模型,在本機開始測試遊戲。 處理器(CPU) 13th Gen Intel(R) Core(TM) i5-13500H 2.60 GHz 記憶體(RAM) 40.0 GB 顯示卡 Intel(R) Iris(R) Xe Graphics 128 M 系統 Windows 11 家用版 24H2 這是我的筆電規格。在我的筆電上跑  gemma3:4b-it-q4_K_M  模型,勉強可以玩。如果你有更強的硬體,就能夠利用更大的模型,得到更好的遊戲內容體驗。 gemma 是 Google 的開放的整合了視覺理解能力多模態大語言模型。4b: 是模型參數大小,表示 40 憶個參數。q4_K_M: 是一種減少模型大小和提高效率的技術,它涉及到將模型中的數值精度降低,並減少了對記憶體和計算資源的需求。 你也可以根據自己的需要或喜好,選擇下載不同模型。 [ GitHub ] 1. 準備工作 1.1 什麼是 Ollama Ollama 是一個可以在本機運行大型語言模型(LLM)如 LLaMA、Mistral、Gemma 等的開源工具。它的目的是讓開發者和使用者可以更輕鬆地在自己的電腦上執行和使用這些 AI 模型,而不需要依賴雲端服務。Ollama 的特點是: 本地運行模型  你可以直接在 Windows、macOS 或 Linux 上下載並運行語言模型,無需連網使用 API。 簡單的 CLI 工具  安裝後只需要輸入像 ollama run llama3 這樣的指令就可以開始對話。 支援多種模型  包含 Meta 的 LLaMA、Mistral、Gemma、Deepseek 等模型,也可以自訂模型。 開發整合容易  提供簡單的 API(RESTful),方便整合到你自己的應用程式、網頁或手機 App 中。 節省成本與提高隱私  不用連接 OpenAI、Anthropic 或其他雲端 LLM,降低使用成本,也不會洩漏資料。 1.2 安裝 Ollama 訪問  Ollama 官網 ,根據你的作業系...

以lex/yacc實作算式計算機

前面我們透過 手工的方式 實作了一個簡易的算式計算機,現在我們要開始使用工具來作同樣的事,比較看看手工和使用工具有什麼不同的差別。首先要介紹的就是lex&yacc。 lex & yacc lex(Lexical Analyzar)及yacc(Yet Another Compiler Compiler)是用來輔助程式設計師製作語法剖析器的程式工具。lex的工作就是幫助我們將輸入的資料文字串流分解成一個個有意義的token,而yacc的工作就是幫我們分析這些token和我們定義的規則作匹配。下圖中所表示的是使用lex及yacc的一般工作流程。 首先看到yacc會讀入一個.y檔案,這裡.y檔案的內容就是我們使用類似(E)BNF語法定義的語法規則,yacc會分析這些語法規則後,幫我們產生可以用來解析這些規則的程式碼,而這個檔案一般名稱預設為y.tab.c,產生的程式碼裡面最重要的一個的函式叫作yyparse。 同yacc類似,lex也會讀入一個.l的檔案,這個檔案裡面定義的是如何從文字流裡解出token的規則,使用的方法是常規表示式(regular expression)。在圖的左側中間我們還可以看到有一個叫作y.tab.h的檔案從yacc產生出來並餵給lex作輸入,這個檔案是yacc根據在讀入的.y檔裡面所定義的token代號所產生出來的一個header,這樣yacc及lex產生出來的程式碼裡面就可以使用共通定義的代碼而不必各寫個的。lex分析過.l檔案後也會產生一個一般預設叫作lex.yy.c的原始碼檔案,裡頭最重要的一個函式叫作yylex。 最後,我們把yacc產生出來的y.tab.c還有lex產生出來的lex.yy.c,以及其它我們自己撰寫的原始碼檔案一起拿來編譯再作連結,最後產生出來的就是一個可以用來解析我們定義的語法的解析器工具。以上是整個lex及yacc的使用流程概觀。 常規表示式 在正式使用lex之前,我們首先來對常規表示法作一個基本的認識。常規表示法是一種用來表示字串樣式(pattern)的中繼語言,就好比前文所介紹的(E)BNF表示式一樣,都是用來描述其它語言的語言,只不過用途不太一樣罷了。 常規表示式使用一些中繼符號(meta-symbol)以及ASCII字元定義字串樣式,以下列出一些常規表示式所使用的符號。 . 表示除了換行字元...