C++ 模板元編程（Template Metaprogramming, TMP）是一種在編譯期間執行計算和邏輯操作的技術。為了實現編譯期檢查，你可以使用 C++ 的靜態斷言（Static Assertions）和類型特性（Type Traits）工具。

1. 靜態斷言（Static Assertions）

static_assert 是 C++11 引入的一個關鍵字，用于在編譯期間進行斷言檢查。如果條件為真，則代碼正常編譯；如果條件為假，則編譯會立即失敗，并顯示錯誤信息。

例如：

template <int N>
struct MyStruct {
    static_assert(N > 0, "N must be greater than 0");
};

MyStruct<5> obj; // 正常編譯
MyStruct<-3> obj2; // 編譯失敗，顯示錯誤信息 "N must be greater than 0"

2. 類型特性（Type Traits）

type_traits 是 C++ 標準庫中的一個模板元編程工具，它提供了一組編譯期的類型檢查和操作。type_traits 可以幫助你根據類型的屬性執行不同的操作。

例如，你可以使用 std::enable_if 來根據類型的特性啟用或禁用模板特化：

#include <type_traits>

template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void foo(T t) {
    // 這個函數只接受整數類型的參數
}

foo(42); // 正常編譯
foo(3.14); // 編譯失敗，因為 3.14 不是整數類型

在這個例子中，std::enable_if 根據 std::is_integral<T>::value 的值來決定是否啟用 foo 函數的特化。如果 T 是整數類型，std::enable_if 的第二個模板參數為 0，表示啟用特化；否則，編譯器將不生成 foo 函數的特化，導致編譯失敗。

通過結合使用靜態斷言和類型特性，你可以在 C++ 模板元編程中實現編譯期檢查，從而提高代碼的安全性和性能。