为什么在 C 11 的 `std::make_pair` 中显式指定模板参数无法编译？

指定模板参数的 C 11 make_pair 无法编译

Q:

在 g 4.7 中使用 C 11 时，尝试使用带有显式指定模板参数的 std::make_pair 函数编译代码失败。目标是了解此错误的原因。

A:

make_pair 的错误用法

std::make_pair用于自动模板参数推导。显式指定模板参数可以防止这种推导，从而导致实际参数类型和预期参数类型之间不匹配。该函数采用 T&& 和 U&& 类型的参数，其中 T 和 U 是模板类型参数，实际上类似于：

template<typename T, typename U>
make_pair(T&& argT, U&& argU);

参数类型差异

指定模板参数时明确地，没有发生参数推导。相反，在函数模板中直接使用指定的类型，结果是：

make_pair(std::string&& argT, int&& argU);

在这种情况下，两个参数类型都是右值引用，只能绑定到右值。但是，参数之一 s 是左值（现有对象），这使其与预期的右值引用类型不兼容。因此，函数模板无法匹配提供的参数，从而导致编译错误。

make_pair 的正确用法

要解决此问题，请删除显式模板参数规范并允许自动推论参数。在这种情况下，编译器可以将 T 推导为 std::string，因为 s 是 std::string 类型的左值，从而导致 std::string& 作为最终参数类型。类似地，U 被推导为 int，参数 7 是 int 类型的右值，结果是 int&&。这些参数类型与函数模板正确匹配，从而可以成功编译。

模板通用指南

对于模板，通常建议让编译器执行模板参数推导只要有可能。仅在绝对必要时才应显式指定模板参数。

以上是为什么在 C 11 的 `std::make_pair` 中显式指定模板参数无法编译？的详细内容。更多信息请关注PHP中文网其他相关文章！