c++ - 为什么虚函数不能使用返回类型推导？

Question

n3797说:

第 7.1.6.4/14 节:

A function declared with a return type that uses a placeholder type shall not be virtual (10.3).

因此以下程序是非良构的:

struct s
{
    virtual auto foo()
    {
    }
};

我能找到的所有理由都是来自 n3638 的模糊单行字。 :

virtual

It would be possible to allow return type deduction for virtual functions, but that would complicate both override checking and vtable layout, so it seems preferable to prohibit this.

谁能提供进一步的理由或给出一个与上述引用一致的好(代码)示例？

Answer 1

您所包含的基本原理是相当清楚的:自然，虚函数意味着被子类覆盖，因此作为基类的设计者，您应该尽可能容易地为继承您的类的人提供合适的覆盖。但是，如果您使用 auto，则确定覆盖的返回类型对于程序员来说是一项乏味的任务。编译器的问题会少一些，但人类会有很多机会感到困惑。

例如，如果您看到如下所示的 return 语句

return a * 3 + b;

您必须将程序追溯到 a 和 b 的声明点，找出类型提升，并决定返回类型应该是什么。

语言设计者似乎发现这会让人感到困惑，并决定不允许此功能。