c++實現泛型編程技巧

C++中的泛型編程是一種編寫可重用、可適應多種數據類型的編程方法。C++11引入了模板，使得泛型編程變得更加容易。以下是一些C++實現泛型編程的技巧：

1. 使用模板：模板是C++實現泛型編程的基本工具。通過模板，你可以編寫與數據類型無關的代碼。例如，你可以創建一個通用的交換函數，它可以用于任何數據類型：

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

2. 使用std::enable_if和SFINAE：C++11引入了std::enable_if和SFINAE（Substitution Failure Is Not An Error）技術，它們可以幫助你根據模板參數的特性啟用或禁用特定的模板特化。這使得你可以編寫更復雜的泛型代碼，例如只對特定類型有效的函數。

#include <type_traits>

template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void print(T value) {
    std::cout << "Integer: " << value << std::endl;
}

template <typename T, typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
void print(T value) {
    std::cout << "Floating point: " << value << std::endl;
}

3. 使用類型萃?。侯愋洼腿∈且环N從現有類型中提取新類型的技術。C++標準庫中的std::is_same、std::is_integral等類型萃取器可以幫助你編寫更通用的代碼。

#include <type_traits>

template <typename T, typename U>
void foo() {
    if constexpr (std::is_same_v<T, U>) {
        std::cout << "T and U are the same type" << std::endl;
    } else {
        std::cout << "T and U are different types" << std::endl;
    }
}

4. 使用C++標準庫中的泛型算法：C++標準庫提供了許多泛型算法，如std::sort、std::find等。這些算法可以與任何數據類型一起使用，無需編寫特定類型的實現。

#include <algorithm>
#include <vector>

int main() {
    std::vector<int> v = {3, 1, 4, 1, 5, 9};
    std::sort(v.begin(), v.end());
    return 0;
}

5. 使用模板特化和偏特化：模板特化和偏特化允許你為特定類型提供特定的實現。這使得你可以編寫更復雜的泛型代碼，例如針對不同數據類型有不同的行為。

template <typename T>
class MyClass {
public:
    void print() {
        std::cout << "Generic implementation" << std::endl;
    }
};

template <>
class MyClass<int> {
public:
    void print() {
        std::cout << "Integer implementation" << std::endl;
    }
};

template <>
class MyClass<std::string> {
public:
    void print() {
        std::cout << "String implementation" << std::endl;
    }
};

通過使用這些技巧，你可以在C++中實現更通用、更靈活的泛型編程。