模板化虚拟功能

ray*_*mag 6 c++

我们知道C++不允许在类中使用模板化虚函数.任何人都明白为什么会有这种限

sbi*_*sbi 12

简短回答:虚拟函数是在运行时,当从已编译的候选函数集中选择函数时,不知道是谁调用了谁.函数模板OTOH是关于在编译时从调用者端创建任意数量的不同函数(使用在编写被调用者时可能都不知道的类型).那只是不匹配.

更长的答案:虚函数是使用额外的间接(程序员的通用多用途治疗)实现的,通常实现为函数指针表(所谓的虚函数表,通常缩写为"vtable").如果您正在调用虚函数,则运行时系统将从表中选择正确的函数.如果存在虚函数模板,则运行时系统必须使用确切的模板参数查找已编译的模板实例的地址.由于类的设计者无法提供从无限的可能参数集创建的任意数量的函数模板实例,因此这不起作用.


Tro*_*our 10

你会如何建造vtable?从理论上讲,你可以拥有无​​限数量的模板化成员版本,编译器在创建vtable时不知道它们可能是什么.

  • 帕维尔:很抱歉打扰你,但这就是它被禁止的原因。如果您不相信我,请尝试阅读 Stroustrup 的《C++ 编程语言》。 (2认同)
  • @PavelShved:指定一种无人能实现的语言是没有意义的。 (2认同)