Referências universais: Por que deduzir que isso não possui std::forward?

Geralmente a referência de encaminhamento no parâmetro de objeto explícito deve ser encaminhada como qualquer outra referência de encaminhamento:

auto member_func(this auto &&self) {
    return std::forward<decltype(self)>(self).member_variable;
}

Em geral não há nada diferente aqui de outras referências de encaminhamento. Você não informou de onde obteve o código, então não sei dizer por que o autor decidiu não encaminhar ou se é um problema neste caso específico.

No entanto, como este é o parâmetro de objeto explícito de uma função membro, normalmente você pode assumir qual tipo selfterá, ao contrário da maioria das referências de encaminhamento em modelos de função gerais. Será o tipo da classe em que está escrito ou um tipo de classe derivado.

Nesse caso, é razoável supor que member_variablese referirá ao membro member_variabledeclarado na mesma classe. E você sabe que tipo esse membro tem.

Agora suponha que seja assim:

struct A {
    int member_variable;
    auto member_func(this auto &&self) { return self.member_variable; }
};

Então, o tipo de self.member_variablepode ser razoavelmente assumido como sendo inte, para intisso, não faz absolutamente nenhuma diferença se ele é retornado por valor ( auto) de uma expressão lvalue ou rvalue. A std::forwardchamada seria conhecida por não ter efeito.

Problemas com isso:

1. A função membro não está restrita ao tipo de classe em que ela aparece. Se o tipo de classe não estiver marcado finalou a função de membro declarada private, então será possível que ela seja chamada em um tipo de classe derivado que também defina um member_variabletipo diferente. Isso seria encontrado return self.member_variable;e poderia ter um tipo em que o encaminhamento pudesse fazer a diferença, por exemplo std::string.

   Porém, não é óbvio para mim se o autor do código considerou esse cenário, ou se eles realmente desejam sempre retornar o valor member_variableda própria classe. Nesse caso deveria ser self.A::member_variableou algo assim. Ainda existem problemas com herança múltipla e herança privada nesse caso. (No entanto, existe uma solução para herança privada.)

2. Se a referência de encaminhamento não for encaminhada, não há sentido em ter o parâmetro de objeto explícito this auto&&neste caso. Poderia simplesmente ser declarado como this const auto&ou this const A&, o que também evitaria o problema mencionado acima. Na verdade, poderia ser simplesmente uma função de membro não estática normal, sem parâmetro de objeto explícito.

3. Como ponteiros de função para funções-membro explícitas podem ser formados, é possível chamar a função-membro indiretamente por meio de tal ponteiro com qualquer outro tipo for self. Da mesma forma, uma conversão implícita para qualquer tipo pode ser forçada especificando explicitamente o argumento do modelo para o autotipo. No entanto, estes não são casos de uso normais e a função provavelmente não precisa considerá-los.

Além disso, em geral, é importante lembrar o que std::forwardsignifica usar. Aplicar ingenuamente std::forwarda qualquer aparência de uma variável que seja uma referência de encaminhamento é errado. Isso std::forwardfaz com que a expressão à qual é operando consuma (potencialmente) o estado do objeto. Geralmente só pode ser aplicado uma vez no corpo da função e depois o objeto não deve mais ser usado.

No caso de uma expressão de acesso de membro como

return std::forward<decltype(self)>(self).member_variable;

é um pouco diferente: aqui std::forwardprovoca consumo potencial apenas do member_variablemembro. Os membros restantes ainda têm a garantia de estar em seu estado anterior. Portanto, é possível se inscrever std::forwarduma vez para cada membro individualmente.