Início / coding / Perguntas / 79545625
Accepted
alagner
Asked: 2025-03-31 14:35:38 +0800 CST

C++20 SFINAE trailing vs leading requer em função membro em um modelo de classe

  • 772

Eu tenho um pedaço de código SFINAE C++17

#include <type_traits>

template<typename>
constexpr bool dependentFalse = false;

template<typename T>
struct IAmEmpty
{
    template<typename U=T, std::enable_if_t<dependentFalse<U>>* =nullptr>
    auto deleteMe()
    {}

};

template struct IAmEmpty<int>;

https://godbolt.org/z/vWW3favWj

Estou tentando retrabalhar isso para C++20 e me pergunto:

#include <type_traits>

template<typename T>
struct IAmEmpty
{
    template<typename U=T>
    requires false
    void deleteMe() {}

    void deleteMeToo() requires false {}
};

template struct IAmEmpty<int>;

Até onde eu entendo, o líder requer é próximo ao SFINAE pré-C++20 obtido usando eg enable_ife void_tsimilares. Portanto, deleteMeé na verdade um modelo de função membro. deleteMeToonão é um modelo de função (ou estou errado aqui?). Exemplo ao vivo: https://godbolt.org/z/rGzx8dz3f

Existem situações em que deleteMee deleteMeToorealmente se comportam de forma diferente e deve-se ter cuidado ao preferir os requisitos finais em vez dos principais?

c++

1 respostas

  1. Best Answer

    quando preferir os requisitos finais em vez dos iniciais?

    template <..> requires (..) void foo(); é equivalente a template <..> void foo() requires (..); Portanto, é apenas estilo (ou possivelmente conveniência usar parâmetro de função em requires).

    A função sem modelo permite somente requiresdepois.

    Existem situações em que deleteMerealmente deleteMeToonos comportamos de forma diferente e devemos nos importar?

    Uma é uma função de modelo, enquanto a outra não é (elas ainda são entidades de modelo, da classe).

    E as funções de modelo e não modelo têm algumas diferenças. O modelo tem/permite

    • pesquisa de duas fases
    • ponto de instanciação
    • sobrecargas que diferem apenas pelo seu tipo de retorno
    • ...

    Para migração, não há pontos para usar o modelo (que foi adicionado apenas para SFINAE), então

    // C++17
template<typename T>
struct IAmEmpty
{
    template <typename U=T, std::enable_if_t<some_condition_v<U>>* = nullptr>
    auto deleteMe()
    {}
};

    se tornaria

    // C++20
template<typename T>
struct IAmEmpty
{
    auto deleteMe() requires some_condition_v<T> {}
};

    Você pode considerar transformar características some_condition_vem conceitos para permitir a subsunção .

    • 3

relate perguntas