Início / coding / Perguntas / 79181221
Accepted
Pavel
Asked: 2024-11-12 21:03:06 +0800 CST

Sobre o tipo de um ponteiro para um método de classe usando dedução this

  • 772

O tipo de um ponteiro para um método de classe usando dedução this corresponde ao tipo de um ponteiro para uma função livre:

#include <iostream>

struct TA
{
   void Foo(this auto&& self)
   {
       std::cout << "Foo call\n";
   }
};

void test_TA()
{
    TA  a;
    void (*fun_ptr)(TA&) = &TA::Foo<TA&>;
    (*fun_ptr)(a);
}

int main()
{
    test_TA();
}

Isso é um tanto contraintuitivo. Por que esse design foi adotado? Há alguma dificuldade para compiladores em usar o tipo comum de um ponteiro para um método de classe ( void (TA::*mem_ptr)() &) neste caso? Seria intuitivo.

c++

1 respostas

  1. Best Answer

    No artigo, há uma FAQ sobre isso :

    6.3 Tipos de ponteiros de função

    Uma pergunta válida a ser feita é qual deve ser o tipo de funções this-annotated que têm uma função membro equivalente? Há apenas duas opções, cada uma com uma compensação. Por favor, assuma a existência dessas três funções:

    struct Y {
    int f(int, int) const&;         // exists
    int g(this Y const&, int, int); // this paper
    int h(this Y, int, int);        // this paper, by value
};

    gtem um equivalente atual ( f), enquanto hnão tem. &Y::hO tipo de deve ser um ponteiro de função regular.

    Se permitirmos gque o tipo de seja um ponteiro para uma função-membro, teremos não uniformidade entre os tipos de he g. Também teremos problemas de implementação porque os tipos em que um modelo pode resultar não são uniformes (este é um modelo para uma função-membro ou uma função livre? Surpresa, são os dois!).

    Também obtemos compatibilidade futura com qualquer proposta concebível para métodos de extensão - estes também terão que ser funções livres por necessidade, aproximadamente pelos mesmos motivos.

    O artigo originalmente propôs o contrário, mas isso foi alterado para a redação atual por meio de contribuições do EWG em Colônia, em 2018.

    • 6

relate perguntas