c++20 -通用打印的一般实现

对于常见数据类型通用打印支持
整形
浮点型
字符串类型，char
vector 包括多维度数组
map
set
T ah[N] 类型数组，包括多维数组
array 和 多维度数组*

main.cpp

// C
#ifndef _GLIBCXX_NO_ASSERT
#include 
#endif
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#if __cplusplus >= 201103L
#include 
#include 
#include 
// #include 
#include 
#include 
#include 
#include 
#include 
#endif
// C++
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#if __cplusplus >= 201103L
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#endif

using namespace std;

template <typename T>
concept isPrintable = requires(T t) {
    cout << t;
};

// 是否支持 inplace loop for
template <typename T>
concept LoopAble = requires(T t) {
    // t 有begin()函数 且能 前++， 注意operator++(int) 是后++
    // 约束 1
    ++t.begin();
    // t.begin() 的类型支持 *
    // 约束 2
    *(t.begin());
    // t 有end函数
    // 约束 3
    t.end();
    // t.begin() 的类型 支持 !=
    // 约束 4
    t.begin() != t.end();
};

template <typename T>
concept PairAble = requires(T&& t) {
    t.first;
    t.second;
};

template <typename T>
concept ArrayLike = requires(T t) {
    size(t)->size_t;
};

// 特化
void printer(char* buffer, bool end = true) {
    cout << buffer << "\t";
    if (end) {
        cout << endl;
    }
}

// 特化
void printer(const string& buffer, bool end = true) {
    cout << buffer << "\t";
    if (end) {
        cout << endl;
    }
}

template <template <typename, size_t> typename Array, typename T, size_t N>
void printer(Array<T, N>& arr, bool end = true);

template <typename T>
void printer(T&& v, bool end = true) requires LoopAble<T> || is_array_v<remove_reference_t<T>> || isPrintable<T> || PairAble<T> {
    if constexpr (is_array_v<remove_reference_t<T>>) {
        for (int i = 0; i < size(v); i++) {
            printer(v[i], false);
        }
    } else if constexpr (PairAble<remove_reference_t<decltype(v)>>) {
        printer(v.first, false);
        printer(v.second, false);
    } else if constexpr (LoopAble<remove_reference_t<decltype(v)>>) {
        for (auto& one : v) {
            printer(one, false);
        }
    } else if constexpr (isPrintable<decay_t<decltype(v)>>) {
        cout << v << "    ";
    }
    if (end) {
        cout << endl;
    }
};

template <template <typename, size_t> typename Array, typename T, size_t N>
void printer(Array<T, N>& arr, bool end) {
    for (int i = 0; i < size(arr); i++) {
        printer(arr[i], false);
    }
    if (end) {
        cout << endl;
    }
}

int main() {
    int x = 1;
    printer(x);

    vector<int> vec{1, 2, 3, 4, 5, 6, 7};
    printer(vec);

    int arr[5] = {1, 2, 3, 4, 5};
    printer(arr);

    int tarr[2][5] = {{1, 2, 3, 4, 5}, {6, 7, 8, 9, 10}};
    printer(tarr);

    vector<vector<int>> vt{{1, 2, 3}, {2, 3, 4}, {4, 5, 6}};
    printer(vt);

    vector<vector<vector<int>>> vtt{{{1, 2, 3}, {2, 3, 4}}, {{4, 5, 6}, {5, 6, 7}}};
    printer(vtt);

    char buffer[] = "hello world";
    printer(buffer);

    map<int, int> mp;
    mp[1] = 1;
    printer(mp);

    set<string> ss{"hello", "world"};
    printer(ss);

    array<int, 5> ar{1, 2, 3, 4, 5};
    printer(ar);

    vector<array<int, 6>> varr{{1, 2, 3, 4, 5, 6}, {1, 2, 3, 4, 5, 6}};
    printer(varr);

    array<array<int, 1>, 1> arra{{1}};
    printer(arra);
}

输出

g++ main.cpp -std=c++20