C++模板requires约束下模板参数T推导失败编译错误

这是C++模板推导规则的典型坑点：

• 你的构造函数声明了两个模板参数I和T，I能通过传入的实参t1直接推导为Tuple，但T仅出现在requires约束和函数体里，没有出现在函数签名的可推导位置。
• C++的requires约束只做「校验」不做「推导」：编译器必须先拿到所有模板参数的确定值，才能检查约束是否满足。它不会主动遍历Tuple的继承链找匹配的Iterable<T>基类，更不会枚举所有可能的T来试哪个能满足约束，所以直接抛出无法推导T的错误。
  哪怕你知道Tuple最终继承自Iterable<Element>，这个反推过程不在编译器的自动推导流程里，自然不会生效。

改动最小、也最符合C++泛型代码设计习惯的方案，是让可迭代类型自己对外暴露元素类型，去掉构造函数里没法自动推导的T参数：

• 第一步：在Iterable基类里加内嵌类型别名，所有派生类会自动继承这个定义：

template <typename U>
class Iterable {
public:
    using value_type = U;
    // 原有其他代码
};

• 第二步：重写List的构造函数，只保留可推导的模板参数I，元素类型直接从I的内嵌value_type取：

class List {
public:
    template <typename I>
    requires std::is_base_of_v<Iterable<typename I::value_type>, I>
    explicit List(const I& i) {
        using T = typename I::value_type;
        for (const T& e : i) elems_.emplace_back(e, true);
    }
    // 原有其他代码
};

改完之后传入Tuple时，编译器能直接从Tuple继承到的value_type拿到Element类型，不需要额外推导T，约束检查也能正常通过。

如果不方便改Iterable的定义，也可以写个类型萃取，递归匹配传入类型的基类找到对应的Iterable<U>实例、提取U作为元素类型，或是直接通过begin()返回的迭代器提取值类型，只是实现会更繁琐。

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