如何让C++模板函数支持std::initializer_list的位表示输出

我实现了一个bit_representation模板函数，可输出普通类型的内存位表示，代码如下：

template<typename T>
std::string bit_representation(T &&type) {
    uint8_t data[sizeof(T)];
    if constexpr (std::is_copy_constructible_v<T>) {
        T tmp(type);
        std::memcpy(&data, &tmp, sizeof(T));
    } else if (std::is_move_constructible_v<T>) {
        T tmp(std::move(type));
        std::memcpy(&data, &tmp, sizeof(T));
    }

    auto get_byte_repr = [](uint8_t byte) -> std::string {
        std::string s;
        constexpr size_t byte_size = sizeof(uint8_t) * 8;
        s.resize(byte_size);
        for (int i = byte_size - 1; i >= 0; --i) {
            s[i] = ((byte & 1) == 1) ? '1' : '0';
            byte >>= 1;
        }
        return s;
    };
    std::string result;

    for (int i = sizeof(T) - 1; i >= 0; --i) {
        result += get_byte_repr(data[i]);
    }
    return result;
}

该函数对基础类型、结构体等均可正常输出位表示，但调用bit_representation({1,2,3,4})时，编译器无法推导模板参数T。希望通过SFINAE实现对std::initializer_list<T>的支持，使其能输出该类型的内存位表示，预期输出为00000000000000000000000000000001000000000000000000000000000000100000000000000000000000000000001100000000000000000000000000000100。请问如何推导std::initializer_list参数并编写对应逻辑？

要实现std::initializer_list<T>的参数推导与位表示输出，可以通过重载模板函数结合类型推导来完成，具体步骤如下：

1. 新增std::initializer_list<T>专用重载 #

直接新增一个模板重载，专门接收std::initializer_list<T>类型参数，编译器遇到列表初始化参数时会自动推导元素类型T：

#include <initializer_list>

template<typename T>
std::string bit_representation(std::initializer_list<T> init_list) {
    std::string result;
    // 遍历列表中每个元素，复用原函数生成单个元素的位表示并拼接
    for (const auto& elem : init_list) {
        result += bit_representation(elem);
    }
    return result;
}

2. 优化原函数的安全性与简洁性（可选） #

原函数的拷贝/移动判断可以简化，同时添加类型断言避免不安全的memcpy操作：

#include <type_traits>
#include <cstring>
#include <string>

template<typename T>
std::string bit_representation(T&& type) {
    // 仅允许可平凡拷贝的类型，避免memcpy的未定义行为
    static_assert(std::is_trivially_copyable_v<std::decay_t<T>>, 
                  "Only trivially copyable types are supported");

    using DecayedT = std::decay_t<T>;
    uint8_t data[sizeof(DecayedT)];
    DecayedT tmp(std::forward<T>(type));
    std::memcpy(data, &tmp, sizeof(tmp));

    auto get_byte_repr = [](uint8_t byte) -> std::string {
        std::string s(8, '0');
        for (int i = 7; i >= 0; --i) {
            s[i] = (byte & 1) ? '1' : '0';
            byte >>= 1;
        }
        return s;
    };

    std::string result;
    // 保持原函数从高位字节到低位字节的拼接顺序
    for (int i = sizeof(tmp) - 1; i >= 0; --i) {
        result += get_byte_repr(data[i]);
    }
    return result;
}

3. 验证调用 #

此时调用bit_representation({1,2,3,4})，编译器会自动推导T为int，匹配std::initializer_list<int>的重载，逐个处理每个int元素并拼接位字符串，得到预期输出。

核心说明 #

• 重载std::initializer_list<T>版本后，编译器可直接推导列表元素类型，解决原调用的模板参数推导失败问题。
• 复用原函数处理单个元素的逻辑，避免重复编写位转换代码，保证逻辑一致性。
• 添加static_assert可以提前拦截非平凡拷贝类型，避免memcpy导致的未定义行为。

内容的提问来源于stack exchange，提问作者vanyabeat