Pavel's questions

De acordo com cppreference :

“Ao chamar uma função (seja a função inline ou não, e seja ou não usada a sintaxe de chamada de função explícita), cada cálculo de valor e efeito colateral associado a qualquer expressão de argumento, ou com a expressão pós-fixada que designa a função chamada, é sequenciado antes da execução de cada expressão ou declaração no corpo da função chamada”.

Alguém poderia explicar o que significa: “ou com a expressão pós-fixada designando a função chamada” e dar um exemplo.

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.