为什么指针衰减会影响 C 函数模板中的重载解析？

指针衰减和函数重载解析

在 C 中，重载解析旨在为给定的参数集选择最匹配的函数。当多个函数都是可行的候选者时，首选转换成本最小的函数。

考虑以下打印字符数组长度的函数模板：

template <size_t N>
void foo(const char (&s)[N]) {
    std::cout << "array, size=" << N - 1 << std::endl;
}

当调用 foo( “hello”），它成功识别了模板特化并输出“array, size=5”。然而，扩展 foo 以支持非数组场景会带来歧义。

void foo(const char* s) {
    std::cout << "raw, size=" << strlen(s) << std::endl;
}

现在，调用 foo("hello") 会令人惊讶地打印“raw, size=5”，尽管模板特化看起来像是更精确的匹配。

歧义的原因

之所以会出现歧义，是因为数组本质上是指向其第一个元素的指针，使得数组到指针的转换成本低廉。根据 C 重载解析规则，需要较少转换操作的重载是受青睐的。在这种情况下，数组到指针的转换是一种低成本的左值转换，其排名高于必要的模板参数推导。

解决歧义

为了确保调用数组函数重载，解决方法是将非数组重载定义为函数模板，如下所示好吧：

template <typename T>
auto foo(T s)
    -> std::enable_if_t<std::is_convertible<T, char const*>{}>
{
    std::cout << "raw, size=" << std::strlen(s) << std::endl;
}

这确保了模板专业化被优先考虑，因为部分排序开始了。

以上是为什么指针衰减会影响 C 函数模板中的重载解析？的详细内容。更多信息请关注PHP中文网其他相关文章！