Устранение ошибки компилятора при вызове большинства производных методов с помощью ссылки «выведено это»
У меня есть следующий фрагмент кода, который использует шаблон «вывести это»:
#include <print>
struct base
{
template <typename Self>
void invoke(this Self& self)
{
self.foo();
}
};
struct derived : base
{
void foo() { std::println("derived::foo()"); }
};
int main()
{
derived d;
d.invoke(); // ok
base& bref = d;
bref.invoke(); // error
base* bptr = &d;
bptr->invoke(); // error
return 0;
}
Компилятор выдает следующую ошибку:
<source>:8:12: error: no member named 'foo' in 'base'
8 | self.foo();
| ~~~~ ^
<source>:23:6: note: in instantiation of function template specialization 'base::invoke<base>' requested here
23 | bref.invoke(); // error
| ^
Учитывая эту ошибку, не является ли базовый тип, используемый для «выведенного этого», тем же типом, который можно было бы ожидать при использовании обычного полиморфизма во время выполнения?
@jarod42 Jarod42 Понятно, так это что-то вроде f-ограниченного и классового класса?
Ответы 1
Учитывая ошибку, сгенерированную компилятором, не является ли базовый тип, используемый для вывода, тем же типом, который можно было бы ожидать при использовании обычного полиморфизма во время выполнения?
Выведенный this — это полиморфизм времени компиляции, как и шаблоны в целом.
При любом использовании invoke в программе тип Self будет выведен (во время компиляции) из объектного выражения вызова, функция foo будет искаться в этом типе, и только эта функция может быть вызвана. Никакого полиморфизма во время выполнения не требуется. Для полиморфизма во время выполнения вам понадобятся virtual функции.
Когда вы вызываете invoke для выражения типа base, а не derived, тогда Self и тип self в invoke также будет base. Поиск foo в base ничего не найдет, потому что вы никогда не объявляли в нем функцию foo.
Для полиморфизма во время выполнения вам необходимо объявить foo как virtual в base, и тогда он будет работать так, как вы ожидаете, независимо от того, вызывается ли invoke для базового или производного типа. Однако в этом случае функции вообще не нужно использовать deduced-this. Обычная нестатическая функция-член вполне подойдет, как и прямой вызов foo вместо прохождения invoke.
Selfвыводится (как и ожидалось) какBaseв случаях ошибок, и действительноBaseне имеетfoo.