consteval 是 C++20 引入的一個新關鍵字，它用于指定一個函數必須在編譯時進行計算。這使得我們可以在編譯時執行復雜的計算和操作，從而提高代碼的性能和安全性。在模板元編程中，consteval 可以與 constexpr 結合使用，以實現更高級的編譯時計算和優化。

以下是一些在模板元編程中使用 consteval 的示例：

1. 編譯時計算階乘：

template <int N>
consteval int factorial() {
    if constexpr (N == 0) {
        return 1;
    } else {
        return N * factorial<N - 1>();
    }
}

int main() {
    constexpr int result = factorial<5>(); // 計算 5!，結果為 120
    return 0;
}

2. 編譯時計算斐波那契數列：

template <int N>
consteval int fibonacci() {
    if constexpr (N == 0) {
        return 0;
    } else if constexpr (N == 1) {
        return 1;
    } else {
        return fibonacci<N - 1>() + fibonacci<N - 2>();
    }
}

int main() {
    constexpr int result = fibonacci<10>(); // 計算第 10 個斐波那契數，結果為 55
    return 0;
}

3. 編譯時計算數組長度：

template<typename T, size_t N>
consteval size_t array_size(T (&)[N]) {
    return N;
}

int main() {
    int arr[] = {1, 2, 3, 4, 5};
    constexpr size_t size = array_size(arr); // 計算數組長度，結果為 5
    return 0;
}

通過使用 consteval，我們可以在編譯時執行更多的計算和操作，從而提高代碼的性能和安全性。同時，它也與 constexpr 結合使用，使得我們可以在模板元編程中實現更高級的編譯時計算和優化。