Какие фундаментальные ограничения запрещают делать template virtual функции?

struct Foo { template<class T> virtual void foo(const T&) { std::cout << "Not implemented" << std::endl; } }; struct Bar : Foo { virtual void foo(const int&) { std::cout << "int" << std::endl; } virtual void foo(const float&) { std::cout << "float" << std::endl; } }; int main() { Bar bar; bar.foo(1); // int bar.foo(1.0f); // float bar.foo(1.0); // Not implemented return 0; } Как-то так

0

04.03.2021

Sergey Sobolev

при инстанцировании он не сможет понять на этапе компиляции, к какому классу вызов нужно будет отнести. Другими словами, шаблон подставить сможет к базовому классу, но понять, что он относится на самом деле к дочернему - не сможет

0

04.03.2021

Kirill 🚜 Автор вопроса

Sergey Sobolev
при инстанцировании он не сможет понять на этапе к...

Он же сможет определить это в рантайме через vtable

0

04.03.2021

Alexander Karaev

Kirill 🚜
struct Foo { template<class T> virtual void fo...

Member function templates cannot be declared virtual. This constraint is imposed because the usual implementation of the virtual function call mechanism uses a fixed-size table with one entry per virtual function. However, the number of instantiations of a member function template is not fixed until the entire program has been translated. Hence, supporting virtual member function templates would require support for a whole new kind of mechanism in C++ compilers and linkers. In contrast, the ordinary members of class templates can be virtual because their number is fixed when a class is instantiated

0

04.03.2021

Kirill 🚜 Автор вопроса

Alexander Karaev
Member function templates cannot be declared virtu...

Нашли проблему конечно.... Ладно, спасибо

0

04.03.2021

Alexander Karaev

Kirill 🚜
Нашли проблему конечно.... Ладно, спасибо

если это насмешка над создателями языка, то советую пойти поучить матчасть перед тем, как делать такие глупые высказывания

0

04.03.2021