Início / coding / Perguntas / 79006508
Accepted
HolyBlackCat
Asked: 2024-09-20 19:16:25 +0800 CST

Por que `operator==` do std::expected não é compatível com SFINAE?

  • 772

Estou lendo a documentação em std::expected::operator==, e aparentemente não é amigável ao SFINAE. Em vez de "não participa da resolução de sobrecarga se [os tipos não forem eq-comparáveis]", diz "o programa está malformado [nesse caso]".

E de fato:

#include <concepts>
#include <expected>

struct A {};

static_assert(!std::equality_comparable<std::expected<A, A>>);

Esta afirmação falha no MSVC e no Clang com libc++ e causa um erro grave no Clang com MSVC STL.

Mas por que não é compatível com SFINAE?

std::expected<T,U>requer que ambos Te Usejam completos de qualquer forma, então aparentemente nada impede que todas as operações nele sejam compatíveis com SFINAE.

c++

1 respostas

  1. Best Answer

    Acho que isso foi simplesmente ignorado.

    Até abril de 2024, os operator==tipos de bibliotecas semelhantes, como std::pair, std::tuple, std::optional, std::variantetc., também não eram compatíveis com SFINAE nesse sentido.

    Eles foram tornados compatíveis com SFINAE com P2944R3, o que também indica que isso provavelmente aconteceu sem nenhuma intenção por trás disso.

    As mudanças de redação estão listadas no artigo a partir daqui . Se uma cláusula originalmente dizia " Mandates: ", isso significa que se a condição não foi satisfeita, o programa estava malformado (ou seja, um erro grave). Se originalmente dizia " Preconditions: ", então não satisfazer a condição fez com que o programa tivesse um comportamento indefinido. Quando agora diz " Constraints: ", então não satisfazer a condição significa que a sobrecarga não participa da resolução de sobrecarga (ou seja, é amigável ao SFINAE).

    Meu palpite é que isso std::expectedtambém foi esquecido.

    • 4

relate perguntas