C中的類型擦除允許通過組合模板和多態(tài)性實現(xiàn)的無模板或繼承的共同界面均勻處理不同類型的類型。 1）虛擬基類（概念）定義界面，2）派生的類（模型）適應(yīng)該界面的任何類型，3）當(dāng)作為基本指針存儲時，將刪除混凝土類型，從而使不合時宜的呼叫分配和動態(tài)分配均可遵循任何類型和操作，從而使運行時的匯總和動態(tài)分配均可刪除混凝土類型，並且可以按仲裁和操作進行仲裁和操作。

C中的類型擦除是一種用於隱藏均勻界面後面對象的混凝土類型的技術(shù)，允許在沒有模板或繼承的情況下均勻處理不同類型。它通常用於std::function ， std::any和std::variant庫中。這是一個實用而簡單的示例，以演示類型擦除的工作方式。

簡單類型的擦除：基於類型的持有人

假設(shè)我們要創(chuàng)建一個可以容納任何類型的容器，但只能公開一些操作（例如打印或獲得大?。?，而無需在編譯時知道實際類型。

 #include <iostream>
#include <emorme>
#include <string>

類均可打印{
    結(jié)構(gòu)概念{
        虛擬?概念（）=默認值;
        虛擬void print（）const = 0;
        虛擬size_t size（）const = 0;
    };

    模板<typename t>
    結(jié)構(gòu)模型：概念{
        t數(shù)據(jù)；

        模型（t值）：data（std :: move（value））{}

        void print（）const覆蓋{
            std :: cout << data;
        }

        size_t size（）const覆蓋{
            如果constexpr（需要{data.size（）;}）{
                返回data.size（）;
            } 別的 {
                返回1;
            }
        }
    };

    std :: unique_ptr <Concept> p_obj;

民眾：
    模板<typename t>
    任何打?。╰值）：p_obj（std :: make_unique <型號<t >>（std :: move（value）））{}）{}

    void print（）const {
        if（p_obj）p_obj-> print（）;
    }

    size_t size（）const {
        如果（p_obj）返回p_obj-> size（）;
        返回0;
    }
};

用法示例

int main（）{
    任何打印a = 42;
    任何可打印的b = std :: string（“你好，世界！”）;
    任何可打印的c = std :: vector <int> {1，2，3，4，5};

    a.print（）; std :: cout <<“（size：” << a.size（）<<“）\ n”;
    B.Print（）; std :: cout <<“（size：” << b.size（）<<“）\ n”;
    c.print（）; std :: cout <<“（size：” << c.size（）<<“）\ n”;

    返回0;
}

輸出：

 42（尺寸：1）
你好世界！ （尺寸：13）
12345（尺寸：5）

它如何工作

• 概念：定義接口（允許哪些操作）。
• 模型：適應(yīng)任何類型T模板以滿足概念。
• 類型擦除：存儲後，將刪除實際T型 - 僅使用Concept接口。
• 接口中沒有模板： AnyPrintable的用戶不需要是模板。

這類似於std::function<void()>可以存儲lambda，函數(shù)指針或函子 - 一個接口後面刪除的所有不同類型。

關(guān)鍵好處

• 啟用異構(gòu)收藏：

  

   std :: vector <Anyprintable> items = {42，std :: string（“ hi”），3.14};
  for（const auto＆item：items）{
      item.print（）; std :: cout <<“ \ n”;
  }

• 避免繼承層次結(jié)構(gòu)（無需從基類派生）。

• 保持界面簡單清潔。

---

筆記和權(quán)衡

• 使用動態(tài)分配（可以通過小對象優(yōu)化優(yōu)化）。
• 由於虛擬呼叫（與編譯時模板），運行時開銷。
• 不是替代模板，而是需要動態(tài)行為的特定用例的工具。

---

此示例顯示了核心想法：將類型包裹在模板中，從公共接口繼承，並通過指向該接口的指針存儲- 從外部視圖“刪除”了類型。

基本上只是模板和多態(tài)性的融合，以獲得兩全其美。

以上是C類型擦除示例的詳細內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！