为何受std::derived_from约束的C++嵌套模板参数无法被推导？

先看复现问题的代码示例：

#include <concepts>
#include <string>

template <typename T>
struct TemplatedBase {};

struct Derived : TemplatedBase<std::string> {};

// 无法自动推导ModelType的版本
template <typename Container, typename ModelType>
requires std::derived_from<Container, TemplatedBase<ModelType>>
ModelType getItemFromConstrained(const Container&) {
    return {};
}

// 可以正常推导的版本
template <template <typename> typename BaseTemplate, typename ModelType, typename Container>
requires std::derived_from<Container, BaseTemplate<ModelType>>
ModelType getItemFromTemplated(const Container&) {
    return {};
}

int main() {
    Derived d;
    // 编译错误：无法推导ModelType
    // auto item1 = getItemFromConstrained(d);
    // 必须显式指定模板参数
    auto item1 = getItemFromConstrained<Derived, std::string>(d);
    
    // 正常推导，无需显式指定
    auto item2 = getItemFromTemplated(d);
}

核心原因：约束不参与模板推导 #

C++模板推导遵循**“先推导参数，后验证约束”的规则，requires子句里的std::derived_from这类约束，本质是事后验证条件**，而非推导的引导线索。

1. 为什么getItemFromConstrained无法推导ModelType？ #

当调用getItemFromConstrained(d)时：

• 编译器能轻松推导Container为Derived，但ModelType没有任何直接的推导依据。
• std::derived_from<Container, TemplatedBase<ModelType>>这个约束，只会在ModelType被确定之后，检查Derived是否确实继承自TemplatedBase<ModelType>。编译器不会因为这个约束，主动去遍历Derived的所有基类，尝试匹配TemplatedBase<...>的实例来反推ModelType——约束不承担“逆向推导”的职责。

2. 为什么模板模板参数版本能正常推导？ #

getItemFromTemplated中的BaseTemplate是模板模板参数（即接受模板作为参数的模板），此时编译器的推导逻辑完全不同：

• 编译器看到Container（即Derived）继承自TemplatedBase<std::string>，可以直接匹配到BaseTemplate就是TemplatedBase，同时从这个模板实例中提取出ModelType为std::string。
• 这种推导是基于模板实例的结构匹配，属于模板推导的核心能力之一，和约束无关——约束只是最后验证一下这个推导结果是否合法。

总结 #

约束的作用是“过滤合法的推导结果”，而不是“帮助编译器找到推导结果”。如果需要从类的基类模板中提取嵌套参数，要么用模板模板参数的方式，要么自己实现类型萃取工具来提取基类的模板参数。

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