当相同的约束必须推导出不同的类型时，为什么将概念放到类型说明符中会导致类型推导失败？

当相同的约束必须推导出不同的类型时，将概念放到类型说明符中会导致类型推导失败的原因是，类型说明符是用来显式指定变量或表达式的类型的，而类型推导是根据上下文和约束来自动推导变量或表达式的类型。当概念放到类型说明符中时，编译器会根据类型说明符的信息进行类型推导，但由于相同的约束可能会导致不同的类型，编译器无法确定具体的类型，从而导致类型推导失败。

在这种情况下，可以考虑使用模板来解决类型推导失败的问题。模板是一种通用的编程机制，可以根据上下文和约束来推导出具体的类型。通过使用模板，可以将概念作为模板参数传递，从而在编译时根据具体的约束推导出不同的类型。

举例来说，假设有一个函数模板 template<typename T> void foo(T value)，其中 T 是一个模板参数。如果将概念放到类型说明符中，例如 foo<int>(concept)，编译器无法确定 concept 的具体类型，导致类型推导失败。但如果使用模板参数来传递概念，例如 foo<Concept>(value)，编译器可以根据具体的约束推导出 Concept 的类型，从而解决类型推导失败的问题。

总结起来，将概念放到类型说明符中会导致类型推导失败，因为类型说明符是用来显式指定类型的，而类型推导是根据上下文和约束来自动推导类型的。在这种情况下，可以考虑使用模板来解决类型推导失败的问题。