Home Backend Development C++ When Does Pointer Decay Override Template Deduction in C Overload Resolution?

When Does Pointer Decay Override Template Deduction in C Overload Resolution?

Nov 29, 2024 pm 06:50 PM

When Does Pointer Decay Override Template Deduction in C   Overload Resolution?

Ambiguity in Overload Resolution: Pointer Decay vs. Template Deduction

In C , when overloaded functions are available, determining which one to call can be ambiguous. One such case involves pointer decay taking precedence over a deduced template.

Root of the Ambiguity

Consider a function that prints the length of a string:

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

foo("hello") // prints array, size=5
Copy after login

To support non-arrays, an additional overload is added:

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

Unexpectedly, the first overload no longer gets called:

foo("hello") // now prints raw, size=5
Copy after login

Pointer Decay vs. Template Deduction

The ambiguity arises because an array is essentially a pointer to its first element. Pointer decay automatically converts an array to a pointer when passing it as an argument. However, template deduction would result in an exact match with the first overload.

According to the C standard, overload resolution prioritizes functions that are not specializations of a function template (except in certain cases). In this instance, the array-to-pointer conversion is an Lvalue Transformation with lower priority than template deduction.

Breaking the Ambiguity

One way to resolve the ambiguity is to define the second overload as a function template as well, enabling partial ordering:

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;
}
Copy after login

By specifying the type constraint, the compiler can deduce that the first overload should be used for arrays, while the second overload handles non-arrays.

In summary, while pointer decay offers a shortcut for accessing the first element of an array, it can lead to unexpected ambiguity in overload resolution when templates are involved. Careful consideration of function overloads and thoughtful use of type constraints are key to avoiding such pitfalls.

The above is the detailed content of When Does Pointer Decay Override Template Deduction in C Overload Resolution?. For more information, please follow other related articles on the PHP Chinese website!

Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot Article Tags

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

SublimeText3 Mac version

God-level code editing software (SublimeText3)

What are the types of values ​​returned by c language functions? What determines the return value? What are the types of values ​​returned by c language functions? What determines the return value? Mar 03, 2025 pm 05:52 PM

What are the types of values ​​returned by c language functions? What determines the return value?

Gulc: C library built from scratch Gulc: C library built from scratch Mar 03, 2025 pm 05:46 PM

Gulc: C library built from scratch

C language function format letter case conversion steps C language function format letter case conversion steps Mar 03, 2025 pm 05:53 PM

C language function format letter case conversion steps

What are the definitions and calling rules of c language functions and what are the What are the definitions and calling rules of c language functions and what are the Mar 03, 2025 pm 05:53 PM

What are the definitions and calling rules of c language functions and what are the

distinct usage and phrase sharing distinct usage and phrase sharing Mar 03, 2025 pm 05:51 PM

distinct usage and phrase sharing

Where is the return value of the c language function stored in memory? Where is the return value of the c language function stored in memory? Mar 03, 2025 pm 05:51 PM

Where is the return value of the c language function stored in memory?

How does the C   Standard Template Library (STL) work? How does the C Standard Template Library (STL) work? Mar 12, 2025 pm 04:50 PM

How does the C Standard Template Library (STL) work?

How do I use algorithms from the STL (sort, find, transform, etc.) efficiently? How do I use algorithms from the STL (sort, find, transform, etc.) efficiently? Mar 12, 2025 pm 04:52 PM

How do I use algorithms from the STL (sort, find, transform, etc.) efficiently?

See all articles