抽象类型用作纯虚拟功能的返回类型吗？

Question

如果我理解正确，抽象类型不能用作纯虚函数的返回类型。但是，如果使用尾随返回类型，则 gcc（但不是 clang）接受以下代码：

struct S {
    virtual auto f() -> S = 0; 
};

demo.

这是一个 gcc 错误，还是该语言不需要为此代码发出诊断？

Answer 1

根据C++17 [class.abstract]/3，抽象类型不能作为任何函数的返回类型：

抽象类不得用作参数类型、函数返回类型或显式转换的类型。可以声明对抽象类的指针和引用。 [ 例子：

shape x;           // error: object of abstract class
shape* p;          // OK
shape f();         // error
void g(shape);     // error
shape& h(shape&);  // OK

— 结束示例 ]

对于纯虚函数似乎没有什么特别的例外。因此，答案似乎是编译器需要为您的代码发出诊断。