如果类型参数约束指定了类型，为什么类型参数不能从用法中推断出来？

类型参数不能从用法中推断出来的原因是因为类型参数的约束是在编译时进行的，而用法是在运行时确定的。编译器无法根据用法推断出类型参数的具体类型，因为在编译时无法确定用法中的具体值或对象的类型。

类型参数的约束是通过在函数或类的定义中使用泛型来实现的。通过在定义中指定类型参数的约束条件，编译器可以确保在使用该函数或类时，传入的参数满足约束条件。这样可以提高代码的类型安全性和可读性。

例如，假设有一个泛型函数，它接受一个类型参数 T，并要求 T 必须实现某个接口。在函数体内部，可以使用 T 类型的方法或属性。但是，编译器无法根据函数的用法推断出 T 的具体类型，因为在调用函数时传入的参数可能是不同的类型。

为了解决这个问题，我们可以在调用函数时显式地指定类型参数，或者在函数定义中使用默认类型参数。这样编译器就能够根据指定的类型参数来进行类型检查和推断。

总结起来，类型参数不能从用法中推断出来是因为类型参数的约束是在编译时确定的，而用法是在运行时确定的。为了确保类型安全性和可读性，需要在定义中指定类型参数的约束条件，或者在调用时显式地指定类型参数。