How Do Transparent Comparators Enable Heterogeneous Lookup in C Associative Containers?

Transparent Comparators for C Associative Containers

Understanding the Concept of Transparent Comparators

In C 14, associative containers introduced a new concept known as "transparent comparators." According to the standard, the member function templates find, count, lower_bound, upper_bound, and equal_range only participate in overload resolution if the type Compare::is_transparent exists.

A transparent comparator is a type that defines a nested is_transparent type. This type signals to the associative container that it should consider the comparator to be transparent for heterogeneous lookup. As a result, the container can now perform comparisons between the container's key type and different types that are comparable to the key type.

Benefits of Transparent Comparators

Transparent comparators solve the problem of heterogeneous lookup in associative containers. Traditionally, containers could only be searched with keys of the same type as the container's key type. With transparent comparators, containers can be searched with values that are comparable to the key type but not necessarily of the same type.

Implementing Transparent Comparators

C 14 provides a library template called less, which can be used to define a transparent comparator. The less template has a default implementation that specializes void and allows any types to be compared. By specifying std::less, where Cmp is a transparent comparator, associative containers can enable heterogeneous lookup.

Impact on Standard Containers

The introduction of transparent comparators changes the behavior of associative containers only if a transparent comparator is used. By default, containers retain their original behavior. When using a transparent comparator, such as std::less, the container gains the ability to perform heterogeneous lookup.

In the example provided, std::set> would have a transparent comparator, allowing for heterogeneous lookup, while std::set> would not.

The above is the detailed content of How Do Transparent Comparators Enable Heterogeneous Lookup in C Associative Containers?. For more information, please follow other related articles on the PHP Chinese website!