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?