Project:ISO JTC1/SC22/WG21: Programming Language C++
Number:P1380R0
Date:2018-11-26
AudienceCWG, LWG
Revises:None
Author:Lawrence Crowl
ContactLawrence@Crowl.org

Ambiguity and Insecurities with Three-Way Comparison

Lawrence Crowl, Lawrence@Crowl.org

Abstract

The definition of non-type template parameter equivalence is ambiguous. We strengthen the definition to ensure that compilation is dependable.

Several comparison function definitions fail to meet the goal of ensuring sound comparison within programs. Weakening the results of these functions can mitigate much of the problem.

We provide for weak ordering on floating-point types.

Introduction

P0100R0 Comparison in C++ introduced three-way comparison with the express purpose of making comparison sound. Programmers should be sure that their comparison operations meet the constraints of the algorithms they use.

The current definitions of several standard functions infer a strong ordering from existing < and == operators. Unfortunately, doing so has a strong chance of making the program unsound. A strong ordering on user-defined types takes special care to ensure substitutability. As a consequence, it is easy to write a class that fails to provide strong ordering. So, we should not infer a strong ordering from non-3way operators.

In contrast, user-defined types are much more likely to provide a weak ordering. Infering a weak ordering from existing operators is far less problematic. However, there is still the potential to strengthen a partial ordering into a weak ordering. As currently defined, this strengthening causes silent failure. An exception is preferable to silent failure.

The definition of non-type template parameter equivalence appeals to the <=> operator, but fails to specify the strength. Specifying a strong ordering solves the problem.

Note that using strong_compare or strong_equal instead of operator <=> for non-type template argument equivalence would enable more types as non-type template parameters, particularly floating-point types. We make no proposal here, but merely float the idea.

There are reasons to wish for a weak ordering on floating-point types, particularly when keeping sets of 'normally distinguishable' values. We provide the means to do so.

Wording

All wording edits are relative to N4778 Working Draft, Standard for Programming Language C++.

10.10.1 Defaulted comparison operator functions[class.compare.default]

P1185R0 <=> != == proposes a "structural equality operator" (section 4.1 of the paper, section 10.10.1 of the standard). This proposal calls out floating-point types as an exception, rather than calling out the fact that the comparison is not strong. This approach means that the standard has a stealth defect if it ever introduces a new built-in type without strong equality.

Edit the proposal in P1185R0 section 4.1 as follows.

An == (equal to) operator is a structural equality operator if:

A type T has strong structural equality if, for a glvalue x of type const T, x == x is a valid expression of type bool and invokes a structural equality operator.

10.10.3 Other comparison operators [class.rel.eq]

When an explicitly defaulted function is deleted, users are likely to be confused.

(2) The operator function with parameters x and y is defined as deleted if ....

I provide no specific remedy to this confusion, but hope that implementations may diagnose this occurence.

12.5 Type equivalence [temp.type]

Template non-type argument equality is ambiguous; it fails to specify the strength of the equality. Since this ambiguity affects the application binary interface, we should be cautious and require strong equality.

Edit paragraph 1.5 as follows.

(1.5) — their remaining corresponding non-type template-arguments have the same type and value after conversion to the type of the template-parameter, where they are considered to have the same value if they compare equal std::strong_ordering::equal with operator<=>, and

P1185R0 <=> != == proposes a "structural equality operator" (section 4.1 of the paper, section 10.10.1 of the standard). With adoption of P1185R0 or a successor, the above paragraph should be rewritten using strong structural equality.

Edit paragraph 1.5 as follows.

(1.5) — their remaining corresponding non-type template-arguments have the same type and value after conversion to the type of the template-parameter, where they are considered to have the same value if they compare equal with a strong structural equality operator<=>, and

16.11.4 Comparison algorithms [cmp.alg]

Constructing a strong ordering from the existence of < and == has a strong chance of making the program unsound. Furthermore, most algorithms do not need a strong ordering, so the risk outweighs the reward. Programmers that need the strong ordering can write it.

Remove paragraph 1.4.

(1.4) — Otherwise, if the expressions a == b and a < b are each well-formed and convertible to bool, then

The strong_order function has a special case for floating point.

(1.1) — If numeric_limits<T>::is_iec559 is true, returns a result of type strong_ordering that is consistent with the totalOrder operation as specified in ISO/IEC/IEEE 60559.

Because standard floating point provides only a partial ordering, we have a gap in the comparison strengths at weak ordering. So, a similar special case is needed for a weak ordering. This special case should be consistent (P0100R2, Consistence Between Relations) with both totalOrder and the partial order implied by the operators.

Add a new subparagraph before (2.1) as follows.

(2.05) — If numeric_limits<T>::is_iec559 is true, returns a result of type weak_ordering that has the following equivalence classes ordered from lesser to greater.

Rather than solently promote partial orders to weak orders, we propose to detect comparisons that are not weak and throw an exception.

Edit paragraph 2.3 as follows.

(2.3) — Otherwise, if the expressions a == b and a < b are each well-formed and convertible to bool, then

Similarly, the definition for partial_order incorrectly strengthens a partial ordering.

Edit paragraph 3.3 as follows.

(3.3) — Otherwise, if the expressions a == b and a < b are each well-formed and convertible to bool, then

Similarly to strong_order, strong_equal unsafely strengthens the order of the operators.

Delete paragraph (4.3).

(4.3) — Otherwise, if the expression a == b is well-formed and convertible to bool, then

Paragraph 5 defining weak_order is probably an acceptable default. Programmers that use operator == for other purposes will need to delete the overload.

23.7.11 Three-way comparison algorithms [alg.3way]

As before, inferring a strong_ordering or a strong_equality from < and == is unsound. Again, a weak ordering, with protection, is probably acceptable.

Edit paragraph 1.2 for compare_3way as follows.

(1.2) — Otherwise, if the expressions a == b and a < b are each well-formed and convertible to bool, returns strong_ordering::equal weak_ordering::equivalent when a == b is true, otherwise returns strong_ordering::less weak_ordering::less when a < b is true, and otherwise returns strong_ordering::greater when b < a is true, and otherwise throws std::domain_error.

(1.3) — Otherwise, if the expression a == b is well-formed and convertible to bool, returns strong_equality::equal weak_equality::equivalent when a == b is true, and otherwise returns strong_equality::nonequal weak_equality::nonequivalent.

P1186R0 When do you actually use <=> Proposes to move this function definition into the definition for operator <=>. If so done, the edits here would apply to operator <=>.