C 中的範本限制：超越C# 限制

在物件導向程式設計中，定義具有特定要求的類型可以增強程式碼的健全性並防止錯誤。在 C# 中，對泛型類型參數施加約束可確保只有滿足特定條件的類型才能被實例化。

C 11 實作

C 本身不支援範本約束，但最新標準 (C 11) 引入了 static_assert 和 std::is_base_of 作為解決方法。這允許您透過驗證模板參數是否繼承自指定的基底類別來在編譯期間強制執行約束。

範例：

考慮以下 C 11 程式碼：

#include 

template
class YourClass {

    YourClass() {
        // Compile-time check
        static_assert(std::is_base_of::value, "type parameter of this class must derive from BaseClass");

        // ...
    }
};

在此範例中，YourClass 範本要求其型別參數 T 從 BaseClass 基底類別繼承。如果使用非派生類型作為參數，則在編譯時會出現編譯器錯誤，從而防止執行時錯誤。

此方法提供與 C# 的泛型限制類似的功能，但特定於 C 11，並且需要使用 static_assert 和 std::is_base_of.