Início / coding / Perguntas / 77253149
Accepted
Ahmed AEK
Asked: 2023-10-08 18:03:47 +0800 CST

parâmetro de função padrão baseado no tipo de entrada

  • 772

Eu tenho um caso em que quero que o parâmetro de função padrão mude quando o tipo de entrada especificou certas características, por exemplo, um objeto pmr tem uma característica de alocador e uma get_allocatorfunção, então como faço isso? Eu apreciaria uma solução c++ 20 que não envolva SFINAE, a menos que seja impossível, talvez usando if constexpr ou conceitos, não quero escrever duas funções, a menos que seja impossível.

template<typename T>
void new_deleter(T* ptr)
{
    delete ptr;
}

template <typename T>
void pmr_deleter(T* ptr)
{
    ptr->get_allocator().delete_object(ptr);
}

template<typename T>
using deleter_t = void (*)(T*);

// use pmr_deleter by default when possible
template<typename T>
void delete_object(T* ptr, deleter_t<T> deleter = &new_deleter<T>)
{
    deleter(ptr);
}

Editar: graças à resposta descobri o seguinte padrão, que poderia ser facilmente adaptado aos conceitos e ao contexto.

template<typename T>
deleter_t get_default_deleter() {return &new_deleter<T>;}

template<typename T>
deleter_t get_default_deleter() 
requires requires (T* ptr) {ptr->get_allocator();}
{
 return &pmr_deleter<T>;
}

template<typename T>
void delete_object(T* ptr, deleter_t<T> deleter = get_default_deleter<T>())
{
    deleter(ptr);
}
c++

2 respostas

  1. Best Answer

    Você pode sobrecarregar as funções e aproveitar o fato de que funções mais restritas serão selecionadas em vez de funções menos restritas.

    // Default delete
template<typename T>
void delete_object(T* ptr) {
    delete ptr;
}

// This will be selected if ptr->get_allocator().delete_object(ptr) is well formed
template<typename T>
void delete_object(T* ptr) 
    requires requires { ptr->get_allocator().delete_object(ptr); } 
{
    ptr->get_allocator().delete_object(ptr);
}

// Or explicitly specify the deleter if necessary
template<typename T>
using deleter_t = void (*)(T*);

template<typename T>
void delete_object(T* ptr, deleter_t<T> deleter) {
    deleter(ptr);
}
    • 1

  2. Não há necessidade de usar duas sobrecargas, você pode simplesmente usar if constexprno corpo da função

    template<typename T>
void delete_object(T* ptr) {
  if constexpr (requires { ptr->get_allocator().delete_object(ptr); })
    ptr->get_allocator().delete_object(ptr); // pmr deleter
  else
    delete ptr; // new deleter
}
    • 1

relate perguntas