C++20如何实现适配initializer_list的std::convertible_to约束效果

{1,2,3,4,5}属于无类型花括号初始化列表，是C++模板推导的非推导上下文。你当前的bind重载中，std::initializer_list<data_t>的data_t属于待推导模板参数，编译器无法从无类型初始化列表推导出data_t的具体类型，哪怕第一个Wrapper参数已经明确了data_t是std::int64_t，模板推导阶段也会优先校验所有参数的推导结果，推导失败直接报错。
直接调用set_data能正常运行的原因是：set_data是Wrapper<data_t>的成员函数，调用时data_t已经由Wrapper实例的类型确定，成员函数的std::initializer_list<data_t>参数类型是固定的，无类型花括号列表可以自动隐式转换为对应类型，元素也会自动做类型转换。
另外你当前的第二个bind实现存在笔误：参数名是a_valueList，但调用set_data时传的是a_value，需要先修正这个问题。

方案1：使用std::type_identity_t关闭第二个参数的模板推导 #

这是成本最低、完全满足你需求的方案，通过std::type_identity_t把第二个参数中的data_t标记为非推导上下文，data_t只会从第一个Wrapper参数推导，推导完成后第二个参数的类型就固定为std::initializer_list<data_t>，无类型花括号列表可以自动适配，元素自动转换类型。
修改后的bind重载代码如下：

#include <type_traits>

template<typename data_t>
void bind(Wrapper<data_t>& a_data, std::initializer_list<std::type_identity_t<data_t>> a_valueList)
{
    a_data.set_data(a_valueList);
}

修改后直接调用bind(iA, {1,2,3,4,5});即可正常编译运行，不需要手动强转元素类型。

方案2：扩展支持任意可转换元素的范围类型 #

如果你希望bind不仅支持std::initializer_list，还支持std::vector、std::array等任意元素可转换为data_t的范围类型，可以自定义约束concept实现：

#include <ranges>

template<typename Range, typename Elem>
concept convertible_to_range = std::ranges::input_range<Range> && 
                               std::convertible_to<std::ranges::range_value_t<Range>, Elem>;

// 增加约束排除单元素可转换的情况，避免和第一个bind重载冲突
template<typename data_t, convertible_to_range<data_t> RangeT>
requires (!std::convertible_to<RangeT, data_t>)
void bind(Wrapper<data_t>& a_data, RangeT&& range)
{
    a_data.set_data(std::forward<RangeT>(range));
}

这个方案兼容性更强，除了初始化列表之外，也支持直接传入其他容器类型。

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