Início / coding / Perguntas / 79416562
Accepted
DRH
Asked: 2025-02-06 09:03:28 +0800 CST

std::three_way_comparable retorna falso para um `operator<=>` não padrão

  • 772

Estou tentando definir operator<=>uma classe, porém quando especifico uma implementação não padrão, std::three_way_comparableretorna false:

#include <cstdio>
#include <compare>

using namespace std;

struct UDTC
{
    int i_;
    UDTC(int i) : i_(i) {}

#if 1
    friend std::strong_ordering operator<=>(const UDTC &lhs, const UDTC &rhs) {
        return lhs.i_ <=> rhs.i_;
    }
#else
    friend std::strong_ordering operator<=>(const UDTC &lhs, const UDTC &rhs) = default;
#endif
};


int main(void)
{
    if constexpr (std::three_way_comparable<UDTC>) {
        fprintf(stderr, "UDTC is three_way_comparable\n");
    } else {
        fprintf(stderr, "UDTC is NOT three_way_comparable\n");
    }
}

Quando executo isso com o Visual Studio 2022 ou GCC 12, se a <=>função for padrão, three_way_comparableretorna true. Se eu fornecer minha própria implementação, ele retorna false. Só posso supor que minha implementação esteja de alguma forma incompleta, mas não estou vendo o que estou perdendo.

c++

1 respostas

  1. Best Answer

    De acordo com cppreference , concept std::three_way_comparable<T>inclui (somente exposição) concept __WeaklyEqualityComparableWith<T, T>. Em outras palavras, para satisfazer esse conceito, struct UDTCtambém precisa de operator==. Quando você usa operator<=>(/*...*/) = default, o compilador também gera operator==para você. Se você definir seu próprio operator<=>, você também deve definir operator==. Se você adicionar

      friend bool operator==(const UDTC &lhs, const UDTC &rhs) {
        return lhs.i_ == rhs.i_;
    }

    para o programa, ele imprime "UDTC é three_way_comparable" como esperado.

    • 3

relate perguntas