C 如何确定模板推导中的偏序？

模板推导中的部分排序过程

当确定类型推导模板的部分排序时，C 标准采用了一个特定的过程，涉及转换后的函数类型的比较。对于涉及的每个模板，通过将每个模板参数替换为唯一的虚构类型来转换原始函数类型。然后，在推导过程中，将转换后的函数类型用作参数模板，而另一个模板的原始函数类型将用作参数模板。

此比较是双向进行的：

• 使用第一个模板的转换类型作为参数模板，使用第二个模板的原始类型作为参数模板。
• 使用转换后的类型第二个模板作为参数模板，第一个模板的原始类型作为参数模板。

如果可以在一个方向上建立匹配，但不能在另一个方向上建立匹配，则确定一个模板比比其他专业。否则，这两个模板都不会被认为更专业。

此过程有助于解决模板推导中的歧义，其中多个模板可能看起来同样适用。通过比较转换后的类型，编译器可以确定哪个模板可以更精确地匹配传递的特定参数。

以上是C 如何确定模板推导中的偏序？的详细内容。更多信息请关注PHP中文网其他相关文章！